Automatically generating features for learning program analysis heuristics for C-like languages.
Kwonsoo ChaeHakjoo OhKihong HeoHongseok YangPublished in: Proc. ACM Program. Lang. (2017)
Keyphrases
- automatically generating
- learning algorithm
- learning process
- prior knowledge
- learning systems
- macro operators
- databases
- feature construction
- low level
- active learning
- unsupervised learning
- learning tasks
- learning problems
- automatically generated
- reinforcement learning
- feature extraction
- feature vectors
- object recognition
- supervised learning
- feature set
- online learning
- search algorithm
- background knowledge
- decision trees