CV

Research Interest

Incremental analysis, Pointer analysis, Program analysis, Concurrent and Distributed System, Program Testing and Debugging.

Education

Publications

Open Source

Honors & Awards

Teaching Experience

Service

Skills