S. Brunthaler. Electronic Notes in Theoretical Computer Science, 253 (5):
3-14(2009)Proceedings of the Fourth Workshop on Bytecode Semantics, Verification, Analysis and Transformation (BYTECODE 2009).
S. Marr, M. Haupt, und T. D'Hondt. Proceedings of the 3rd Workshop on Virtual Machines and Intermediate Languages, Seite 3:1--3:2. New York, NY, USA, ACM, (Oktober 2009)(extended abstract).