Maarten Vandercammen, Jens Nicolay, Stefan Marr, Joeri De Koster, Theo D'Hondt, Coen De Roover. A formal foundation for trace-based JIT compilers. In Harry Xu, Walter Binder, editors, Proceedings of the 13th International Workshop on Dynamic Analysis, WODA 2015, Pittsburgh, PA, USA, October 26, 2015. pages 25-30, ACM, 2015. [doi]