Verified just-in-time compiler on x86.

Magnus O. Myreen

Published in: POPL (2010)

Keyphrases

programming language
general purpose
data sets
image processing
software systems
computer vision
knowledge base
production system
highly optimized
distributed memory machines