LSU Computer Science, Math Faculty Awarded Best Paper
October 16, 2020
BATON ROUGE, LA – A paper by LSU Computer Science Associate Professor Supratik Mukhopadhyay, LSU Mathematics Professor Jimmie Lawson, Furman University Assistant Professor of Computer Science Chris Alvin, and former LSU graduate students Vivian Ho and Brian Peterson recently won the Best Paper Award at the 20th International Conference on Runtime Verification, 2020.
Alvin is a former PhD student of Mukhopadhyay, Ho is a former master’s student of Mukhopadhyay, and Peterson is a former PhD student in the LSU School of Electrical Engineering & Computer Science.
The conference was held online and authors recorded their talks and discussed them with conference participants online.
The winning paper, titled “Empirical Abstraction,” presents an empirical abstraction framework and experimental evidence demonstrating its practicality for program analysis. Given a program and a property, the aim is to find a “good” abstraction—or filtering process—that derives an accurate, yet efficient, program analysis to verify the property. The performance of the abstraction is quantified by a measure in terms of true and false positives and a regularization for computation efficiency.
To obtain this, the authors performed iterative query-guided refinements of the clustering, or group of computers, in order to maximize the measure and eventually generate an ideal abstraction with minimal manual intervention.
Future work on this project includes application of the framework for analysis of timed systems and object/service-oriented systems.
Contact: Joshua Duplechain
Director of Communications