Tal Lev-Ami

19 papers A* 5A 4B 4Journal 3Unranked 2
YearRankTypeTitle / Venue / Authors
2025 J jnl
The JPEG XL Image Coding System: History, Features, Coding Tools, Design Rationale, and Future.
CoRR
Jon Sneyers, Jyrki Alakuijala, Luca Versari, Zoltan Szabadka, Sami Boukortt, Amnon Cohen-Tidhar, Moritz Firsching, Evgenii Kliuchnikov, Tal Lev-Ami, Eric Portis, Thomas Richter, Osamu Watanabe
2009 A* conf
A combination framework for tracking partition sizes.
POPL
Sumit Gulwani, Tal Lev-Ami, Mooly Sagiv
2009 B conf
Abstract Transformers for Thread Correlation Analysis.
APLAS
Michal Segalov, Tal Lev-Ami, Roman Manevich, Ganesan Ramalingam, Mooly Sagiv
2009 — —
Automatic maintenance of transitive properties with applications to shape analysis
Tal Lev-Ami
2009 J jnl
Simulating reachability using first-order logic with applications to verification of linked data structures
Log. Methods Comput. Sci.
Tal Lev-Ami, Neil Immerman, Thomas W. Reps, Mooly Sagiv, Siddharth Srivastava, Greta Yorsh
2008 A conf
Customization change impact analysis for erp professionals via program slicing.
ISSTA
Nurit Dor, Tal Lev-Ami, Shay Litvak, Mooly Sagiv, Dror Weiss
2008 B conf
Heap Decomposition for Concurrent Shape Analysis.
SAS
Roman Manevich, Tal Lev-Ami, Mooly Sagiv, Ganesan Ramalingam, Josh Berdine
2008 A* conf
Proving Conditional Termination.
CAV
Byron Cook, Sumit Gulwani, Tal Lev-Ami, Andrey Rybalchenko, Mooly Sagiv
2008 A* conf
Thread Quantification for Concurrent Shape Analysis.
CAV
Josh Berdine, Tal Lev-Ami, Roman Manevich, G. Ramalingam, Shmuel Sagiv
2007 B conf
Constructing Specialized Shape Analyses for Uniform Change.
VMCAI
Tal Lev-Ami, Mooly Sagiv, Neil Immerman, Thomas W. Reps
2007 A conf
Labelled Clauses.
CADE
Tal Lev-Ami, Christoph Weidenbach, Thomas W. Reps, Mooly Sagiv
2007 A* conf
Revamping TVLA: Making Parametric Shape Analysis Competitive.
CAV
Igor Bogudlov, Tal Lev-Ami, Thomas W. Reps, Mooly Sagiv
2006 A* conf
Abstraction for Shape Analysis with Fast and Precise Transformers.
CAV
Tal Lev-Ami, Neil Immerman, Shmuel Sagiv
2005 — conf
Automatic Verification of Strongly Dynamic Software Systems.
VSTTE
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
2005 A conf
Simulating Reachability Using First-Order Logic with Applications to Verification of Linked Data Structures.
CADE
Tal Lev-Ami, Neil Immerman, Thomas W. Reps, Shmuel Sagiv, Siddharth Srivastava, Greta Yorsh
2004 — conf
TVLA: A system for generating abstract interpreters.
IFIP Congress Topical Sessions
Tal Lev-Ami, Roman Manevich, Shmuel Sagiv
2003 J jnl
Reactive and Real-Time Systems Course: How to Get the Most Out of it.
Real Time Syst.
Tal Lev-Ami, Shmuel S. Tyszberowicz
2000 A conf
Putting static analysis to work for verification: A case study.
ISSTA
Tal Lev-Ami, Thomas W. Reps, Shmuel Sagiv, Reinhard Wilhelm
2000 B conf
TVLA: A System for Implementing Static Analyses.
SAS
Tal Lev-Ami, Shmuel Sagiv