Alive-Infer: data-driven precondition inference for peephole optimizations in LLVM.

David Menendez Santosh Nagarakatte

Published in: PLDI (2017)

Keyphrases

data driven
bayesian networks
bayesian inference
probabilistic inference
inference engine
bayesian model
website
expert systems
efficient learning
inference process
inference mechanism
neural network
artificial intelligence
database systems
inference problems
multi objective evolutionary