Search the dblp DataBase

Publications of Author

1. Sara Porat, David Bernstein, Yaroslav Fedorov, Joseph Rodrigue, Eran Yahav
   Compiler Optimization of C++ Virtual Function Calls. [Citation Graph (0, 0)][DBLP]
   COOTS, 1996, pp:- [Conf]
   
2. David F. Bacon, Perry Cheng, David Grove, Michael Hind, V. T. Rajan, Eran Yahav, Matthias Hauswirth, Christoph M. Kirsch, Daniel Spoonhower, Martin T. Vechev
   High-level real-time programming in Java. [Citation Graph (0, 0)][DBLP]
   EMSOFT, 2005, pp:68-78 [Conf]
   
3. Eran Yahav, Thomas W. Reps, Shmuel Sagiv, Reinhard Wilhelm
   Verifying Temporal Heap Properties Specified via Evolution Logic. [Citation Graph (0, 0)][DBLP]
   ESOP, 2003, pp:204-222 [Conf]
   
4. Marco Pistoia, Stephen J. Fink, Robert J. Flynn, Eran Yahav
   When Role Models Have Flaws: Static Validation of Enterprise Security Policies. [Citation Graph (0, 0)][DBLP]
   ICSE, 2007, pp:478-488 [Conf]
   
5. Stephen J. Fink, Eran Yahav, Nurit Dor, G. Ramalingam, Emmanuel Geay
   Effective typestate verification in the presence of aliasing. [Citation Graph (0, 0)][DBLP]
   ISSTA, 2006, pp:133-144 [Conf]
   
6. Emmanuel Geay, Eran Yahav, Stephen J. Fink
   Continuous code-quality assurance with SAFE. [Citation Graph (0, 0)][DBLP]
   PEPM, 2006, pp:145-149 [Conf]
   
7. Martin T. Vechev, Eran Yahav, David F. Bacon
   Correctness-preserving derivation of concurrent garbage collection algorithms. [Citation Graph (0, 0)][DBLP]
   PLDI, 2006, pp:341-353 [Conf]
   
8. Eran Yahav, G. Ramalingam
   Verifying safety properties using separation and heterogeneous abstractions. [Citation Graph (0, 0)][DBLP]
   PLDI, 2004, pp:25-34 [Conf]
   
9. Eran Yahav
   Verifying safety properties of concurrent Java programs using 3-valued logic. [Citation Graph (0, 0)][DBLP]
   POPL, 2001, pp:27-40 [Conf]
   
10. John Field, Deepak Goyal, G. Ramalingam, Eran Yahav
    Typestate Verification: Abstraction Techniques and Complexity Results. [Citation Graph (0, 0)][DBLP]
    SAS, 2003, pp:439-462 [Conf]
    
11. Ran Shaham, Eran Yahav, Elliot K. Kolodner, Shmuel Sagiv
    Establishing Local Temporal Heap Safety Properties with Applications to Compile-Time Memory Management. [Citation Graph (0, 0)][DBLP]
    SAS, 2003, pp:483-503 [Conf]
    
12. Noam Rinetzky, Mooly Sagiv, Eran Yahav
    Interprocedural Shape Analysis for Cutpoint-Free Programs. [Citation Graph (0, 0)][DBLP]
    SAS, 2005, pp:284-302 [Conf]
    
13. Roman Manevich, Eran Yahav, Ganesan Ramalingam, Shmuel Sagiv
    Predicate Abstraction and Canonical Abstraction for Singly-Linked Lists. [Citation Graph (0, 0)][DBLP]
    VMCAI, 2005, pp:181-198 [Conf]
    
14. Eran Yahav, Shmuel Sagiv
    Automatically Verifying Concurrent Queue Algorithms. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:89, n:3, pp:- [Journal]
    
15. Eran Yahav, Thomas W. Reps, Shmuel Sagiv, Reinhard Wilhelm
    Verifying Temporal Heap Properties Specified via Evolution Logic. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 2006, v:14, n:5, pp:755-783 [Journal]
    
16. John Field, Deepak Goyal, Ganesan Ramalingam, Eran Yahav
    Typestate verification: Abstraction techniques and complexity results. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2005, v:58, n:1-2, pp:57-82 [Journal]
    
17. Ran Shaham, Eran Yahav, Elliot K. Kolodner, Mooly Sagiv
    Establishing local temporal heap safety properties with applications to compile-time memory management. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2005, v:58, n:1-2, pp:264-289 [Journal]
    
18. Daphna Amit, Noam Rinetzky, Thomas W. Reps, Mooly Sagiv, Eran Yahav
    Comparison Under Abstraction for Verifying Linearizability. [Citation Graph (0, 0)][DBLP]
    CAV, 2007, pp:477-490 [Conf]
    
19. Noam Rinetzky, Arnd Poetzsch-Heffter, Ganesan Ramalingam, Mooly Sagiv, Eran Yahav
    Modular Shape Analysis for Dynamically Encapsulated Programs. [Citation Graph (0, 0)][DBLP]
    ESOP, 2007, pp:220-236 [Conf]
    
20. Sharon Shoham, Eran Yahav, Stephen Fink, Marco Pistoia
    Static specification mining using automata-based abstractions. [Citation Graph (0, 0)][DBLP]
    ISSTA, 2007, pp:174-184 [Conf]
    
21. Martin T. Vechev, Eran Yahav, David F. Bacon, Noam Rinetzky
    CGCExplorer: a semi-automated search procedure for provably correct concurrent collectors. [Citation Graph (0, 0)][DBLP]
    PLDI, 2007, pp:456-467 [Conf]
    
22. Guy Gueta, Cormac Flanagan, Eran Yahav, Mooly Sagiv
    Cartesian Partial-Order Reduction. [Citation Graph (0, 0)][DBLP]
    SPIN, 2007, pp:95-112 [Conf]
    
23. 
    Verifying dereference safety via expanding-scope analysis. [Citation Graph (, )][DBLP]
    
    
24. 
    The CLOSER: automating resource management in java. [Citation Graph (, )][DBLP]
    
    
25. 
    PHALANX: parallel checking of expressive heap assertions. [Citation Graph (, )][DBLP]
    
    
26. 
    QVM: an efficient runtime for detecting defects in deployed systems. [Citation Graph (, )][DBLP]
    
    
27. 
    Deriving linearizable fine-grained concurrent objects. [Citation Graph (, )][DBLP]
    
    
28. 
    Chameleon: adaptive selection of collections. [Citation Graph (, )][DBLP]
    
    
29. 
    Verifying linearizability with hindsight. [Citation Graph (, )][DBLP]
    
    
30. 
    Generating precise and concise procedure summaries. [Citation Graph (, )][DBLP]
    
    
31. 
    Abstraction-guided synthesis of synchronization. [Citation Graph (, )][DBLP]
    
    
32. 
    Automatic Verification of Determinism for Structured Parallel Programs. [Citation Graph (, )][DBLP]
    
    
33. 
    Experience with Model Checking Linearizability. [Citation Graph (, )][DBLP]
    
    
34. 
    Inferring Synchronization under Limited Observability. [Citation Graph (, )][DBLP]
    
    
35. 
    Automatic Verification of Strongly Dynamic Software Systems. [Citation Graph (, )][DBLP]