X. Chang, W. Dou, Y. Gao, J. Wang, J. Wei, и T. Huang. Proceedings of the 41st International Conference on Software Engineering, стр. 631--642. IEEE Press, (мая 2019)
V. Raychev, M. Vechev, и M. Sridharan. Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages &\#38; Applications, стр. 151--166. ACM, (2013)
R. Utterback, K. Agrawal, J. Fineman, и I. Lee. Proceedings of the 28th ACM Symposium on Parallelism in Algorithms and Architectures, стр. 83--94. ACM, (2016)
A. Yoga, S. Nagarakatte, и A. Gupta. Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, стр. 833--845. ACM, (2016)
C. Liao, P. Lin, J. Asplund, M. Schordan, и I. Karlin. Proceedings of the International Conference for High Performance Computing, Networking, Storage and Analysis, стр. 11:1--11:14. ACM, (2017)
J. Roemer, K. Genc, и M. Bond. Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, стр. 374--389. ACM, (2018)