Tal Lev-Ami

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. Logical Methods in Computer Science 5(2) (2009)

Michal Segalov, Tal Lev-Ami, Roman Manevich, Ganesan Ramalingam, Mooly Sagiv: Abstract Transformers for Thread Correlation Analysis. APLAS 2009: 30-46

Sumit Gulwani, Tal Lev-Ami, Mooly Sagiv: A combination framework for tracking partition sizes. POPL 2009: 239-251

Byron Cook, Sumit Gulwani, Tal Lev-Ami, Andrey Rybalchenko, Mooly Sagiv: Proving Conditional Termination. CAV 2008: 328-340

Josh Berdine, Tal Lev-Ami, Roman Manevich, G. Ramalingam, Shmuel Sagiv: Thread Quantification for Concurrent Shape Analysis. CAV 2008: 399-413

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

Roman Manevich, Tal Lev-Ami, Mooly Sagiv, Ganesan Ramalingam, Josh Berdine: Heap Decomposition for Concurrent Shape Analysis. SAS 2008: 363-377

Tal Lev-Ami, Christoph Weidenbach, Thomas W. Reps, Mooly Sagiv: Labelled Clauses. CADE 2007: 311-327

Igor Bogudlov, Tal Lev-Ami, Thomas W. Reps, Mooly Sagiv: Revamping TVLA: Making Parametric Shape Analysis Competitive. CAV 2007: 221-225

Tal Lev-Ami, Mooly Sagiv, Neil Immerman, Thomas W. Reps: Constructing Specialized Shape Analyses for Uniform Change. VMCAI 2007: 215-233

Tal Lev-Ami, Neil Immerman, Shmuel Sagiv: Abstraction for Shape Analysis with Fast and Precise Transformers. CAV 2006: 547-561

Tal Lev-Ami, Neil Immerman, Thomas W. Reps, Shmuel Sagiv, Siddharth Srivastava, Greta Yorsh: Simulating Reachability Using First-Order Logic with Applications to Verification of Linked Data Structures. CADE 2005: 99-115

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

Tal Lev-Ami, Roman Manevich, Shmuel Sagiv: TVLA: A system for generating abstract interpreters. IFIP Congress Topical Sessions 2004: 367-376

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)

Tal Lev-Ami, Thomas W. Reps, Shmuel Sagiv, Reinhard Wilhelm: Putting static analysis to work for verification: A case study. ISSTA 2000: 26-38

Tal Lev-Ami, Shmuel Sagiv: TVLA: A System for Implementing Static Analyses. SAS 2000: 280-301