X. Chang, W. Dou, Y. Gao, J. Wang, J. Wei, and T. Huang. Proceedings of the 41st International Conference on Software Engineering, page 631--642. IEEE Press, (May 2019)
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)
R. Utterback, K. Agrawal, J. Fineman, and I. Lee. Proceedings of the 28th ACM Symposium on Parallelism in Algorithms and Architectures, page 83--94. ACM, (2016)
A. Yoga, S. Nagarakatte, and A. Gupta. Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, page 833--845. ACM, (2016)
C. Liao, P. Lin, J. Asplund, M. Schordan, and I. Karlin. Proceedings of the International Conference for High Performance Computing, Networking, Storage and Analysis, page 11:1--11:14. ACM, (2017)
J. Roemer, K. Genc, and M. Bond. Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, page 374--389. ACM, (2018)
L. Zhang, and C. Wang. Proceedings of the 39th International Conference on Software Engineering, page 278--288. Piscataway, NJ, USA, IEEE Press, (2017)
C. Flanagan, and S. Freund. Proceedings of the 30th ACM SIGPLAN Conference on Programming Language Design and Implementation, page 121--133. ACM, (2009)