@conference {541,
	title = {A Formal Foundation for Trace-based JIT Compilers},
	booktitle = {Proceedings of the 13th International Workshop on Dynamic Analysis},
	year = {2015},
	publisher = {ACM},
	organization = {ACM},
	address = {New York, NY, USA},
	keywords = {dynamic analysis, operational semantics, tracing JIT compilation},
	isbn = {978-1-4503-3909-4},
	doi = {10.1145/2823363.2823369},
	url = {http://doi.acm.org/10.1145/2823363.2823369},
	author = {Maarten Vandercammen and Nicolay, Jens and Stefan Marr and Joeri De Koster and D{\textquoteright}Hondt, Theo and Coen De Roover}
}
