Experience
Education
Bio
Research Interests
Program synthesis, machine learning and information-retrieval techniques for PL
Program analysis, abstract interpretation, verification
Programming Languages, software engineering