T. Yuan, G. Li, J. Lu, C. Liu, L. Li, и J. Xue. 2021 IEEE/ACM International Symposium on Code Generation and Optimization (CGO), стр. 187-199. Los Alamitos, CA, USA, IEEE Computer Society, (марта 2021)
Q. Luo, F. Hariri, L. Eloussi, и D. Marinov. Proceedings of the 22Nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, стр. 643--653. ACM, (2014)
S. Lauterburg, R. Karmani, D. Marinov, и G. Agha. Proceedings of the Eighteenth ACM SIGSOFT International Symposium on Foundations of Software Engineering, стр. 363--364. New York, NY, USA, ACM, (2010)
T. Elmas, S. Qadeer, и S. Tasiran. Proceedings of the 28th ACM SIGPLAN Conference on Programming Language Design and Implementation, стр. 245--255. ACM, (2007)
S. Tasharofi, M. Pradel, Y. Lin, и R. Johnson. 2013 28th IEEE/ACM International Conference on Automated Software Engineering, стр. 114-124. (ноября 2013)
S. Tasharofi, R. Karmani, S. Lauterburg, A. Legay, D. Marinov, и G. Agha. Formal Techniques for Distributed Systems: Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012. Proceedings, стр. 219--234. Springer, (2012)
D. Deng, W. Zhang, и S. Lu. Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages & Applications, стр. 785--802. ACM, (2013)