Dr Bach Le

  • Room: Level: 10 Room: 02
  • Building: Doug McDonell Building
  • Campus: Parkville

Research interests

  • Software Engineering, Programming Languages

Personal webpage

https://scholar.google.com/citations?user=AUJWzE8AAAAJ&hl=en

Biography

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.

Recent publications

  1. Le, DXB.; Bao, L.; Lo, D.; Xia, X.; Li, S.; Pasareanu, C. On Reliability of Patch Correctness Assessment. 2019 IEEE/ACM 41st International Conference on Software Engineering (ICSE). IEEE. 2019. DOI: 10.1109/icse.2019.00064
  2. Le, XBD.; Thung, F.; Lo, D.; Goues, CL. Overfitting in semantics-based automated program repair. Empirical Software Engineering. Springer Nature. 2018, Vol. 23, Issue 5, pp. 3007-3033. DOI: 10.1007/s10664-017-9577-2
  3. Le, X-BD.; Thung, F.; Lo, D.; Goues, CL. Overfitting in semantics-based automated program repair. Proceedings of the 40th International Conference on Software Engineering - ICSE '18. ACM Press. 2018. DOI: 10.1145/3180155.3182536
  4. Le, X-BD.; Chu, D-H.; Lo, D.; Le Goues, C.; Visser, W. JFIX: semantics-based repair of Java programs via symbolic PathFinder. Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis - ISSTA 2017. ACM Press. 2017. DOI: 10.1145/3092703.3098225
  5. Le, X-BD.; Chu, D-H.; Lo, D.; Le Goues, C.; Visser, W. S3: syntax- and semantic-guided repair synthesis via programming by examples. Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering - ESEC/FSE 2017. ACM Press. 2017. DOI: 10.1145/3106237.3106309
  6. Xu, B.; Xing, Z.; Xia, X.; Lo, D.; Le, X-BD. XSearch: a domain-specific cross-language relevant question retrieval tool. Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering - ESEC/FSE 2017. ACM Press. 2017. DOI: 10.1145/3106237.3122820
  7. Le, X-BD.; Lo, D.; Le Goues, C. Empirical Study on Synthesis Engines for Semantics-Based Program Repair. 2016 IEEE International Conference on Software Maintenance and Evolution (ICSME). IEEE. 2016. DOI: 10.1109/icsme.2016.68
  8. Le, X-BD.; Le, QL.; Lo, D.; Le Goues, C. Enhancing Automated Program Repair with Deductive Verification. 2016 IEEE International Conference on Software Maintenance and Evolution (ICSME). IEEE. 2016. DOI: 10.1109/icsme.2016.66
  9. Le, XBD.; Lo, D.; Goues, CL. History Driven Program Repair. 2016 IEEE 23rd International Conference on Software Analysis, Evolution, and Reengineering (SANER). IEEE. 2016. DOI: 10.1109/saner.2016.76
  10. Thung, F.; Le, X-BD.; Lo, D.; Lawall, J. Recommending Code Changes for Automatic Backporting of Linux Device Drivers. 2016 IEEE International Conference on Software Maintenance and Evolution (ICSME). IEEE. 2016. DOI: 10.1109/icsme.2016.71
  11. Le, X-BD. Towards efficient and effective automatic program repair. Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering - ASE 2016. ACM Press. 2016. DOI: 10.1145/2970276.2975934
  12. Thung, F.; Le, X-BD.; Lo, D. Active Semi-supervised Defect Categorization. 2015 IEEE 23rd International Conference on Program Comprehension. IEEE. 2015. DOI: 10.1109/icpc.2015.15
  13. Le, X-BD.; Le, T-DB.; Lo, D. Should fixing these failures be delegated to automated program repair?. 2015 IEEE 26th International Symposium on Software Reliability Engineering (ISSRE). IEEE. 2015. DOI: 10.1109/issre.2015.7381836
  14. Le, T-DB.; Le, X-BD.; Lo, D.; Beschastnikh, I. Synergizing Specification Miners through Model Fissions and Fusions (T). 2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE). IEEE. 2015. DOI: 10.1109/ase.2015.83