Tal Lev-Ami

Publication Activity (10 Years)

Years Active: 2000-2009
Publications (10 Years): 0

Publications

Sumit Gulwani, Tal Lev-Ami, Mooly Sagiv
A combination framework for tracking partition sizes. POPL (2009)
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 Log. Methods Comput. Sci. 5 (2) (2009)
Michal Segalov, Tal Lev-Ami, Roman Manevich, Ganesan Ramalingam, Mooly Sagiv
Abstract Transformers for Thread Correlation Analysis. APLAS (2009)
Roman Manevich, Tal Lev-Ami, Mooly Sagiv, Ganesan Ramalingam, Josh Berdine
Heap Decomposition for Concurrent Shape Analysis. SAS (2008)
Byron Cook, Sumit Gulwani, Tal Lev-Ami, Andrey Rybalchenko, Mooly Sagiv
Proving Conditional Termination. CAV (2008)
Josh Berdine, Tal Lev-Ami, Roman Manevich, G. Ramalingam, Shmuel Sagiv
Thread Quantification for Concurrent Shape Analysis. CAV (2008)
Nurit Dor, Tal Lev-Ami, Shay Litvak, Mooly Sagiv, Dror Weiss
Customization change impact analysis for erp professionals via program slicing. ISSTA (2008)
Tal Lev-Ami, Christoph Weidenbach, Thomas W. Reps, Mooly Sagiv
Labelled Clauses. CADE (2007)
Tal Lev-Ami, Mooly Sagiv, Neil Immerman, Thomas W. Reps
Constructing Specialized Shape Analyses for Uniform Change. VMCAI (2007)
Igor Bogudlov, Tal Lev-Ami, Thomas W. Reps, Mooly Sagiv
Revamping TVLA: Making Parametric Shape Analysis Competitive. CAV (2007)
Tal Lev-Ami, Neil Immerman, Shmuel Sagiv
Abstraction for Shape Analysis with Fast and Precise Transformers. CAV (2006)
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)
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)
Tal Lev-Ami, Roman Manevich, Shmuel Sagiv
TVLA: A system for generating abstract interpreters. IFIP Congress Topical Sessions (2004)
Tal Lev-Ami, Shmuel S. Tyszberowicz
Reactive and Real-Time Systems Course: How to Get the Most Out of it. Real Time Syst. 25 (2-3) (2003)
Tal Lev-Ami, Thomas W. Reps, Shmuel Sagiv, Reinhard Wilhelm
Putting static analysis to work for verification: A case study. ISSTA (2000)
Tal Lev-Ami, Shmuel Sagiv
TVLA: A System for Implementing Static Analyses. SAS (2000)