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).
T. Tu, X. Liu, L. Song, und Y. Zhang. Proceedings of the Twenty-Fourth International Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS \textquotesingle19, ACM, (2019)
N. Dilley, und J. Lange. 2019 IEEE 26th International Conference on Software Analysis, Evolution and Reengineering (SANER), Seite 377--387. (Februar 2019)
Q. Luo, F. Hariri, L. Eloussi, und D. Marinov. Proceedings of the 22Nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, Seite 643--653. ACM, (2014)
M. Rigger, S. Marr, B. Adams, und H. Mössenböck. Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ACM, (August 2019)
J. Wang, W. Dou, Y. Gao, C. Gao, F. Qin, K. Yin, und J. Wei. 2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE), Seite 520-531. (Oktober 2017)