@inproceedings{tillmann2010the,
author = {Tillmann, Nikolai and Moskal, Michal and Schulte, Wolfram and Venter, Herman and Fahndrich, Manuel},
title = {The Unthinkable: Automated Theorem Provers for (Tracing) Just-in-time Compilers},
booktitle = {FIT at PLDI'10},
year = {2010},
month = {May},
abstract = {Tracing just-in-time compilers (TJITs) determine frequently executed traces (hot paths and loops) at run time. These traces are then analyzed and optimized, and finally specialized machine code is generated. Up to now, TJITs employed standard compiler construction algorithms to analyze and optimize traces. We propose to leverage automated theorem provers to optimize traces at run time.},
url = {http://approjects.co.za/?big=en-us/research/publication/the-unthinkable-automated-theorem-provers-for-tracing-just-in-time-compilers/},
edition = {FIT at PLDI'10},
note = {FIT at PLDI'10},
}