@inproceedings{vandercammen2015formal,
  author: {Maarten Vandercammen and Jens Nicolay and Stefan Marr and Joeri De Koster and Theo D'Hondt and Coen De Roover},
  editor: {Harry Xu and Walter Binder},
  title: {A formal foundation for trace-based {JIT} compilers},
  booktitle: {Proceedings of the 13th International Workshop on Dynamic Analysis, WODA@SPLASH 2015, Pittsburgh, PA, USA, October 26, 2015},
  pages: {25--30},
  publisher: {{ACM}},
  year: {2015},
  url: {https://doi.org/10.1145/2823363.2823369},
  doi: {10.1145/2823363.2823369},
}