X. Chang, W. Dou, Y. Gao, J. Wang, J. Wei, und T. Huang. Proceedings of the 41st International Conference on Software Engineering, Seite 631--642. IEEE Press, (Mai 2019)
V. Raychev, M. Vechev, und M. Sridharan. Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages &\#38; Applications, Seite 151--166. ACM, (2013)
R. Utterback, K. Agrawal, J. Fineman, und I. Lee. Proceedings of the 28th ACM Symposium on Parallelism in Algorithms and Architectures, Seite 83--94. ACM, (2016)
A. Yoga, S. Nagarakatte, und A. Gupta. Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, Seite 833--845. ACM, (2016)
C. Liao, P. Lin, J. Asplund, M. Schordan, und I. Karlin. Proceedings of the International Conference for High Performance Computing, Networking, Storage and Analysis, Seite 11:1--11:14. ACM, (2017)
J. Roemer, K. Genc, und M. Bond. Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, Seite 374--389. ACM, (2018)
L. Zhang, und C. Wang. Proceedings of the 39th International Conference on Software Engineering, Seite 278--288. Piscataway, NJ, USA, IEEE Press, (2017)
S. Biswas, M. Cao, M. Zhang, M. Bond, und B. Wood. Proceedings of the 26th International Conference on Compiler Construction, Seite 11--21. ACM, (2017)
C. Flanagan, und S. Freund. Proceedings of the 30th ACM SIGPLAN Conference on Programming Language Design and Implementation, Seite 121--133. ACM, (2009)