Automatically Generating Features for Learning Program Analysis Heuristics

Cited 0 time in webofscience Cited 0 time in scopus
  • Hit : 413
  • Download : 0
DC FieldValueLanguage
dc.contributor.authorChae, Kwonsooko
dc.contributor.authorOh, Hakjooko
dc.contributor.authorHeo, Kihongko
dc.contributor.authorYang, Hongseokko
dc.identifier.citationProceedings of the ACM on Programming Languages, v.1, no.OOPSLA, pp.101:1 - 101:25-
dc.description.abstractWe 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.-
dc.titleAutomatically Generating Features for Learning Program Analysis Heuristics-
dc.citation.publicationnameProceedings of the ACM on Programming Languages-
dc.contributor.localauthorHeo, Kihong-
dc.contributor.localauthorYang, Hongseok-
dc.contributor.nonIdAuthorChae, Kwonsoo-
dc.contributor.nonIdAuthorOh, Hakjoo-
Appears in Collection
CS-Journal Papers(저널논문)
Files in This Item
There are no files associated with this item.


  • mendeley


rss_1.0 rss_2.0 atom_1.0