| |
 Human-Centered and Data-Driven Software Debugging Speaker (s):
 Bach Le Senior Lecturer, Computing and Information Systems, The University of Melbourne
| Date: Time: Venue: | | 17 February 2025, Monday 10:30am – 11:30am School of Computing & Information Systems 2 (SCIS 2) Level 3, Seminar Room 3-8 Singapore Management University 90 Stamford Road, Singapore 178903 Please register by 16 February 2025. We look forward to seeing you at this research seminar.  |
|
About the Talk To develop automated tools that empower software developers in developing better software more efficiently and effectively, it’s critical that we truly understand what developers commonly want or need, the evaluation metrics under which automated tools are perceived to be helpful, etc. Actionable insights carefully extracted from interactions with human developers can be an extremely useful guidance on how to develop automated tools that better serve developers and increase their productivity. This talk provides an overview of Bach’s research in software debugging with a particular focus on automated program repair (APR), which involves: (1) empirical and human studies to more deeply understand the pressing concerns in the APR field and the impact of recent emerging Generative AI on APR, and (2) state-of-the-art automated APR tools and techniques that Bach and his research group developed via syntactic and semantics analyses, e.g., graph-based mining of bug fix patterns, symbolic execution and program synthesis for APR, and invariant inference and models of code for patch validation. About the Speaker Bach is a Senior Lecturer at the University of Melbourne, Australia, and a former Australian Research Council DECRA Fellow (2022-2024). He previously worked as a visiting PhD student and postdoc at Carnegie Mellon University with Prof. Claire Le Goues and Prof. Corina Pasareanu. Bach earned his PhD from Singapore Management University in 2018 under Prof. David Lo. His research spans software engineering and programming languages, with a focus on software mining, program repair, synthesis, and verification. Notably, his work on History Driven Program Repair influenced Facebook's GetaFix tool, the first large-scale automated repair tool. Under Bach's primary supervision, his students achieved prestigious awards such as an IEEE TCSE Distinguished Paper Award (ICSME'23), Google PhD Fellowship (2023), and Best Undergraduate Thesis Award (2019), all of which are on the program repair topic. With 10 years of experience in academia and industry, he has supervised 40 master's students, leading projects on innovative technologies like blockchain-based systems. Bach is passionate about teaching, having coordinated and taught courses like Models of Computation (600 students), Programing Language Implementation - Compiler Theory (45 students), Software Project (130 students), and Object-Oriented Software Development (400 students).
|