Tal Lev-Ami

2009
16	EE	Sumit Gulwani, Tal Lev-Ami, Mooly Sagiv: A combination framework for tracking partition sizes. POPL 2009: 239-251
15	EE	Tal Lev-Ami, Neil Immerman, Thomas W. Reps, Mooly Sagiv, Siddharth Srivastava, Greta Yorsh: Simulating reachability using first-order logic with applications to verification of linked data structures CoRR abs/0904.4902: (2009)
2008
14	EE	Byron Cook, Sumit Gulwani, Tal Lev-Ami, Andrey Rybalchenko, Mooly Sagiv: Proving Conditional Termination. CAV 2008: 328-340
13	EE	Josh Berdine, Tal Lev-Ami, Roman Manevich, G. Ramalingam, Shmuel Sagiv: Thread Quantification for Concurrent Shape Analysis. CAV 2008: 399-413
12	EE	Nurit Dor, Tal Lev-Ami, Shay Litvak, Mooly Sagiv, Dror Weiss: Customization change impact analysis for erp professionals via program slicing. ISSTA 2008: 97-108
11	EE	Roman Manevich, Tal Lev-Ami, Mooly Sagiv, Ganesan Ramalingam, Josh Berdine: Heap Decomposition for Concurrent Shape Analysis. SAS 2008: 363-377
2007
10	EE	Tal Lev-Ami, Christoph Weidenbach, Thomas W. Reps, Mooly Sagiv: Labelled Clauses. CADE 2007: 311-327
9	EE	Igor Bogudlov, Tal Lev-Ami, Thomas W. Reps, Mooly Sagiv: Revamping TVLA: Making Parametric Shape Analysis Competitive. CAV 2007: 221-225
8	EE	Tal Lev-Ami, Mooly Sagiv, Neil Immerman, Thomas W. Reps: Constructing Specialized Shape Analyses for Uniform Change. VMCAI 2007: 215-233
2006
7	EE	Tal Lev-Ami, Neil Immerman, Shmuel Sagiv: Abstraction for Shape Analysis with Fast and Precise Transformers. CAV 2006: 547-561
2005
6	EE	Tal Lev-Ami, Neil Immerman, Thomas W. Reps, Shmuel Sagiv, S. Srivastava, Greta Yorsh: Simulating Reachability Using First-Order Logic with Applications to Verification of Linked Data Structures. CADE 2005: 99-115
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
2003
3	EE	Tal Lev-Ami, Shmuel S. Tyszberowicz: Reactive and Real-Time Systems Course: How to Get the Most Out of it. Real-Time Systems 25(2-3): 231-253 (2003)
2000
2	EE	Tal Lev-Ami, Thomas W. Reps, Shmuel Sagiv, Reinhard Wilhelm: Putting static analysis to work for verification: A case study. ISSTA 2000: 26-38
1		Tal Lev-Ami, Shmuel Sagiv: TVLA: A System for Implementing Static Analyses. SAS 2000: 280-301

Coauthor Index

1	Josh Berdine	[11] [13]
2	Igor Bogudlov	[9]
3	Byron Cook	[14]
4	Nurit Dor	[5] [12]
5	John Field	[5]
6	Denis Gopan	[5]
7	Sumit Gulwani	[14] [16]
8	Neil Immerman	[6] [7] [8] [15]
9	Shay Litvak	[12]
10	Alexey Loginov	[5]
11	Roman Manevich	[4] [5] [11] [13]
12	G. Ramalingam (Ganesan Ramalingam)	[5] [11] [13]
13	Thomas W. Reps	[2] [5] [6] [8] [9] [10] [15]
14	Noam Rinetzky	[5]
15	Andrey Rybalchenko	[14]
16	Shmuel Sagiv (Mooly Sagiv)	[1] [2] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16]
17	S. Srivastava	[6]
18	Siddharth Srivastava	[15]
19	Shmuel S. Tyszberowicz	[3]
20	Christoph Weidenbach	[10]
21	Dror Weiss	[12]
22	Reinhard Wilhelm	[2] [5]
23	Eran Yahav	[5]
24	Greta Yorsh	[5] [6] [15]

Colors in the list of coauthors