1. PYE;ACM Transactions on Programming Languages and Systems;2019-07-20
2. Scalable thread sharing analysis;Proceedings of the 38th International Conference on Software Engineering;2016-05-14
3. Synthesizing tests for detecting atomicity violations;Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering;2015-08-30
4. Workload characterization of JVM languages;Software: Practice and Experience;2015-06-24
5. Compiler-Guided Identification of Critical Sections in Parallel Code;Lecture Notes in Computer Science;2013