dblp.uni-trier.dewww.uni-trier.de

Tal Lev-Ami

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2009
16EESumit Gulwani, Tal Lev-Ami, Mooly Sagiv: A combination framework for tracking partition sizes. POPL 2009: 239-251
15EETal 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
14EEByron Cook, Sumit Gulwani, Tal Lev-Ami, Andrey Rybalchenko, Mooly Sagiv: Proving Conditional Termination. CAV 2008: 328-340
13EEJosh Berdine, Tal Lev-Ami, Roman Manevich, G. Ramalingam, Shmuel Sagiv: Thread Quantification for Concurrent Shape Analysis. CAV 2008: 399-413
12EENurit Dor, Tal Lev-Ami, Shay Litvak, Mooly Sagiv, Dror Weiss: Customization change impact analysis for erp professionals via program slicing. ISSTA 2008: 97-108
11EERoman Manevich, Tal Lev-Ami, Mooly Sagiv, Ganesan Ramalingam, Josh Berdine: Heap Decomposition for Concurrent Shape Analysis. SAS 2008: 363-377
2007
10EETal Lev-Ami, Christoph Weidenbach, Thomas W. Reps, Mooly Sagiv: Labelled Clauses. CADE 2007: 311-327
9EEIgor Bogudlov, Tal Lev-Ami, Thomas W. Reps, Mooly Sagiv: Revamping TVLA: Making Parametric Shape Analysis Competitive. CAV 2007: 221-225
8EETal Lev-Ami, Mooly Sagiv, Neil Immerman, Thomas W. Reps: Constructing Specialized Shape Analyses for Uniform Change. VMCAI 2007: 215-233
2006
7EETal Lev-Ami, Neil Immerman, Shmuel Sagiv: Abstraction for Shape Analysis with Fast and Precise Transformers. CAV 2006: 547-561
2005
6EETal 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
5EENurit 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
3EETal 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
2EETal 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

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

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)