1. Reverse engineering for reduction parallelization via semiring polynomials;Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation;2021-06-18
2. Parallel determinacy race detection for futures;Proceedings of the 25th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming;2020-02-19
3. Efficient race detection with futures;Proceedings of the 24th Symposium on Principles and Practice of Parallel Programming;2019-02-16