A Witnessing Compiler: A Proof of Concept.

Kedar S. Namjoshi Giacomo Tagliabue Lenore D. Zuck

Published in: RV (2013)

Keyphrases

programming language
general purpose
distributed memory machines
software systems
highly optimized
machine learning
information retrieval
database systems