dblp.uni-trier.dewww.uni-trier.de

Eran Yahav Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
35EEOhad Shacham, Martin T. Vechev, Eran Yahav: Chameleon: adaptive selection of collections. PLDI 2009: 408-418
34EEMartin T. Vechev, Eran Yahav, Greta Yorsh: Experience with Model Checking Linearizability. SPIN 2009: 261-278
33EEMartin T. Vechev, Eran Yahav, Greta Yorsh: Inferring Synchronization under Limited Observability. TACAS 2009: 139-154
2008
32EEIsil Dillig, Thomas Dillig, Eran Yahav, Satish Chandra: The CLOSER: automating resource management in java. ISMM 2008: 1-10
31EEAlexey Loginov, Eran Yahav, Satish Chandra, Stephen Fink, Noam Rinetzky, Mangala Gowri Nanda: Verifying dereference safety via expanding-scope analysis. ISSTA 2008: 213-224
30EEMatthew Arnold, Martin T. Vechev, Eran Yahav: QVM: an efficient runtime for detecting defects in deployed systems. OOPSLA 2008: 143-162
29EEMartin T. Vechev, Eran Yahav: Deriving linearizable fine-grained concurrent objects. PLDI 2008: 125-135
28EEGreta Yorsh, Eran Yahav, Satish Chandra: Generating precise and concise procedure summaries. POPL 2008: 221-234
27EENoam Rinetzky, G. Ramalingam, Shmuel Sagiv, Eran Yahav: On the complexity of partially-flow-sensitive alias analysis. ACM Trans. Program. Lang. Syst. 30(3): (2008)
26EEStephen 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)
25EESharon 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
24EEDaphna Amit, Noam Rinetzky, Thomas W. Reps, Mooly Sagiv, Eran Yahav: Comparison Under Abstraction for Verifying Linearizability. CAV 2007: 477-490
23EENoam Rinetzky, Arnd Poetzsch-Heffter, Ganesan Ramalingam, Mooly Sagiv, Eran Yahav: Modular Shape Analysis for Dynamically Encapsulated Programs. ESOP 2007: 220-236
22EEMarco Pistoia, Stephen J. Fink, Robert J. Flynn, Eran Yahav: When Role Models Have Flaws: Static Validation of Enterprise Security Policies. ICSE 2007: 478-488
21EESharon Shoham, Eran Yahav, Stephen Fink, Marco Pistoia: Static specification mining using automata-based abstractions. ISSTA 2007: 174-184
20EEMartin T. Vechev, Eran Yahav, David F. Bacon, Noam Rinetzky: CGCExplorer: a semi-automated search procedure for provably correct concurrent collectors. PLDI 2007: 456-467
19EEGuy Gueta, Cormac Flanagan, Eran Yahav, Mooly Sagiv: Cartesian Partial-Order Reduction. SPIN 2007: 95-112
18EEMarco 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
17EEStephen J. Fink, Eran Yahav, Nurit Dor, G. Ramalingam, Emmanuel Geay: Effective typestate verification in the presence of aliasing. ISSTA 2006: 133-144
16EEEmmanuel Geay, Eran Yahav, Stephen J. Fink: Continuous code-quality assurance with SAFE. PEPM 2006: 145-149
15EEMartin T. Vechev, Eran Yahav, David F. Bacon: Correctness-preserving derivation of concurrent garbage collection algorithms. PLDI 2006: 341-353
14EEEran 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
13EEDavid 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
12EENoam Rinetzky, Mooly Sagiv, Eran Yahav: Interprocedural Shape Analysis for Cutpoint-Free Programs. SAS 2005: 284-302
11EERoman Manevich, Eran Yahav, Ganesan Ramalingam, Shmuel Sagiv: Predicate Abstraction and Canonical Abstraction for Singly-Linked Lists. VMCAI 2005: 181-198
10EENurit 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
9EERan 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)
8EEJohn Field, Deepak Goyal, Ganesan Ramalingam, Eran Yahav: Typestate verification: Abstraction techniques and complexity results. Sci. Comput. Program. 58(1-2): 57-82 (2005)
2004
7EEEran Yahav, G. Ramalingam: Verifying safety properties using separation and heterogeneous abstractions. PLDI 2004: 25-34
2003
6EEEran Yahav, Thomas W. Reps, Shmuel Sagiv, Reinhard Wilhelm: Verifying Temporal Heap Properties Specified via Evolution Logic. ESOP 2003: 204-222
5EEJohn Field, Deepak Goyal, G. Ramalingam, Eran Yahav: Typestate Verification: Abstraction Techniques and Complexity Results. SAS 2003: 439-462
4EERan 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
3EEEran Yahav, Shmuel Sagiv: Automatically Verifying Concurrent Queue Algorithms. Electr. Notes Theor. Comput. Sci. 89(3): (2003)
2001
2EEEran Yahav: Verifying safety properties of concurrent Java programs using 3-valued logic. POPL 2001: 27-40
1996
1EESara Porat, David Bernstein, Yaroslav Fedorov, Joseph Rodrigue, Eran Yahav: Compiler Optimization of C++ Virtual Function Calls. COOTS 1996

Coauthor Index

1Daphna Amit [24]
2Matthew Arnold [30]
3David F. Bacon [13] [15] [20]
4David Bernstein [1]
5Satish Chandra [18] [28] [31] [32]
6Perry Cheng [13]
7Isil Dillig [32]
8Thomas Dillig [32]
9Nurit Dor [10] [17] [26]
10Yaroslav Fedorov [1]
11John Field [5] [8] [10]
12Stephen J. Fink (Stephen Fink) [16] [17] [18] [21] [22] [25] [26] [31]
13Cormac Flanagan [19]
14Robert J. Flynn [22]
15Emmanuel Geay [16] [17] [26]
16Denis Gopan [10]
17Deepak Goyal [5] [8]
18David Grove [13]
19Guy Gueta [19]
20Matthias Hauswirth [13]
21Michael Hind [13]
22Christoph M. Kirsch (Christoph Meyer) [13]
23Elliot K. Kolodner [4] [9]
24Tal Lev-Ami [10]
25Alexey Loginov [10] [31]
26Roman Manevich [10] [11]
27Mangala Gowri Nanda [31]
28Marco Pistoia [18] [21] [22] [25]
29Arnd Poetzsch-Heffter [23]
30Sara Porat [1]
31V. T. Rajan [13]
32G. Ramalingam (Ganesan Ramalingam) [5] [7] [8] [10] [11] [17] [23] [26] [27]
33Thomas W. Reps [6] [10] [14] [24]
34Noam Rinetzky [10] [12] [20] [23] [24] [27] [31]
35Joseph Rodrigue [1]
36Shmuel Sagiv (Mooly Sagiv) [3] [4] [6] [9] [10] [11] [12] [14] [19] [23] [24] [27]
37Ohad Shacham [35]
38Ran Shaham [4] [9]
39Sharon Shoham [21] [25]
40Daniel Spoonhower [13]
41Martin T. Vechev [13] [15] [20] [29] [30] [33] [34] [35]
42Reinhard Wilhelm [6] [10] [14]
43Greta Yorsh [10] [28] [33] [34]

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)