1. Variable-based Fault Localization via Enhanced Decision Tree;ACM Transactions on Software Engineering and Methodology;2023-12-21
2. CoBOT;Proceedings of the 26th Conference on Program Comprehension;2018-05-28
3. Effective Bug Finding in C Programs with Shape and Effect Abstractions;Lecture Notes in Computer Science;2017
4. TSL;ACM Transactions on Programming Languages and Systems;2013-04
5. Language design and analyzability: a retrospective;Software: Practice and Experience;2011-10-26