Eran Yahav Email: eyahav@us.ibm.com Address: IBM T.J. Watson Research Center 19 Skyline Drive Hawthorne, NY 10532 Office: 1N-B17

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)
• SAFE: scalable verification for heap-manipulating programs (ISSTA'06 ) (ISSTA'07) (POPL'08) (ISMM'08) (ISSTA'08)
• QVM: The quality virtual machine (OOPSLA'08)