Projects


Current Projects

Analysis and Testing for Android Software

High-Performance Computing

Past Projects

Program Analysis for Modern Software

RED: Reverse Engineering of UML Sequence Diagrams

TACLE: Type Analysis and Call Graph Construction for Eclipse


main page