Activity
Time:
Master’s Project Defense: Mitchell Gerrard
Date:
9:00 am
Avery Hall
Room: 103C
1144 T St
Lincoln NE 68508
Lincoln NE 68508
Additional Info: AVH
“Cooperation Among Program Analyzers”
Committee Members: Dr. ThanhVu Nguyen (Advisor), Dr. Matthew Dwyer and Witawas Srisa-an
Abstract: Different static analyzers model a program’s behavior in vastly different ways. Typically, the performance of one analyzer is pitted against another’s—-to show, for example, that one technique is superior in a given domain. Our work explores how this competitive spirit can be transformed into a cooperative one: where the partial results from one program analyzer can be used to improve the analysis efforts of another. We investigate the opportunities, advantages, and challenges involved when using multiple program analyzers in tandem to determine the many possible ways a program can satisfy some property.
Committee Members: Dr. ThanhVu Nguyen (Advisor), Dr. Matthew Dwyer and Witawas Srisa-an
Abstract: Different static analyzers model a program’s behavior in vastly different ways. Typically, the performance of one analyzer is pitted against another’s—-to show, for example, that one technique is superior in a given domain. Our work explores how this competitive spirit can be transformed into a cooperative one: where the partial results from one program analyzer can be used to improve the analysis efforts of another. We investigate the opportunities, advantages, and challenges involved when using multiple program analyzers in tandem to determine the many possible ways a program can satisfy some property.