Xuan-Bach D. Le Blogs Publications Home

Xuan-Bach D. Le, Ph.D.
Continuing Lecturer (Assistant Professor)
School of Computing and Information Systems
University of Melbourne, Australia
Email: bach.le@unimelb.edu.au
Tel: (61) 0448028760

About me

I am looking for students to work with. See News below.

"Curiosity is the wick in the candle of learning." - William Arthur Ward

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.
My research interests span software engineering and programming languages, including: software mining, empirical software engineering, program analysis, repair, synthesis, and verification.


Our work History Driven Program Repair inspired/influenced GetaFix by Facebook (See Section 6). GetaFix is the first ever automated repair tool deployed at large scale codebase in the industry.

News

  • Collaborative funding (NSF Medium) on Fuzzing and Repair @ Carnegie Mellon University, University of California Berkeley, University of California Santa Barbara. I helped in part write the proposal with my advisor Assoc/Prof. Corina at CMU. This allows us to continue our collaborations when I am now at UniMelb.

  • Joined University of Melbourne, Australia as a Lecturer (a.k.a Assistant Professor) in July, 2019.

  • Students wanted @ Melbourne: Prospective students please check eligibility and contact me. Scholarships are available, e.g., China scholarships council, Melbourne graduate research scholarships, and more. Nearest application deadlines are 1 March and 17 May 2019. There are also potential research collaborations with Carnegie Mellon University, Singapore Mangement University, etc. The University of Melbourne is ranked 14th worldwide on Computing and Information Systems in 2018.

  • [Now Closed]Google Summer of Code 2019: I'm serving as a mentor for GSoC 2019 for Java PathFinder team. Students interested in program repair using program analysis, symbolic execution, or something along that line are encouraged to contact me for further details.

  • Serving as a Program Committee member for ISSTA'20 Research Track, ASE'19 Demonstration Track and ICSE'20 NIER Track

Education & Research

PostDoc, Carnegie Mellon University, Silicon Valley, June’18 - June'19
Supported by DARPA STAC program, ISSTAC project.
Topic: Software Security, Advisor: ACM Dishtinguished Scientist & Associate Prof. Corina Pasareanu

PhD Candidate, Singapore Management University, Singapore, Jan’14 - May’18
Supported by LARC-Carnegie Mellon University collaboration program.
Topic: Automatic software repair, Advisor: Associate Prof. David Lo

PhD Residency Training, Carnegie Mellon University, Pittsburgh USA, Aug’15 - June’16
Under LARC-CMU collaboration program, supported by Singapore Ministry of Education.
Topic: Automatic software repair, Host: Assistant Prof. Claire Le Goues

BSc (Hons), Hanoi University of Science and Technology, Vietnam, Aug’07 - May’12
Topic: SAT solvers and its application in software verification
Advisors: Associate Prof. HUYNH Quyet Thang, and Associate Prof. Wei Ngan Chin

Research Assistant, National University of Singapore, Singapore, Aug’12 - Nov’13
Topic: Static software verification using SAT and Separation Logic
Advisor: Associate Prof. Wei Ngan Chin

Research Intern, National University of Singapore, Singapore, Feb’12 - May’12
Topic: Static software verification using SAT and Separation Logic
Advisor: Associate Prof. Wei Ngan Chin

Undergraduate Intern, Nagoya University, Japan, Aug’12
Topic: Building a social network application, Host: Prof. Toyohide WATANABE

Others

Languages: Vietnamese (native), English (TOEFL iBT:97/120 with Writing:27/30 ~ IELTS:7.0), and Japanese (intermediate, level 2 of Japanese Language Proficiency Test in 2009)

Teaching:

  • Guest Lecturer: Program Analysis and Modeling, Graduate level, SMU, 2018
  • Teaching Assistant: Software Mining and Analysis, Graduate level, SMU, 2018
  • Teaching Assistant: Analytics Foundations, Undergraduate level course, SMU, 2017

Student Supervision:

  • Ishan Maholtra, Master's student at University of Melbourne, 2019-. Topic: Automated Program Repair
  • Alan Ung, Master's student at University of Melbourne, 2019- (with Toby Murray). Topic: Empirical Study on Security Aspects of Compilers
  • Hanliang Zhang, Undergraduate student from Peking University, China, participated in Google Summer of Code 2019. Topic: Automatic Repair of Null Pointer Exceptions.
  • Siyu Xie, Undergraduate student from Zhejiang University, China (now at Rice University, USA), visited SMU during 2017-2018. Topic: Empirical Study and Benchmark for Automatic Program Repair of Regression Errors.

Academic Services:

  • Committee Member:
    • 2019-2020: ISSTA'20 Research Track, ICSE'20 NIER, ASE'19 Demo, ISSTA'19 Artifact Evaluation Committee, QRS'19, International Workshop on Intelligent Bug Fixing (IBF'19), National Software Application Conference (NASAC'19), Software Engineering Conference (ISEC'20)
  • Reviewer:
    • 2019: TSE Journal, TOSEM Journal, Computers Journal, JSS, Knowledge and Information Systems, IEEE Access Journal, IST Journal, Software Quality Journal (SQJ)
    • 2018: Journal of Systems and Software (JSS) - Transactions on Software Engineering and Methodology (TOSEM) - Software Testing, Verification and Reliability (STVR) - Information and Software Technology (IST) - Journal of Computer and Communications (JCC)
    • 2017: Empirical Software Engineering Journal (EmSE)
  • Sub(External)-reviewer:
    • 2019: ECOOP, ASE, ESEC/FSE
    • 2018: SCAM, ESEC/FSE (Tool Track)
    • 2017: ICSME, IWESEP, VL/HCC, RV
    • 2016: SAC, SATE, MSR (data track), ICECCS, APSEC
    • 2014: POPL
    • 2013: SAC

For conference ranking, please refer to: Core
Keywords: Program Repair, Symbolic Execution, Program Synthesis, Separation Logic, Specification Mining, Defect Categorization, Machine Learning & Data Mining Application.

Acknowledgements:

All my works/projects here in SMU have been supported by the Singapore Ministry of Education. I am particularly supported by Living Analytics Research Center (LARC), Singapore Management University. We are also grateful to various collaborators at various institutions/universities such as National University of Singapore, Stellenborsch University, Carnegie Mellon University, and so on.

Recent/Unpublished work:



Publications: (Google scholar, dblp, research gate)

[TSE'19] Smart Contract Development: Challenges and Opportunities
Z. Weiqin, L. David, S. K. Pavneet, Xuan-Bach D. Le, F. Yang, Zhenyu Chen, and Baowen Xu
IEEE Transactions on Software Engineering Journal, 2019.

[JPF'19] SAFFRON: Adaptive Grammar-based Fuzzing for Worst-Case Analysis
Xuan-Bach D. Le, Corina Pasareanu, Rohan Padhye, David Lo, Willem Visser, and Koushik Sen
Java Pathfinder Workshop collocated with ASE, 2019.

[SV-COMP'19] Symbolic Pathfinder for SV-COMP
Yannic Noller, Corina Pasareanu, Aymeric Fromherz, Xuan-Bach D. Le, and Willem Visser
Competition on Software Verification (SV-COMP), 2019, held at TACAS. pdf

[ICSE'19] On Reliability of Patch Correctness Assessment
Xuan-Bach D. Le, Lingfeng Bao, David Lo, Xia Xin, Shanping Li, and Corina Pasareanu
41st ACM/IEEE International Conference on Software Engineering (ICSE), 2019, Research Track pdf
(*) Empirically study popular patch assessment methodologies to guide evaluations of program repair techniques.

[EmSE-ICSE'18] Overfitting in Semantics-Based Automated Program Repair (*)
Xuan-Bach D. Le, Ferdian Thung, David Lo, Claire Le Goues
Empirical Software Engineering Journal, Invited. Accepted at Journal First Track at ICSE 2018 pdf
(*) Empirically study various synthesis techiques, e.g., syntax-guided synthesis, in the program repair context.

[ESEC/FSE'17] S3: Syntax- and Semantic-Guided Repair Synthesis via Programming by Examples
Xuan Bach D. Le, Duc Hiep Chu, David Lo, Claire Le Goues, and Willem Visser.
11th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2017, Research Track pdf

[ISSTA'17] JFIX: Semantics-Based Repair of Java Programs via Symbolic PathFinder
Xuan Bach D. Le, Duc Hiep Chu, David Lo, Claire Le Goues, and Willem Visser.
26th International Symposium on Software Testing and Analysis, 2017, Demonstrations Track. (project website at: JFIX) pdf

[ESEC/FSE'17] XSearch: A Domain-Specific Cross-Language Relevant Question Retrieval Tool
Bowen Xu, Zhenchang Xing, Xin Xia, David Lo and Xuan-Bach D. Le
11th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2017, Demonstrations Track pdf

[ICSME'16] Empirical Study on Synthesis Engines for Semantics-based Program Repair
Xuan Bach D. Le, David Lo, Claire Le Goues
32nd International Conference on Software Maintenance and Evolution, 2016, ERA Track pdf

[ICSME'16] Enhancing Automated Program Repair with Deductive Verification
Xuan Bach D. Le, Quang Loc Le, David Lo, Claire Le Goues
32nd International Conference on Software Maintenance and Evolution, 2016, ERA Track pdf

[ICSME'16] Recommending Code Changes for Automatic Backporting of Linux Device Drivers
Ferdian Thung, Xuan-Bach D. Le, David Lo, Julia L. Lawall
32nd International Conference on Software Maintenance and Evolution, 2016, Research Track pdf

[ASE'16] Towards Efficient and Effective Automatic Program Repair
Xuan Bach D. Le
31st International Conference on Automated Software Engineering, 2016, Doctoral Symposium pdf

[SANER'16] History Driven Program Repair
Xuan-Bach D. Le, David Lo, Claire Le Goues
23rd International Conference on Software Analysis, Evolution, and Reengineering, 2016, Research Track (SANER was previously known as WCRE) (*) pdf, tool source code
(*) Automatically mine frequent bug fix patterns from GitHub, and use the patterns as soft repair specifications.

[ISSRE'15] Should Fixing These Failures be Delegated to Automated Program Repair? (*)
Xuan-Bach D. Le, Tien-Duy B. Le, David Lo
26th International Symposium on Software Reliability Engineering, 2015, Research Track pdf
(*) Predict effectiveness of automatic repair tools using a machine learning based approach.

[ASE'15] Synergizing Specification Miners through Model Fissions and Fusions
Tien-Duy B. Le, Xuan-Bach D. Le, David Lo, and Ivan Beschastnikh
30th International Conference on Automated Software Engineering, 2015, Research Track pdf

[ICPC'15] Active Semi-supervised Defect Categorization
Ferdian Thung, Xuan-Bach D. Le, David Lo
23rd International Conference on Program Comprehension, 2015, Research Track pdf

I recorded some of my performances. Sometimes, I don't even remember how to play songs that I used to play, so recording them is a way to remember.
Hello World Contact!