Xuan-Bach Dinh Le

Publication Activity (10 Years)

Years Active: 2015-2024
Publications (10 Years): 28

Top Topics

Semantic Constraints

Top Venues

IEEE Trans. Software Eng.

Publications

Yue Liu, Thanh Le-Cong, Ratnadira Widyasari, Chakkrit Tantithamthavorn, Li Li, Xuan-Bach Dinh Le, David Lo
Refining ChatGPT-Generated Code: Characterizing and Mitigating Code Quality Issues. ACM Trans. Softw. Eng. Methodol. 33 (5) (2024)
Yue Liu, Thanh Le-Cong, Ratnadira Widyasari, Chakkrit Tantithamthavorn, Li Li, Xuan-Bach Dinh Le, David Lo
Refining ChatGPT-Generated Code: Characterizing and Mitigating Code Quality Issues. CoRR (2023)
Vinay Kabadi, Dezhen Kong, Siyu Xie, Lingfeng Bao, Gede Artha Azriadi Prana, Tien-Duy B. Le, Xuan-Bach Dinh Le, David Lo
The Future Can't Help Fix The Past: Assessing Program Repair In The Wild. ICSME (2023)
Bowen Xu, Thanh-Dat Nguyen, Thanh Le-Cong, Thong Hoang, Jiakun Liu, Kisub Kim, Chen Gong, Changan Niu, Chenyu Wang, Xuan-Bach Dinh Le, David Lo
Are We Ready to Embrace Generative AI for Software Q&A? ASE (2023)
Yunbo Lyu, Thanh Le-Cong, Hong Jin Kang, Ratnadira Widyasari, Zhipeng Zhao, Xuan-Bach Dinh Le, Ming Li, David Lo
CHRONOS: Time-Aware Zero-Shot Identification of Libraries from Vulnerability Reports. ICSE (2023)
Truong Giang Nguyen, Thanh Le-Cong, Hong Jin Kang, Ratnadira Widyasari, Chengran Yang, Zhipeng Zhao, Bowen Xu, Jiayuan Zhou, Xin Xia, Ahmed E. Hassan, Xuan-Bach Dinh Le, David Lo
Multi-Granularity Detector for Vulnerability Fixes. IEEE Trans. Software Eng. 49 (8) (2023)
Thanh-Dat Nguyen, Yang Zhou, Xuan-Bach Dinh Le, Patanamon Thongtanunam, David Lo
Adversarial Attacks on Code Models with Discriminative Graph Patterns. CoRR (2023)
Bowen Xu, Thanh-Dat Nguyen, Thanh Le-Cong, Thong Hoang, Jiakun Liu, Kisub Kim, Chen Gong, Changan Niu, Chenyu Wang, Xuan-Bach Dinh Le, David Lo
Are We Ready to Embrace Generative AI for Software Q&A? CoRR (2023)
Thanh Le-Cong, Duc-Minh Luong, Xuan-Bach Dinh Le, David Lo, Nhat-Hoa Tran, Bui Quang Huy, Quyet-Thang Huynh
Invalidator: Automated Patch Correctness Assessment Via Semantic and Syntactic Reasoning. IEEE Trans. Software Eng. 49 (6) (2023)
Truong Giang Nguyen, Thanh Le-Cong, Hong Jin Kang, Ratnadira Widyasari, Chengran Yang, Zhipeng Zhao, Bowen Xu, Jiayuan Zhou, Xin Xia, Ahmed E. Hassan, Xuan-Bach Dinh Le, David Lo
Multi-Granularity Detector for Vulnerability Fixes. CoRR (2023)
Amirfarhad Nilizadeh, Gary T. Leavens, Xuan-Bach Dinh Le, Corina S. Pasareanu, David R. Cok
Exploring True Test Overfitting in Dynamic Automated Program Repair using Formal Methods. ICST (2021)
Weiqin Zou, David Lo, Pavneet Singh Kochhar, Xuan-Bach Dinh Le, Xin Xia, Yang Feng, Zhenyu Chen, Baowen Xu
Smart Contract Development: Challenges and Opportunities. IEEE Trans. Software Eng. 47 (10) (2021)
Cyrille Artho, Quoc-Sang Phan, Peter Aldous, Alyas Almaawi, Lucas Bang, Lasse Berglund, Tevfik Bultan, Zhenbang Chen, Hayes Converse, Wei Dong, William Eiers, Milos Gligoric, Simon Goldsmith, Lars Grunske, Joshua Hooker, Ismet Burak Kadron, Timo Kehrer, Sarfraz Khurshid, Xuan-Bach Dinh Le, David Lo, Eric Mercer, Sasa Misailovic, Egor Namakonov, Hoang Lam Nguyen, Yannic Noller, Benjamin Ogles, Rohan Padhye, Pavel Parízek, Corina S. Pasareanu, Sheridan Jacob Powell, Seemanta Saha, Koushik Sen, Elena Sherman, Kyle Storey, Minxing Tang, Willem Visser, Ji Wang, Hengbiao Yu
The Java Pathfinder Workshop 2019. ACM SIGSOFT Softw. Eng. Notes 45 (2) (2020)
Abdulaziz Alhefdhi, Hoa Khanh Dam, Xuan-Bach Dinh Le, Aditya Ghose
Adversarial Patch Generation for Automatic Program Repair. CoRR (2020)
Xuan-Bach Dinh Le, Corina S. Pasareanu, Rohan Padhye, David Lo, Willem Visser, Koushik Sen
Saffron: Adaptive Grammar-based Fuzzing for Worst-Case Analysis. ACM SIGSOFT Softw. Eng. Notes 44 (4) (2019)
Yannic Noller, Corina S. Pasareanu, Aymeric Fromherz, Xuan-Bach Dinh Le, Willem Visser
Symbolic Pathfinder for SV-COMP - (Competition Contribution). TACAS (3) (2019)
Xuan-Bach Dinh Le, Lingfeng Bao, David Lo, Xin Xia, Shanping Li, Corina S. Pasareanu
On reliability of patch correctness assessment. ICSE (2019)
Xuan-Bach Dinh Le, Ferdian Thung, David Lo, Claire Le Goues
Overfitting in semantics-based automated program repair. Empir. Softw. Eng. 23 (5) (2018)
Xuan-Bach Dinh Le, Ferdian Thung, David Lo, Claire Le Goues
Overfitting in semantics-based automated program repair. ICSE (2018)
Xuan-Bach Dinh Le, Lingfeng Bao, David Lo, Xin Xia, Shanping Li
On Reliability of Patch Correctness Assessment. CoRR (2018)
Xuan-Bach Dinh Le, Duc-Hiep Chu, David Lo, Claire Le Goues, Willem Visser
S3: syntax- and semantic-guided repair synthesis via programming by examples. ESEC/SIGSOFT FSE (2017)
Bowen Xu, Zhenchang Xing, Xin Xia, David Lo, Xuan-Bach Dinh Le
XSearch: a domain-specific cross-language relevant question retrieval tool. ESEC/SIGSOFT FSE (2017)
Xuan-Bach Dinh Le, Duc-Hiep Chu, David Lo, Claire Le Goues, Willem Visser
JFIX: semantics-based repair of Java programs via symbolic PathFinder. ISSTA (2017)
Xuan-Bach Dinh Le, Quang Loc Le, David Lo, Claire Le Goues
Enhancing Automated Program Repair with Deductive Verification. ICSME (2016)
Xuan-Bach Dinh Le, David Lo, Claire Le Goues
Empirical Study on Synthesis Engines for Semantics-Based Program Repair. ICSME (2016)
Xuan-Bach Dinh Le
Towards efficient and effective automatic program repair. ASE (2016)
Xuan-Bach Dinh Le, David Lo, Claire Le Goues
History Driven Program Repair. SANER (2016)
Ferdian Thung, Xuan-Bach Dinh Le, David Lo, Julia Lawall
Recommending Code Changes for Automatic Backporting of Linux Device Drivers. ICSME (2016)
Tien-Duy B. Le, Xuan-Bach Dinh Le, David Lo, Ivan Beschastnikh
Synergizing Specification Miners through Model Fissions and Fusions (T). ASE (2015)
Xuan-Bach Dinh Le, Tien-Duy B. Le, David Lo
Should fixing these failures be delegated to automated program repair? ISSRE (2015)
Ferdian Thung, Xuan-Bach Dinh Le, David Lo
Active semi-supervised defect categorization. ICPC (2015)