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, and Y. Zhang. Proceedings of the Twenty-Fourth International Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS \textquotesingle19, ACM, (2019)
N. Dilley, and J. Lange. 2019 IEEE 26th International Conference on Software Analysis, Evolution and Reengineering (SANER), page 377--387. (February 2019)
Q. Luo, F. Hariri, L. Eloussi, and D. Marinov. Proceedings of the 22Nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, page 643--653. ACM, (2014)
M. Rigger, S. Marr, B. Adams, and 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, and J. Wei. 2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE), page 520-531. (October 2017)