Maulik à Model-Driven Development of Fault Tolerance in UML

Satya à Symbolic Computations

Yifei à Automated Analysis of C Programs

Prashanthi à Contract-Based Program Revision

Steve à Program Slicing

Shawn à Automated Analysis of Java Programs