Projects

Current Projects

Differential Privacy for Software Analysis

High-Performance Computing

Past Projects

Analysis and Testing for Android Software

Program Analysis for Modern Software

RED: Reverse Engineering of UML Sequence Diagrams

TACLE: Type Analysis and Call Graph Construction for Eclipse