Projects


Current Projects

Analysis and Testing for Android Software

Program Analysis for Modern Software

High-Performance Computing

Past Projects

RED: Reverse Engineering of UML Sequence Diagrams

TACLE: Type Analysis and Call Graph Construction for Eclipse


main page