Generating compiler optimizations from proofs.

Ross Tate Michael Stepp Sorin Lerner

Published in: POPL (2010)

Keyphrases

general purpose
automatically generating
programming language
distributed memory machines
neural network
information retrieval
artificial intelligence
website
source code
software systems
theorem proving
generation process
optimization strategies
formal proofs