1. Simulee;Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering;2020-06-27
2. Efficient Race Detection for Reducer Hyperobjects;ACM Transactions on Parallel Computing;2018-09-15
3. Efficiently Detecting Races in Cilk Programs That Use Reducer Hyperobjects;Proceedings of the 27th ACM symposium on Parallelism in Algorithms and Architectures;2015-06-13
4. Scalable and precise dynamic datarace detection for structured parallelism;ACM SIGPLAN Notices;2012-08-06
5. Scalable and precise dynamic datarace detection for structured parallelism;Proceedings of the 33rd ACM SIGPLAN Conference on Programming Language Design and Implementation;2012-06-11