Eran Yahav

2008
25	EE	Greta Yorsh, Eran Yahav, Satish Chandra: Generating precise and concise procedure summaries. POPL 2008: 221-234
24	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)
2007
23	EE	Daphna Amit, Noam Rinetzky, Thomas W. Reps, Mooly Sagiv, Eran Yahav: Comparison Under Abstraction for Verifying Linearizability. CAV 2007: 477-490
22	EE	Noam Rinetzky, Arnd Poetzsch-Heffter, Ganesan Ramalingam, Mooly Sagiv, Eran Yahav: Modular Shape Analysis for Dynamically Encapsulated Programs. ESOP 2007: 220-236
21	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
20	EE	Sharon Shoham, Eran Yahav, Stephen Fink, Marco Pistoia: Static specification mining using automata-based abstractions. ISSTA 2007: 174-184
19	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
18	EE	Guy Gueta, Cormac Flanagan, Eran Yahav, Mooly Sagiv: Cartesian Partial-Order Reduction. SPIN 2007: 95-112
17	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
16	EE	Stephen J. Fink, Eran Yahav, Nurit Dor, G. Ramalingam, Emmanuel Geay: Effective typestate verification in the presence of aliasing. ISSTA 2006: 133-144
15	EE	Emmanuel Geay, Eran Yahav, Stephen J. Fink: Continuous code-quality assurance with SAFE. PEPM 2006: 145-149
14	EE	Martin T. Vechev, Eran Yahav, David F. Bacon: Correctness-preserving derivation of concurrent garbage collection algorithms. PLDI 2006: 341-353
13	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
12	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
11	EE	Noam Rinetzky, Mooly Sagiv, Eran Yahav: Interprocedural Shape Analysis for Cutpoint-Free Programs. SAS 2005: 284-302
10	EE	Roman Manevich, Eran Yahav, Ganesan Ramalingam, Shmuel Sagiv: Predicate Abstraction and Canonical Abstraction for Singly-Linked Lists. VMCAI 2005: 181-198
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	[23]
2	David F. Bacon	[12] [14] [19]
3	David Bernstein	[1]
4	Satish Chandra	[17] [25]
5	Perry Cheng	[12]
6	Nurit Dor	[16] [24]
7	Yaroslav Fedorov	[1]
8	John Field	[5] [8]
9	Stephen J. Fink (Stephen Fink)	[15] [16] [17] [20] [21] [24]
10	Cormac Flanagan	[18]
11	Robert J. Flynn	[21]
12	Emmanuel Geay	[15] [16] [24]
13	Deepak Goyal	[5] [8]
14	David Grove	[12]
15	Guy Gueta	[18]
16	Matthias Hauswirth	[12]
17	Michael Hind	[12]
18	Christoph M. Kirsch (Christoph Meyer)	[12]
19	Elliot K. Kolodner	[4] [9]
20	Roman Manevich	[10]
21	Marco Pistoia	[17] [20] [21]
22	Arnd Poetzsch-Heffter	[22]
23	Sara Porat	[1]
24	V. T. Rajan	[12]
25	G. Ramalingam (Ganesan Ramalingam)	[5] [7] [8] [10] [16] [22] [24]
26	Thomas W. Reps	[6] [13] [23]
27	Noam Rinetzky	[11] [19] [22] [23]
28	Joseph Rodrigue	[1]
29	Shmuel Sagiv (Mooly Sagiv)	[3] [4] [6] [9] [10] [11] [13] [18] [22] [23]
30	Ran Shaham	[4] [9]
31	Sharon Shoham	[20]
32	Daniel Spoonhower	[12]
33	Martin T. Vechev	[12] [14] [19]
34	Reinhard Wilhelm	[6] [13]
35	Greta Yorsh	[25]