Publications

36 results for Eran Yahav

Chameleon: Adaptive selection of collections
- - Ohad Shacham
  - Martin Vechev
  - et al.
- 2009
- PLDI 2009
The CLOSER: Automating resource management in Java
- - Isil Dillig
  - Thomas Dillig
  - et al.
- 2008
- ISMM 2008
Deriving linearizable fine-grained concurrent objects
- - Martin Vechev
  - Eran Yahav
- 2007
- PLDI 2007
Generating precise and concise procedure summaries
- - Greta Yorsh
  - Eran Yahav
  - et al.
- 2008
- POPL 2008
QVM: An efficient runtime for detecting defects in deployed systems
- - Matthew Arnold
  - Martin Vechev
  - et al.
- 2008
- OOPSLA 2008
Static specification mining using automata-based abstractions
- - Sharon Shoham
  - Eran Yahav
  - et al.
- 2008
- IEEE Transactions on Software Engineering
Qvm: An efficient runtime for detecting defects in deployed systems
- - Matthew Arnold
  - Martin Vechev
  - et al.
- 2008
- ACM SIGPLAN Notices
Verifying dereference safety via expanding-scope analysis
- - A. Loginov
  - E. Yahav
  - et al.
- 2008
- ISSTA 2008
Deriving linearizable fine-grained concurrent objects
- - Martin Vechev
  - Eran Yahav
- 2008
- ACM SIGPLAN Notices
Verifying safety properties of concurrent heap-manipulating programs
- - Eran Yahav
  - Mooly Sagiv
- 2008
- ACM TOPLAS