1. Program Repair Guided by Datalog-Defined Static Analysis;Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2023-11-30
2. Enhancement in Buffer Overflow (BOF) Detection Capability of Cppcheck Static Analysis Tool;2021 International Conference on Cyber Warfare and Security (ICCWS);2021-11-23
3. Sound garbage collection for C using pointer provenance;Proceedings of the ACM on Programming Languages;2020-11-13
4. Detecting Video Game-Specific Bad Smells in Unity Projects;Proceedings of the 17th International Conference on Mining Software Repositories;2020-06-29
5. Secure delivery of program properties through optimizing compilation;Proceedings of the 29th International Conference on Compiler Construction;2020-02-22