Roman Manevich

2008
11	EE	Josh Berdine, Tal Lev-Ami, Roman Manevich, G. Ramalingam, Shmuel Sagiv: Thread Quantification for Concurrent Shape Analysis. CAV 2008: 399-413
10	EE	Roman Manevich, Tal Lev-Ami, Mooly Sagiv, Ganesan Ramalingam, Josh Berdine: Heap Decomposition for Concurrent Shape Analysis. SAS 2008: 363-377
2007
9	EE	Roman Manevich, Josh Berdine, Byron Cook, G. Ramalingam, Mooly Sagiv: Shape Analysis by Graph Decomposition. TACAS 2007: 3-18
2006
8	EE	Roman Manevich, John Field, Thomas A. Henzinger, G. Ramalingam, Mooly Sagiv: Abstract Counterexample-Based Refinement for Powerset Domains. Program Analysis and Compilation 2006: 273-292
7	EE	Gilad Arnold, Roman Manevich, Mooly Sagiv, Ran Shaham: Combining Shape Analyses by Intersecting Abstractions. VMCAI 2006: 33-48
2005
6	EE	Roman Manevich, Eran Yahav, Ganesan Ramalingam, Shmuel Sagiv: Predicate Abstraction and Canonical Abstraction for Singly-Linked Lists. VMCAI 2005: 181-198
5	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
2004
4		Tal Lev-Ami, Roman Manevich, Shmuel Sagiv: TVLA: A system for generating abstract interpreters. IFIP Congress Topical Sessions 2004: 367-376
3	EE	Roman Manevich, Shmuel Sagiv, Ganesan Ramalingam, John Field: Partially Disjunctive Heap Abstraction. SAS 2004: 265-279
2	EE	Roman Manevich, Manu Sridharan, Stephen Adams, Manuvir Das, Zhe Yang: PSE: explaining program failures via postmortem static analysis. SIGSOFT FSE 2004: 63-72
2002
1	EE	Roman Manevich, G. Ramalingam, John Field, Deepak Goyal, Shmuel Sagiv: Compactly Representing First-Order Structures for Static Analysis. SAS 2002: 196-212

Coauthor Index

1	Stephen Adams	[2]
2	Gilad Arnold	[7]
3	Josh Berdine	[9] [10] [11]
4	Byron Cook	[9]
5	Manuvir Das	[2]
6	Nurit Dor	[5]
7	John Field	[1] [3] [5] [8]
8	Denis Gopan	[5]
9	Deepak Goyal	[1]
10	Thomas A. Henzinger	[8]
11	Tal Lev-Ami	[4] [5] [10] [11]
12	Alexey Loginov	[5]
13	G. Ramalingam (Ganesan Ramalingam)	[1] [3] [5] [6] [8] [9] [10] [11]
14	Thomas W. Reps	[5]
15	Noam Rinetzky	[5]
16	Shmuel Sagiv (Mooly Sagiv)	[1] [3] [4] [5] [6] [7] [8] [9] [10] [11]
17	Ran Shaham	[7]
18	Manu Sridharan	[2]
19	Reinhard Wilhelm	[5]
20	Eran Yahav	[5] [6]
21	Zhe Yang	[2]
22	Greta Yorsh	[5]