Write a Blog >>
SPLASH 2017
Sun 22 - Fri 27 October 2017 Vancouver, Canada
Fri 27 Oct 2017 11:37 - 12:00 at Regency C - Static Analysis Chair(s): Christian Hammer

We present a technique for automatically generating features for data-driven program analyses. Recently data-driven approaches for building a program analysis have been developed, which mine existing codebases and automatically learn heuristics for finding a cost-effective abstraction for a given analysis task. Such approaches reduce the burden of the analysis designers, but they do not remove it completely; they still leave the nontrivial task of designing so called features to the hands of the designers. Our technique aims at automating this feature design process. The idea is to use programs as features after reducing and abstracting them. Our technique goes through selected program-query pairs in codebases, and it reduces and abstracts the program in each pair to a few lines of code, while ensuring that the analysis behaves similarly for the original and the new programs with respect to the query. Each reduced program serves as a boolean feature for program-query pairs. This feature evaluates to true for a given program-query pair when (as a program) it is included in the program part of the pair. We have implemented our approach for three real-world static analyses. The experimental results show that these analyses with automatically-generated features are cost-effective and consistently perform well on a wide range of programs.

Fri 27 Oct

splash-2017-OOPSLA
10:30 - 12:00: OOPSLA - Static Analysis at Regency C
Chair(s): Christian HammerUniversity of Potsdam
splash-2017-OOPSLA150909300000010:30 - 10:52
Talk
Johannes Sp├ĄthFraunhofer IEM, Karim AliUniversity of Alberta, Eric BoddenHeinz Nixdorf Institut, Paderborn University and Fraunhofer IEM
DOI
splash-2017-OOPSLA150909435000010:52 - 11:15
Talk
Neville Grech, Yannis SmaragdakisUniversity of Athens
DOI
splash-2017-OOPSLA150909570000011:15 - 11:37
Talk
Sehun JeongKorea University, South Korea, Minseok JeonKorea University, South Korea, Sungdeok ChaKorea University, South Korea, Hakjoo OhKorea University
DOI
splash-2017-OOPSLA150909705000011:37 - 12:00
Talk
Kwonsoo ChaeKorea University, Hakjoo OhKorea University, Kihong HeoUniversity of Pennsylvania, USA, Hongseok YangUniversity of Oxford
DOI