|
Research Interests
- Verification of concurrent heap-manipulating programs (see some Verification challenges)
- Program analysis, abstract interpretation
- Program Synthesis
- Programming Languages, Compiler construction
Past Projects
- Paraglide: Search-Based Synthesis of Concurrent Programs (PLDI'06) (PLDI'07) (PLDI'08) (EC2 '08)
- SAFE: scalable verification for heap-manipulating programs (ISSTA'06
) (ISSTA'07
) (POPL'08) (ISMM'08) (ISSTA'08) (TSE'08) (TOSEM'08) - 3VMC: shape analysis for concurrent programs (POPL'01) (SOFTMC'03) (ESOP'03) (PLDI'04) (IGPL'08)