T. Ugawa, S. Marr, and R. Jones. Proceedings of the 14th ACM SIGPLAN International Workshop on Virtual Machines and Intermediate Languages, page 11. ACM, (Dec 5, 2022)
V. Raychev, M. Vechev, and M. Sridharan. Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages &\#38; Applications, page 151--166. ACM, (2013)
B. Petrov, M. Vechev, M. Sridharan, and J. Dolby. Proceedings of the 33rd ACM SIGPLAN Conference on Programming Language Design and Implementation, page 251--262. ACM, (2012)
J. Wang, W. Dou, Y. Gao, C. Gao, F. Qin, K. Yin, and J. Wei. Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, page 520--531. IEEE Press, (2017)
L. Zhang, and C. Wang. Proceedings of the 39th International Conference on Software Engineering, page 278--288. Piscataway, NJ, USA, IEEE Press, (2017)