I am interested in using software architectures, programming language type systems and program analysis techniques to help software architects and software engineers maintain intellectual control over the runtime architecture of their object-oriented systems.
Getting ready to graduate. Stay tuned!
Taught a half-day tutorial at the SEI SATURN'09:
- Practical Static Extraction and Conformance Checking of the Runtime Architecture of Object-Oriented Systems [Presentation (PDF)] [Handout (PDF)]
Presented the following paper at TLDI'09:PASTE'08:
Presented two formal 45-min research tool demonstrations at
- Static Extraction of Sound Hierarchical Representations of Runtime Object Graphs
- Statically Checking the Structural Conformance of a Runtime Architecture
Finished in 3rd place at the ACM Student Research Competition at OOPSLA'08. My poster is entitled:
Contact InformationInstitute for Software Research
School of Computer Science
Carnegie Mellon University
5000 Forbes Avenue
Pittsburgh, PA 15213
Office: DOH 4301-C
Phone: (412) 268-1964