Verified peephole optimizations for CompCert.

Eric Mullen Daryl Zuniga Zachary Tatlock Dan Grossman

Published in: PLDI (2016)

Keyphrases

cost function
data sets
databases
genetic algorithm
expert systems
relational databases
management system
optimization strategies