Practical verification of peephole optimizations with Alive.

Nuno P. Lopes David Menendez Santosh Nagarakatte John Regehr

Published in: Commun. ACM (2018)

Keyphrases

model checking
data structure
practical application
learning algorithm
databases
information retrieval
case study
bayesian networks
multiresolution
wireless sensor networks
probabilistic model
concurrent systems