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)
J. Protze, M. Schulz, D. Ahn, и M. Müller. Proceedings of the 27th International Symposium on High-Performance Parallel and Distributed Computing, стр. 144--155. ACM, (2018)