1. Detect atomicity violations in concurrent programs through user assistance and identification of suspicious variable access patterns;Journal of Software: Evolution and Process;2024-09-03
2. Understanding and Detecting Real-World Safety Issues in Rust;IEEE Transactions on Software Engineering;2024-06
3. Patching Locking Bugs Statically with Crayons;ACM Transactions on Software Engineering and Methodology;2023-04-26
4. Precise and efficient atomicity violation detection for interrupt-driven programs via staged path pruning;Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis;2022-07-18
5. Mapping breakpoint types: an exploratory study;2021 IEEE 21st International Conference on Software Quality, Reliability and Security (QRS);2021-12