ABSTRACT

This talk is about static analysis of concurrent, low-level C codes such as those that run on the billions of microcontrollers sold each year. Static analysis is a key building block for optimizing compilers and automated formal methods. Our analysis is based on a novel use of race condition detection to provide sound results even in the presence of unstructured interrupt-driven concurrency. Results of the analysis have been used to perform offline RAM compression and to drive whole-program optimization of TinyOS applications. Biography: John Regehr is an assistant professor at the University of Utah's School of Computing. His work centers around creating software tools that make it easier to create high-quality embedded software. Homepage is http://www.cs.utah.edu/~regehr/ Other Recent and Upcoming Colloquia