Eran Yahav

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

Coauthor Index

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