Publications

You can also find my articles on my Google Scholar profile My name and names of students/postdocs under my supervision are underlined in my publications below.
Team: Our SEAPLers are listed below - (Software Engineering And Programming Language)
Cong-Thanh Le, PhD student. Topic: Trustworthy Automated Program Repair (2023-2026). Job: Assistant Professor, Singapore University of Technology and Design (SUTD)
Vinay Kabady, PhD student (part-time). Topic: Automated Program Repair (2020-2026).
Anh Ho, PhD student. Topic: Automated Program Repair (2024-now).
Licheng Zhang, PhD student. Topic: Computer Vision for Software Engineering and Design (2025-now).
Hieu Huynh, PhD student. Topic: Agentic AI (2024-now).
Dung Nguyen, PhD student. Topic: Secure Code Generation (2025-now).
Pengtao Zhao, Research Assistant. Topic: Automated Program Repair (2025-now).
Hoang-Anh Nguyen, AI Resident at FPT Software (2025-now).
Minh-Anh Nguyen, AI Resident at FPT Software (2025-now).
Previous:
Dat Nguyen, PhD student (2022-2025). Topic: Neuro-symbolic reasoning and analysis of neural networks. Job: Postdoc, Harvard University, USA.
Haoye Tian, Postdoc (2024-2025). Topic: Automated Program Repair. Job: Assistant Professor, Aalto University, Finland.

Books


[Software Verification, Book Chapter] Recent Advances in Symbolic Pathfinder.

Published in Book Chapter in Automatic Software Verification, 2023

The chapter discusses recent significant applications of Symbolic Pathfinder, including fuzzing and program repair. JFix and S3 are two particular program repair frameworks developed atop Symbolic Pathfinder, which scale to large programs of 300K lines of code.

Authors: Corina Pasareanu, Yannic Noller, Aymeric Fromherz, Bach D.X. Le, Wilem Visser, Tevfik Bultan, and William Eiers
Download Paper | Download Slides | Download Bibtex

Referred Journal and Conference Publications