Noam Rinetzky

2009
13	EE	Ivana Filipovic, Peter W. O'Hearn, Noam Rinetzky, Hongseok Yang: Abstraction for Concurrent Objects. ESOP 2009: 252-266
2008
12	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
11	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)
2007
10	EE	Alexey Gotsman, Josh Berdine, Byron Cook, Noam Rinetzky, Mooly Sagiv: Local Reasoning for Storable Locks and Threads. APLAS 2007: 19-37
9	EE	Daphna Amit, Noam Rinetzky, Thomas W. Reps, Mooly Sagiv, Eran Yahav: Comparison Under Abstraction for Verifying Linearizability. CAV 2007: 477-490
8	EE	Noam Rinetzky, Arnd Poetzsch-Heffter, Ganesan Ramalingam, Mooly Sagiv, Eran Yahav: Modular Shape Analysis for Dynamically Encapsulated Programs. ESOP 2007: 220-236
7	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
2005
6	EE	Noam Rinetzky, Jörg Bauer, Thomas W. Reps, Shmuel Sagiv, Reinhard Wilhelm: A semantics for procedure local heaps and its abstractions. POPL 2005: 296-309
5	EE	Noam Rinetzky, Mooly Sagiv, Eran Yahav: Interprocedural Shape Analysis for Cutpoint-Free Programs. SAS 2005: 284-302
4	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
2003
3	EE	Alain Azagury, Vladimir Dreizin, Michael Factor, Ealan Henis, Dalit Naor, Noam Rinetzky, Ohad Rodeh, Julian Satran, Ami Tavory, Lena Yerushalmi: Towards an Object Stor. IEEE Symposium on Mass Storage Systems 2003: 165-
2002
2	EE	Alain Azagury, Ran Canetti, Michael Factor, Shai Halevi, Ealan Henis, Dalit Naor, Noam Rinetzky, Ohad Rodeh, Julian Satran: A Two Layered Approach for Securing an Object Store Network. IEEE Security in Storage Workshop 2002: 10-23
2001
1	EE	Noam Rinetzky, Shmuel Sagiv: Interprocedural Shape Analysis for Recursive Programs. CC 2001: 133-149

Coauthor Index

1	Daphna Amit	[9]
2	Alain Azagury	[2] [3]
3	David F. Bacon	[7]
4	Josh Berdine	[10]
5	Ran Canetti	[2]
6	Satish Chandra	[12]
7	Byron Cook	[10]
8	Nurit Dor	[4]
9	Vladimir Dreizin	[3]
10	Michael Factor	[2] [3]
11	John Field	[4]
12	Ivana Filipovic	[13]
13	Stephen J. Fink (Stephen Fink)	[12]
14	Denis Gopan	[4]
15	Alexey Gotsman	[10]
16	Shai Halevi	[2]
17	Ealan Henis	[2] [3]
18	Jörg Kreiker (Jörg Bauer)	[6]
19	Tal Lev-Ami	[4]
20	Alexey Loginov	[4] [12]
21	Roman Manevich	[4]
22	Mangala Gowri Nanda	[12]
23	Dalit Naor	[2] [3]
24	Peter W. O'Hearn	[13]
25	Arnd Poetzsch-Heffter	[8]
26	G. Ramalingam (Ganesan Ramalingam)	[4] [8] [11]
27	Thomas W. Reps	[4] [6] [9]
28	Ohad Rodeh	[2] [3]
29	Shmuel Sagiv (Mooly Sagiv)	[1] [4] [5] [6] [8] [9] [10] [11]
30	Julian Satran	[2] [3]
31	Ami Tavory	[3]
32	Martin T. Vechev	[7]
33	Reinhard Wilhelm	[4] [6]
34	Eran Yahav	[4] [5] [7] [8] [9] [11] [12]
35	Hongseok Yang	[13]
36	Lena Yerushalmi	[3]
37	Greta Yorsh	[4]

Colors in the list of coauthors