2009 |
33 | EE | Martin T. Vechev,
Eran Yahav,
Greta Yorsh:
Inferring Synchronization under Limited Observability.
TACAS 2009: 139-154 |
2008 |
32 | EE | Isil Dillig,
Thomas Dillig,
Eran Yahav,
Satish Chandra:
The CLOSER: automating resource management in java.
ISMM 2008: 1-10 |
31 | EE | Alexey Loginov,
Eran Yahav,
Satish Chandra,
Stephen Fink,
Noam Rinetzky,
Mangala Gowri Nanda:
Verifying dereference safety via expanding-scope analysis.
ISSTA 2008: 213-224 |
30 | EE | Matthew Arnold,
Martin T. Vechev,
Eran Yahav:
QVM: an efficient runtime for detecting defects in deployed systems.
OOPSLA 2008: 143-162 |
29 | EE | Martin T. Vechev,
Eran Yahav:
Deriving linearizable fine-grained concurrent objects.
PLDI 2008: 125-135 |
28 | EE | Greta Yorsh,
Eran Yahav,
Satish Chandra:
Generating precise and concise procedure summaries.
POPL 2008: 221-234 |
27 | EE | Noam Rinetzky,
G. Ramalingam,
Shmuel Sagiv,
Eran Yahav:
On the complexity of partially-flow-sensitive alias analysis.
ACM Trans. Program. Lang. Syst. 30(3): (2008) |
26 | EE | Stephen J. Fink,
Eran Yahav,
Nurit Dor,
G. Ramalingam,
Emmanuel Geay:
Effective typestate verification in the presence of aliasing.
ACM Trans. Softw. Eng. Methodol. 17(2): (2008) |
25 | EE | Sharon Shoham,
Eran Yahav,
Stephen J. Fink,
Marco Pistoia:
Static Specification Mining Using Automata-Based Abstractions.
IEEE Trans. Software Eng. 34(5): 651-666 (2008) |
2007 |
24 | EE | Daphna Amit,
Noam Rinetzky,
Thomas W. Reps,
Mooly Sagiv,
Eran Yahav:
Comparison Under Abstraction for Verifying Linearizability.
CAV 2007: 477-490 |
23 | EE | Noam Rinetzky,
Arnd Poetzsch-Heffter,
Ganesan Ramalingam,
Mooly Sagiv,
Eran Yahav:
Modular Shape Analysis for Dynamically Encapsulated Programs.
ESOP 2007: 220-236 |
22 | EE | Marco Pistoia,
Stephen J. Fink,
Robert J. Flynn,
Eran Yahav:
When Role Models Have Flaws: Static Validation of Enterprise Security Policies.
ICSE 2007: 478-488 |
21 | EE | Sharon Shoham,
Eran Yahav,
Stephen Fink,
Marco Pistoia:
Static specification mining using automata-based abstractions.
ISSTA 2007: 174-184 |
20 | EE | Martin T. Vechev,
Eran Yahav,
David F. Bacon,
Noam Rinetzky:
CGCExplorer: a semi-automated search procedure for provably correct concurrent collectors.
PLDI 2007: 456-467 |
19 | EE | Guy Gueta,
Cormac Flanagan,
Eran Yahav,
Mooly Sagiv:
Cartesian Partial-Order Reduction.
SPIN 2007: 95-112 |
18 | EE | Marco Pistoia,
Satish Chandra,
Stephen J. Fink,
Eran Yahav:
A survey of static analysis methods for identifying security vulnerabilities in software systems.
IBM Systems Journal 46(2): 265-288 (2007) |
2006 |
17 | EE | Stephen J. Fink,
Eran Yahav,
Nurit Dor,
G. Ramalingam,
Emmanuel Geay:
Effective typestate verification in the presence of aliasing.
ISSTA 2006: 133-144 |
16 | EE | Emmanuel Geay,
Eran Yahav,
Stephen J. Fink:
Continuous code-quality assurance with SAFE.
PEPM 2006: 145-149 |
15 | EE | Martin T. Vechev,
Eran Yahav,
David F. Bacon:
Correctness-preserving derivation of concurrent garbage collection algorithms.
PLDI 2006: 341-353 |
14 | EE | Eran Yahav,
Thomas W. Reps,
Shmuel Sagiv,
Reinhard Wilhelm:
Verifying Temporal Heap Properties Specified via Evolution Logic.
Logic Journal of the IGPL 14(5): 755-783 (2006) |
2005 |
13 | EE | 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.
EMSOFT 2005: 68-78 |
12 | EE | Noam Rinetzky,
Mooly Sagiv,
Eran Yahav:
Interprocedural Shape Analysis for Cutpoint-Free Programs.
SAS 2005: 284-302 |
11 | EE | Roman Manevich,
Eran Yahav,
Ganesan Ramalingam,
Shmuel Sagiv:
Predicate Abstraction and Canonical Abstraction for Singly-Linked Lists.
VMCAI 2005: 181-198 |
10 | EE | Nurit Dor,
John Field,
Denis Gopan,
Tal Lev-Ami,
Alexey Loginov,
Roman Manevich,
G. Ramalingam,
Thomas W. Reps,
Noam Rinetzky,
Mooly Sagiv,
Reinhard Wilhelm,
Eran Yahav,
Greta Yorsh:
Automatic Verification of Strongly Dynamic Software Systems.
VSTTE 2005: 82-92 |
9 | EE | Ran Shaham,
Eran Yahav,
Elliot K. Kolodner,
Mooly Sagiv:
Establishing local temporal heap safety properties with applications to compile-time memory management.
Sci. Comput. Program. 58(1-2): 264-289 (2005) |
8 | EE | John Field,
Deepak Goyal,
Ganesan Ramalingam,
Eran Yahav:
Typestate verification: Abstraction techniques and complexity results.
Sci. Comput. Program. 58(1-2): 57-82 (2005) |
2004 |
7 | EE | Eran Yahav,
G. Ramalingam:
Verifying safety properties using separation and heterogeneous abstractions.
PLDI 2004: 25-34 |
2003 |
6 | EE | Eran Yahav,
Thomas W. Reps,
Shmuel Sagiv,
Reinhard Wilhelm:
Verifying Temporal Heap Properties Specified via Evolution Logic.
ESOP 2003: 204-222 |
5 | EE | John Field,
Deepak Goyal,
G. Ramalingam,
Eran Yahav:
Typestate Verification: Abstraction Techniques and Complexity Results.
SAS 2003: 439-462 |
4 | EE | Ran Shaham,
Eran Yahav,
Elliot K. Kolodner,
Shmuel Sagiv:
Establishing Local Temporal Heap Safety Properties with Applications to Compile-Time Memory Management.
SAS 2003: 483-503 |
3 | EE | Eran Yahav,
Shmuel Sagiv:
Automatically Verifying Concurrent Queue Algorithms.
Electr. Notes Theor. Comput. Sci. 89(3): (2003) |
2001 |
2 | EE | Eran Yahav:
Verifying safety properties of concurrent Java programs using 3-valued logic.
POPL 2001: 27-40 |
1996 |
1 | EE | Sara Porat,
David Bernstein,
Yaroslav Fedorov,
Joseph Rodrigue,
Eran Yahav:
Compiler Optimization of C++ Virtual Function Calls.
COOTS 1996 |