Predicate abstraction and canonical abstraction for singly-linked lists
- Roman Manevich
- E. Yahav
- et al.
- 2005
- VMCAI 2005
Publications
Date
Featured collections
Popular topics
36 results for Eran Yahav
Verifying safety properties using separation and heterogeneous abstractions
- Eran Yahav
- G. Ramalingam
- 2004
- PLDI 2004
Compiler optimization of C++ virtual function calls
- Sara Porat
- David Bernstein
- et al.
- 1996
- COOTS 1996
QVM: An efficient runtime for detecting defects in deployed systems
- Matthew Arnold
- Martin Vechev
- et al.
- 2011
- ACM TOSEM
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
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
On the complexity of partially-flow-sensitive alias analysis
- N. Rinetzky
- G. Ramalingam
- et al.
- 2008
- ACM TOPLAS
Effective typestate verification in the presence of aliasing
- Stephen J. Fink
- Eran Yahav
- et al.
- 2008
- ACM TOSEM