The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Eran Yahav: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]


Search in 0.006secs, Finished in 0.007secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002