Eran Yahav
Home
Publications
Activities
Interns
Resources
Misc
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
) (POPL'10)
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
)
About me
I am a researcher in the Program Analysis Group. I'm a member of the
nomads
.
Recent/Upcoming Events
PSY 2009 (co-organizer)
Software Synthesis (co-organizer)
SAS 2009 (PC)
ISSTA 2009 (PC)
HVC 2009 (PC)
DEFECTS 2009 (PC)
CSR 2009 (PC)
Contact Information
Email:
eyahav@us.ibm.com
Addr:
IBM T.J. Watson Research Center
19 Skyline Drive
Hawthorne, NY 10532
Office:
1N-B17
Recent Publications
POPL10
Abstraction-Guided Synthesis
PLDI09
Chameleon: Adaptive Selection of Collections
TACAS09
Inferring Synchronization Under Limited Observability
OOPSLA '08
QVM: An Efficient Runtime for Detecting Defects in Deployed Systems
ISSTA '08
Verifying Dereference Safety via Expanding-Scope Analysis
PLDI '08
Deriving Linearizable Fine-Grained Concurrent Objects
ISMM '08
The CLOSER: Automating Resource Management in Java
POPL '08
Generating Precise and Concise Procedure Summaries
