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).
H. Burchell, O. Larose, S. Kaleba, and S. Marr. Proceedings of the 20th ACM SIGPLAN International Conference on Managed Programming Languages and Runtimes, page 1--14. ACM, (October 2023)
R. Karmani, A. Shali, and G. Agha. PPPJ '09: Proceedings of the 7th International Conference on Principles and Practice of Programming in Java, page 11--20. New York, NY, USA, ACM, (2009)