Eran Yahav

	2010
36		Martin T. Vechev, Eran Yahav, Greta Yorsh: Abstraction-guided synthesis of synchronization. POPL 2010: 327-338
	2009
35		Ohad Shacham, Martin T. Vechev, Eran Yahav: Chameleon: adaptive selection of collections. PLDI 2009: 408-418
34		Martin T. Vechev, Eran Yahav, Greta Yorsh: Experience with Model Checking Linearizability. SPIN 2009: 261-278
33		Martin T. Vechev, Eran Yahav, Greta Yorsh: Inferring Synchronization under Limited Observability. TACAS 2009: 139-154
	2008
32		Isil Dillig, Thomas Dillig, Eran Yahav, Satish Chandra: The CLOSER: automating resource management in java. ISMM 2008: 1-10
31		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		Matthew Arnold, Martin T. Vechev, Eran Yahav: QVM: an efficient runtime for detecting defects in deployed systems. OOPSLA 2008: 143-162
29		Martin T. Vechev, Eran Yahav: Deriving linearizable fine-grained concurrent objects. PLDI 2008: 125-135
28		Greta Yorsh, Eran Yahav, Satish Chandra: Generating precise and concise procedure summaries. POPL 2008: 221-234
27		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		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		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		Daphna Amit, Noam Rinetzky, Thomas W. Reps, Mooly Sagiv, Eran Yahav: Comparison Under Abstraction for Verifying Linearizability. CAV 2007: 477-490
23		Noam Rinetzky, Arnd Poetzsch-Heffter, Ganesan Ramalingam, Mooly Sagiv, Eran Yahav: Modular Shape Analysis for Dynamically Encapsulated Programs. ESOP 2007: 220-236
22		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		Sharon Shoham, Eran Yahav, Stephen Fink, Marco Pistoia: Static specification mining using automata-based abstractions. ISSTA 2007: 174-184
20		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		Guy Gueta, Cormac Flanagan, Eran Yahav, Mooly Sagiv: Cartesian Partial-Order Reduction. SPIN 2007: 95-112
18		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		Stephen J. Fink, Eran Yahav, Nurit Dor, G. Ramalingam, Emmanuel Geay: Effective typestate verification in the presence of aliasing. ISSTA 2006: 133-144
16		Emmanuel Geay, Eran Yahav, Stephen J. Fink: Continuous code-quality assurance with SAFE. PEPM 2006: 145-149
15		Martin T. Vechev, Eran Yahav, David F. Bacon: Correctness-preserving derivation of concurrent garbage collection algorithms. PLDI 2006: 341-353
14		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		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		Noam Rinetzky, Mooly Sagiv, Eran Yahav: Interprocedural Shape Analysis for Cutpoint-Free Programs. SAS 2005: 284-302
11		Roman Manevich, Eran Yahav, Ganesan Ramalingam, Shmuel Sagiv: Predicate Abstraction and Canonical Abstraction for Singly-Linked Lists. VMCAI 2005: 181-198
10		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		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		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		Eran Yahav, G. Ramalingam: Verifying safety properties using separation and heterogeneous abstractions. PLDI 2004: 25-34
	2003
6		Eran Yahav, Thomas W. Reps, Shmuel Sagiv, Reinhard Wilhelm: Verifying Temporal Heap Properties Specified via Evolution Logic. ESOP 2003: 204-222
5		John Field, Deepak Goyal, G. Ramalingam, Eran Yahav: Typestate Verification: Abstraction Techniques and Complexity Results. SAS 2003: 439-462
4		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		Eran Yahav, Shmuel Sagiv: Automatically Verifying Concurrent Queue Algorithms. Electr. Notes Theor. Comput. Sci. 89(3): (2003)
	2001
2		Eran Yahav: Verifying safety properties of concurrent Java programs using 3-valued logic. POPL 2001: 27-40
	1996
1		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	Ohad Shacham	[35]
38	Ran Shaham	[4] [9]
39	Sharon Shoham	[21] [25]
40	Daniel Spoonhower	[13]
41	Martin T. Vechev	[13] [15] [20] [29] [30] [33] [34] [35] [36]
42	Reinhard Wilhelm	[6] [10] [14]
43	Greta Yorsh	[10] [28] [33] [34] [36]