|
Research Interests
- Verification of concurrent heap-manipulating programs (see some Verification challenges)
- Program analysis, abstract interpretation
- Program Synthesis
- Programming Languages, Compiler construction
Current Projects
- Paraglide: Synthesis of Concurrent Programs (PLDI'06) (PLDI'07) (PLDI'08) (EC2 '08) (TACAS'09) (EC2 '09) (SPIN '09)
- SAFE: scalable verification for heap-manipulating programs (ISSTA'06
) (ISSTA'07
) (POPL'08) (ISMM'08) (ISSTA'08) - QVM: The quality virtual machine (OOPSLA'08) (PLDI'09)