CSE Professor ThanhVu Nguyen will speak Thursday, Sept. 28 in Avery 115 as part of our CSE Colloquium Series. His talk, "DIG: A Framework for Inferring Numerical Program Invariants," will begin at 4 p.m., and will be preceded by a reception in Avery 348 that will begin at 3:30 p.m.
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. Current invariant generation techniques lack support for complex yet important forms of invariants, such as general polynomial relations over numerical variables. This talk presents DIG, an iterative algorithm that combines static and dynamic analyses for discovering useful numerical program invariants. We describe theoretical and empirical results showing that DIG can efficiently and accurately find many important invariants in real-world uses, e.g., nonlinear polynomial properties in complex programs.
Speaker Bio:
ThanhVu Nguyen received BS and MS degrees in computer science from Penn State University and a PhD in computer science at the University of New Mexico. After graduate school, he did a postdoc at the University of Maryland, College Park. Currently, he is an assistant professor in computer science at the University of Nebraska, Lincoln. His research focuses on using static and dynamic analyses for automatic invariant generation and program repair.
More details at: https://cse.unl.edu/colloquium/2017-2018/thanhvu-nguyen