•   When: Thursday, April 08, 2021 from 11:00 AM to 12:00 PM
•   Speakers: ThanhVu Nguyen, Assistant Professor, Department of Computer Science and Engineering, University of Nebraska-Lincoln
•   Location: ZOOM
•   Export to iCal

Abstract:

Software bugs are a persistent feature of daily life---crashing web browsers, allowing cyberattacks, and distorting the results of scientific computations. One approach to improving software uses program invariants---mathematical descriptions of program behaviors---to verify code and detect bugs. In this talk, I present DIG, a dynamic analysis framework for discovering useful classes of program invariants that appear in many practical applications. I will also talk about my work on automatic program repair, which automatically generates fixes for buggy programs. Finally, I will discuss how invariant generation and program repair can be applied to solve problems in several emerging domains including configurable systems and AI-generated software. 

  Bio: 

ThanhVu Nguyen is an assistant professor in the Department of Computer Science and Engineering at the University of Nebraska-Lincoln. His current research is in the intersection of Software Engineering and Programming Languages. In particular, he focuses on improving software quality through dynamic invariant inference,  automatic program repair, and highly-configurable systems analysis.

Dr. Nguyen received his Ph.D. in computer science from the University of New Mexico-Albuquerque in 2014 and completed a 2-year postdoc at the University of Maryland in 2016. He is a recipient of the NSF CISE Career Research Initiation Initiative (CRII) Award, a 10-year Most Influential Paper award (at ICSE 2019), and a 10-year Most Impact Paper Award (at GECCO 2019).