S. Shiel, and I. Bayley. Electronic Notes in Theoretical Computer Science, 141 (1):
35--52(2005)Proceedings of the First Workshop on Bytecode Semantics, Verification, Analysis and Transformation (Bytecode 2005).
M. Schinz, and M. Odersky. Electronic Notes in Theoretical Computer Science, 59 (1):
158 - 171(2001)BABEL'01, First International Workshop on Multi-Language Infrastructure and Interoperability (Satellite Event of PLI 2001).
T. Cutsem, S. Mostinckx, and W. Meuter. Computer Languages, Systems & Structures, 35 (1):
80 - 98(2009)ESUG 2007 International Conference on Dynamic Languages (ESUG/ICDL 2007).
B. Claudel, Q. Sabah, and J. Stefani. Formal Techniques for Distributed Objects, Components, and Systems, volume 9039 of Lecture Notes in Computer Science, Springer, (2015)
T. Würthinger, M. Van De Vanter, and D. Simon. Perspectives of Systems Informatics, volume 5947 of Lecture Notes in Computer Science, Springer Berlin Heidelberg, (2010)
R. Golbeck, and G. Kiczales. VMIL '07: Proceedings of the 1st workshop on Virtual machines and intermediate languages for emerging modularization mechanisms, page 2. New York, NY, USA, ACM, (2007)