profile icon
Dr

Bach Le

Lecturer
Computing And Information Systems
technology
computer science, software engineering
science & technology
computer science
engineering
engineering, electrical & electronic
automated program repair
symbolic execution
program synthesis
Bach Le's Profile Picture
Dr

Bach Le

 
Division
Engineering
 
Primary Interest
Software Engineering
Bach Le's Profile Picture
Dr

Bach Le

 

I'm currently a Lecturer at the University of Melbourne, Australia. Previously, I was a postdoc at Carnegie Mellon University, working with ACM Distinguished Scientist & Associate Prof. Corina Pasareanu.

I received my PhD from Singapore Management University in 2018, supervised by ACM Distinguished Member & Associate Professor David Lo. My research interests span software engineering and programming languages, including: software mining, empirical software engineering, program analysis, repair, synthesis, and verification.

Scholarly Works

Displaying the 14 most recent scholarly works by Bach Le.

Scholarly works icon

On Reliability of Patch Correctness Assessment

Dinh Xuan Bach Le, Lingfeng Bao, David Lo, Xin Xia, Shanping Li, Corina Pasareanu

Conference Proceedings  |  2019  |  2019 IEEE/ACM 41st International Conference on Software Engineering (ICSE)

Current state-of-the-art automatic software repair (ASR) techniques rely heavily on incomplete specifications, or test suites, to ..

Scholarly works icon

Overfitting in semantics-based automated program repair

XBD Le, F Thung, D Lo, CL Goues

Journal article  |  2018  |  Empirical Software Engineering

Scholarly works icon

Overfitting in Semantics-based Automated Program Repair

Xuan-Bach D Le, Ferdian Thung, David Lo, Claire Le Goues

Conference Proceedings  |  2018  |  Proceedings of the 40th International Conference on Software Engineering

Scholarly works icon

XSearch: A Domain-Specific Cross-Language Relevant Question Retrieval Tool

Bowen Xu, Zhenchang Xing, Xin Xia, David Lo, Xuan-Bach D Le

Conference Proceedings  |  2017  |  Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering - ESEC/FSE 2017

Scholarly works icon

JFIX: Semantics-Based Repair of Java Programs via Symbolic PathFinder

Xuan-Bach D Le, Chu Duc-Hiep, David Lo, Claire Le Goues, Willem Visser

Conference Proceedings  |  2017  |  Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis - ISSTA 2017

Scholarly works icon

S3: syntax- and semantic-guided repair synthesis via programming by examples

Xuan-Bach D Le, Duc-Hiep Chu, David Lo, Claire Le Goues, Willem Visser

Conference Proceedings  |  2017  |  Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering - ESEC/FSE 2017

Scholarly works icon

Recommending Code Changes for Automatic Backporting of Linux Device Drivers

Ferdian Thung, Xuan-Bach D Le, David Lo, Julia Lawall

Conference Proceedings  |  2016  |  2016 IEEE International Conference on Software Maintenance and Evolution (ICSME)

Scholarly works icon

Empirical Study on Synthesis Engines for Semantics-Based Program Repair

Xuan-Bach D Le, David Lo, Claire Le Goues

Conference Proceedings  |  2016  |  2016 IEEE International Conference on Software Maintenance and Evolution (ICSME)

Scholarly works icon

Towards Efficient and Effective Automatic Program Repair

Xuan-Bach D Le

Conference Proceedings  |  2016  |  Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering - ASE 2016

Scholarly works icon

Enhancing Automated Program Repair with Deductive Verification

Xuan-Bach D Le, Quang Loc Le, David Lo, Claire Le Goues

Conference Proceedings  |  2016  |  2016 IEEE International Conference on Software Maintenance and Evolution (ICSME)

Scholarly works icon

History Driven Program Repair

Xuan-Bach D Le, David Lo, Claire Le Goues

Conference Proceedings  |  2016  |  2016 IEEE 23rd International Conference on Software Analysis, Evolution, and Reengineering (SANER)

Scholarly works icon

Synergizing Specification Miners through Model Fissions and Fusions (T)

Tien-Duy B Le, Xuan-Bach D Le, David Lo, Ivan Beschastnikh

Conference Proceedings  |  2015  |  2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE)

Scholarly works icon

Active Semi-Supervised Defect Categorization

Ferdian Thung, Xuan-Bach D Le, David Lo

Conference Proceedings  |  2015  |  2015 IEEE 23rd International Conference on Program Comprehension

Scholarly works icon

Should Fixing These Failures be Delegated to Automated Program Repair?

Xuan-Bach D Le, Tien-Duy B Le, David Lo

Conference Proceedings  |  2015  |  2015 IEEE 26th International Symposium on Software Reliability Engineering (ISSRE)

14

Scholarly Works

Keyword Analysis

Computer Software
Computer Software and Services

Credentials

Positions

Lecturer

Computing And Information Systems

Education

Doctor of Philosophy in Information Systems

Singapore Management University

Engineer

Hanoi University of Science and Technology

Links