Publications

[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

[ACL’25] Can LLMs Reason About Program Semantics? A Comprehensive Evaluation of LLMs on Formal Specification Inference.

Published in 63rd Annual Meeting of the Association for Computational Linguistics (ACL), Main Research Track, 2025

Authors: Cong-Thanh Le, Bach Le, Toby Murray
Download Paper | Download Slides | Download Bibtex

[CoqPL’25] Towards Mining Robust Coq Proof Patterns (Extended Abstract/Vision)

Published in The Eleventh International Workshop on Coq for Programming Languages, collocated with POPL, 2025

Authors: Cezary Kaliszyk, Bach Le, Christine Rizkallah
Download Paper | Download Slides | Download Bibtex

[TOSEM’25] When Fine-Tuning LLMs Meets Data Privacy: An Empirical Study of Federated Learning in LLM-Based Program Repair.

Published in ACM Transactions on Software Engineering and Methodology (TOSEM), Journal, 2025

Authors: Wenqiang Luo, Jacky Wai Keung, Bo Yang, He Ye, Claire Le Goues, Tegawende F Bissyande, Haoye Tian, Bach Le
Download Paper | Download Slides | Download Bibtex

[TOSEM’25] Towards Reliable Evaluation of Neural Program Repair with Natural Robustness Testing.

Published in ACM Transactions on Software Engineering and Methodology (TOSEM), Journal, 2025

Authors: Cong-Thanh Le, Thanh-Dat Nguyen, Bach Le, Toby Murray
Download Paper | Download Slides | Download Bibtex

[SQJ’25] Adversarial Patch Generation for Automated Program Repair.

Published in Software Quality Journal, 2025

Authors: Aziz Alhefdhi, Khanh-Hoa Dam, Cong-Thanh Le, Bach Le, Aditya Ghose
Download Paper | Download Slides | Download Bibtex

[JSS’25] EnseSmells: Deep ensemble and programming language models for automated code smells detection

Published in Journal of Systems and Software, 2025

Authors: Anh Ho, Phuong T. Nguyen, Mai Anh T. Bui, Amleto Di Salle, Bach Le
Download Paper | Download Slides | Download Bibtex

[ISSTA’24] VRDSynth: Synthesizing Programs for Multilingual Visually Rich Document Information Extraction.

Published in The ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA), 2024

Authors: Thanh-Dat Nguyen, Tung Do-Viet, Hung Nguyen-Duy, Tuan-Hai Luu, Hung Le, Bach Le, Patanamon (Pick) Thongtanunam
Download Paper | Download Slides | Download Bibtex

[EASE’24] LEGION: Harnessing Pre-trained Language Models for GitHub Topic Recommendations with Distribution-Balance Loss.

Published in The 28th International Conference on Evaluation and Assessment in Software Engineering (EASE), 2024

Authors: Yen-Trang Dang, Cong-Thanh Le, Phuc-Thanh Nguyen, Mai-Anh Bui, Phuong T. Nguyen, Bach Le, Quyet-Thang Huynh
Download Paper | Download Slides | Download Bibtex

[ICST’24] Does Going Beyond Branch Coverage Make Program Repair Tools More Reliable?

Published in The IEEE International Conference on Software Testing, Verification and Validation (ICST), Research Track, 2024

Authors: Amirfarhad Nilizadeh, Gary T. Leavens, Corina Pasareanu, Xuan-Bach D. Le, David Cok
Download Paper | Download Slides | Download Bibtex

[TOSEM’24] Refining ChatGPT-Generated Code: Characterizing and Mitigating Code Quality Issues.

Published in ACM Transactions on Software Engineering and Methodology (TOSEM), Journal, 2024

Authors: Yue Liu, Cong-Thanh Le, Ratnadira Widyasari, Chakkrit Tantithamthavorn, Li Li, Xuan Bach D. Le, David Lo
Download Paper | Download Slides | Download Bibtex

[TSE’24] Leveraging Large Language Model for Automatic Patch Correctness Assessment.

Published in IEEE Transactions on Software Engineering (TSE), Journal, 2024

Authors: Xin Zhou, Bowen Xu, Kisub Kim, DongGyun Han, Hung Nguyen, Thanh Le-Cong, Junda He, Bach Le, and David Lo
Download Paper | Download Slides | Download Bibtex

[ASE’23] Are We Ready to Embrace Generative AI for Software Q&A?

Published in The 38th IEEE/ACM International Conference on Automated Software Engineering (ASE), New Ideas Track, 2023

Authors: Bowen Xu, Thanh-Dat Nguyen, Thanh Le-Cong, Thong Hoang, Jiakun Liu, Kisub Kim, Chen GONG, Changan Niu, Chenyu Wang, Xuan-Bach D. Le, David Lo
Download Paper | Download Slides | Download Bibtex

[TSE’23] Multi-Granularity Detector for Vulnerability Fixes.

Published in Transactions on Software Engineering, Journal, 2023

Authors: Truong Giang Nguyen, Thanh Le-Cong, Hong Jin Kang, Ratnadira Widyasari, Chengran Yang, Zhipeng Zhao, Bowen Xu, Jiayuan Zhou, Xin Xia, Ahmed Hassan, Xuan-Bach D. Le, David Lo
Download Paper | Download Slides | Download Bibtex

[TSE’23] Invalidator: Automated Patch Correctness Assessment via Semantic and Syntactic Reasoning.

Published in Transactions on Software Engineering, Journal, 2023

Authors: Thanh Le-Cong, Duc-Minh Luong, Xuan-Bach D. Le, David Lo, Nhat-Hoa Tran, Quang-Huy Bui, Quyet-Thang Huynh
Download Paper | Download Slides | Download Bibtex

[FoSSaCS’23] An Efficient Cyclic Entailment Procedure in a Fragment of Separation Logic.

Published in The 26th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS), Research Track, 2023

Authors: Quang-Loc Le, Xuan-Bach D. Le
Download Paper | Download Slides | Download Bibtex

[ICSME’23] The Future Can’t Help Fix The Past: Assessing Program Repair In The Wild (Distinguished Paper Award)

Published in The 39th IEEE International Conference on Software Maintenance and Evolution, 2023

Authors: Vinay Kabadi, Dezhen Kong, Siyu Xie, G. Arthar, Lingfeng Bao, Tien-Duy BL, Xuan-Bach D. Le, and David Lo
Download Paper | Download Slides | Download Bibtex

[ICSE’23] Chronos: Time-Aware Zero-Shot Identification of Libraries from Vulnerability Reports.

Published in The 45th IEEE/ACM International Conference on Software Engineering (ICSE), Research Track, 2023

Authors: Y. Lyu, Thanh Le-Cong, Hong Jin Kang, R. Widyasari, Z. Zhao, Xuan-Bach D. Le, Ming Li, David Lo
Download Paper | Download Slides | Download Bibtex

[ESEC/FSE’22] AutoPruner: Transformer-based Call Graph Pruning.

Published in The 21st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE), Research Track, 2022

Authors: Thanh Le-Cong, Hong Jin Kang, Truong Giang Nguyen, S. Haryono, David Lo, Xuan-Bach D. Le, and Quyet-Thang Huynh
Download Paper | Download Slides | Download Bibtex

[ESEC/FSE’22] VulCurator: A Vulnerability-Fixing Commit Detector.

Published in The 21st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE), Demo Track, 2022

Authors: Truong Giang Nguyen, Thanh Le-Cong, Hong Jin Kang, Xuan-Bach D. Le, David Lo
Download Paper | Download Slides | Download Bibtex

[ICSME’22] FFL: Fine grained Fault Localization for Student Programs via Syntactic and Semantic Reasoning.

Published in The 38th IEEE International Conference on Software Maintenance and Evolution (ICSME), Research Track, 2022

Authors: Thanh-Dat Nguyen, Thanh Le-Cong, Duc-Minh Luong, Van-Hai Duong, Xuan-Bach D. Le, David Lo and Quyet-Thang Huynh
Download Paper | Download Slides | Download Bibtex

[ISSTA’22] Test Mimicry to Assess the Exploitability of Library.

Published in The 31st International Symposium on Software Testing and Analysis (ISSTA), Research Track, 2022

Authors: Hong Jin Kang, Truong Giang Nguyen, Xuan-Bach D. Le, David Lo, Corina Pasareanu
Download Paper | Download Slides | Download Bibtex

[ICSE’22] Toward the Analysis of Graph Neural Networks.

Published in The 44th International Conference on Software Engineering (ICSE), NIER Track, 2022

Authors: Thanh-Dat Nguyen, Thanh Le-Cong, ThanhVu H Nguyen, Xuan-Bach D. Le, Quyet-Thang Huynh
Download Paper | Download Slides | Download Bibtex

[ISSRE’21] REFIXAR: Multi-version Reasoning for Automated Repair of Regression Errors.

Published in The 32nd International Symposium on Software Reliability Engineering (ISSRE), Research Track, 2021

Authors: Xuan-Bach D. Le, Quang-Loc Le
Download Paper | Download Slides | Download Bibtex

[ISSRE’21] More Reliable Test Suites for Dynamic Program Repair by Using Counterexamples.

Published in The 32nd International Symposium on Software Reliability Engineering (ISSRE), Research Track, 2021

Authors: Amirfarhad Nilizadeh, Marlon Calvo, Gary T. Leavens, and Xuan-Bach D. Le
Download Paper | Download Slides | Download Bibtex

[ISSRE’21] Usability and Aesthetics: Better Together for Automated Repair of Web Pages.

Published in The 32nd International Symposium on Software Reliability Engineering (ISSRE), Research Track, 2021

Authors: Cong-Thanh Le, Xuan-Bach D. Le, Quyet-Thang Huynh, Phi Le Nguyen
Download Paper | Download Slides | Download Bibtex

[ICST’21] Exploring True Test Overfitting in Dynamic Automated Program Repair using Formal Methods

Published in International Conference on Software Testing, Verification and Validation, Research Track, 2021

Authors: Amirfarhad Nilizadeh, Gary T. Leavens, Xuan-Bach D. Le, Corina Pasareanu, and David R. Cok
Download Paper | Download Slides | Download Bibtex

[JPF’19] SAFFRON: Adaptive Grammar-based Fuzzing for Worst-Case Analysis

Published in Java Pathfinder Workshop collocated with ASE, 2019

Authors: Xuan-Bach D. Le, Corina Pasareanu, Rohan Padhye, David Lo, Willem Visser, and Koushik Sen
Download Paper | Download Slides | Download Bibtex

[ICSE’19] On Reliability of Patch Correctness Assessment

Published in 41st ACM/IEEE International Conference on Software Engineering (ICSE), Research Track, 2019

Empirically study popular patch assessment methodologies to guide evaluations of program repair techniques.

Authors: Xuan-Bach D. Le, Lingfeng Bao, David Lo, Xia Xin, Shanping Li, and Corina Pasareanu
Download Paper | Download Slides | Download Bibtex

[SV-COMP’19] Symbolic Pathfinder for SV-COMP

Published in Competition on Software Verification ([SV-COMP](https://sv-comp.sosy-lab.org/2019/)), held at TACAS, 2019

Authors: Yannic Noller, Corina Pasareanu, Aymeric Fromherz, Xuan-Bach D. Le, and Willem Visser
Download Paper | Download Slides | Download Bibtex

[TSE’19] Smart Contract Development: Challenges and Opportunities

Published in IEEE Transactions on Software Engineering Journal, 2019

Authors: Z. Weiqin, L. David, S. K. Pavneet, Xuan-Bach D. Le, F. Yang, Zhenyu Chen, and Baowen Xu
Download Paper | Download Slides | Download Bibtex

[EmSE-ICSE’18] Overfitting in Semantics-Based Automated Program Repair

Published in Empirical Software Engineering Journal, Invited. Accepted at Journal First Track at ICSE, 2018

Empirically study various synthesis techniques, e.g., syntax-guided synthesis, in the program repair context.

Authors: Xuan-Bach D. Le, Ferdian Thung, David Lo, Claire Le Goues
Download Paper | Download Slides | Download Bibtex

[ESEC/FSE’17] XSearch: A Domain-Specific Cross-Language Relevant Question Retrieval Tool

Published in 11th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, Demonstrations Track, 2017

Authors: Bowen Xu, Zhenchang Xing, Xin Xia, David Lo and Xuan-Bach D. Le
Download Paper | Download Slides | Download Bibtex

[ESEC/FSE’17] S3: Syntax- and Semantic-Guided Repair Synthesis via Programming by Examples

Published in 11th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, Research Track, 2017

Authors: Xuan Bach D. Le, Duc Hiep Chu, David Lo, Claire Le Goues, and Willem Visser.
Download Paper | Download Slides | Download Bibtex

[ISSTA’17] JFIX: Semantics-Based Repair of Java Programs via Symbolic PathFinder

Published in 26th International Symposium on Software Testing and Analysis, Demonstrations Track, 2017

Authors: Xuan Bach D. Le, Duc Hiep Chu, David Lo, Claire Le Goues, and Willem Visser.
Download Paper | Download Slides | Download Bibtex

[ICSME’16] Empirical Study on Synthesis Engines for Semantics-based Program Repair

Published in 32nd International Conference on Software Maintenance and Evolution, ERA Track, 2016

Authors: Xuan Bach D. Le, David Lo, Claire Le Goues
Download Paper | Download Slides | Download Bibtex

[ICSME’16] Enhancing Automated Program Repair with Deductive Verification

Published in 32nd International Conference on Software Maintenance and Evolution, ERA Track, 2016

Authors: Xuan Bach D. Le, Quang Loc Le, David Lo, Claire Le Goues
Download Paper | Download Slides | Download Bibtex

[ICSME’16] Recommending Code Changes for Automatic Backporting of Linux Device Drivers

Published in 32nd International Conference on Software Maintenance and Evolution, 2016, Research Track, 2016

Authors: Ferdian Thung, Xuan-Bach D. Le, David Lo, Julia L. Lawall
Download Paper | Download Slides | Download Bibtex

[ASE’16] Towards Efficient and Effective Automatic Program Repair

Published in 31st International Conference on Automated Software Engineering, 2016, Doctoral Symposium, 2016

Authors: Xuan Bach D. Le
Download Paper | Download Slides | Download Bibtex

[SANER’16] History Driven Program Repair

Published in 23rd International Conference on Software Analysis, Evolution, and Reengineering, 2016, Research Track (SANER was previously known as WCRE), 2016

Automatically mine frequent bug fix patterns from GitHub, and use the patterns as soft repair specifications.

Authors: Xuan-Bach D. Le, David Lo, Claire Le Goues
Download Paper | Download Slides | Download Bibtex

[ISSRE’15] Should Fixing These Failures be Delegated to Automated Program Repair?

Published in 26th International Symposium on Software Reliability Engineering, 2015, Research Track, 2015

Predict effectiveness of automatic repair tools using a machine learning based approach.

Authors: Xuan-Bach D. Le, Tien-Duy B. Le, David Lo
Download Paper | Download Slides | Download Bibtex

[ASE’15] Synergizing Specification Miners through Model Fissions and Fusions

Published in 30th International Conference on Automated Software Engineering, 2015, Research Track, 2015

Authors: Tien-Duy B. Le, Xuan-Bach D. Le, David Lo, and Ivan Beschastnikh
Download Paper | Download Slides | Download Bibtex

[ICPC’15] Active Semi-supervised Defect Categorization

Published in 23rd International Conference on Program Comprehension, 2015, Research Track, 2015

Authors: Ferdian Thung, Xuan-Bach D. Le, David Lo
Download Paper | Download Slides | Download Bibtex