Sign in

Verified peephole optimizations for CompCert.

Eric MullenDaryl ZunigaZachary TatlockDan Grossman
Published in: PLDI (2016)
Keyphrases
  • cost function
  • data sets
  • databases
  • genetic algorithm
  • expert systems
  • relational databases
  • management system
  • optimization strategies