Efficient and precise points-to analysis: modeling the heap by merging equivalent automata.

Tian Tan Yue Li Jingling Xue

Published in: PLDI (2017)

Keyphrases

data analysis
statistical analysis
learning algorithm
video sequences
computationally efficient
modeling method
machine learning
statistical modeling
finite state
quantitative analysis
computationally expensive
pose estimation
bayesian networks
case study
decision trees
information systems
genetic algorithm