Tal Lev-Ami

According to our database, Tal Lev-Ami authored at least 18 papers between 2000 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2025

The JPEG XL Image Coding System: History, Features, Coding Tools, Design Rationale, and Future.

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

CoRR, June, 2025

2009

Automatic maintenance of transitive properties with applications to shape analysis

Tal Lev-Ami

PhD thesis, 2009

A combination framework for tracking partition sizes.

Sumit Gulwani, Tal Lev-Ami, Mooly Sagiv

Proceedings of the 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2009

Abstract Transformers for Thread Correlation Analysis.

Michal Segalov, Tal Lev-Ami, Roman Manevich, Ganesan Ramalingam, Mooly Sagiv

Proceedings of the Programming Languages and Systems, 7th Asian Symposium, 2009

2008

Heap Decomposition for Concurrent Shape Analysis.

Roman Manevich, Tal Lev-Ami, Mooly Sagiv, Ganesan Ramalingam, Josh Berdine

Proceedings of the Static Analysis, 15th International Symposium, 2008

Customization change impact analysis for erp professionals via program slicing.

Nurit Dor, Tal Lev-Ami, Shay Litvak, Mooly Sagiv, Dror Weiss

Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2008

Proving Conditional Termination.

Byron Cook, Sumit Gulwani, Tal Lev-Ami, Andrey Rybalchenko, Mooly Sagiv

Proceedings of the Computer Aided Verification, 20th International Conference, 2008

Thread Quantification for Concurrent Shape Analysis.

Josh Berdine, Tal Lev-Ami, Roman Manevich, G. Ramalingam, Shmuel Sagiv

Proceedings of the Computer Aided Verification, 20th International Conference, 2008

2007

Constructing Specialized Shape Analyses for Uniform Change.

Tal Lev-Ami, Mooly Sagiv, Neil Immerman, Thomas W. Reps

Proceedings of the Verification, 2007

Revamping TVLA: Making Parametric Shape Analysis Competitive.

Igor Bogudlov, Tal Lev-Ami, Thomas W. Reps, Mooly Sagiv

Proceedings of the Computer Aided Verification, 19th International Conference, 2007

Labelled Clauses.

Tal Lev-Ami, Christoph Weidenbach, Thomas W. Reps, Mooly Sagiv

Proceedings of the Automated Deduction, 2007

2006

Abstraction for Shape Analysis with Fast and Precise Transformers.

Tal Lev-Ami, Neil Immerman, Shmuel Sagiv

Proceedings of the Computer Aided Verification, 18th International Conference, 2006

2005

Automatic Verification of Strongly Dynamic Software Systems.

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

Proceedings of the Verified Software: Theories, 2005

Simulating Reachability Using First-Order Logic with Applications to Verification of Linked Data Structures.

Tal Lev-Ami, Neil Immerman, Thomas W. Reps, Shmuel Sagiv, Siddharth Srivastava, Greta Yorsh

Proceedings of the Automated Deduction, 2005

2004

TVLA: A system for generating abstract interpreters.

Tal Lev-Ami, Roman Manevich, Shmuel Sagiv

Proceedings of the Building the Information Society, 2004

2003

Reactive and Real-Time Systems Course: How to Get the Most Out of it.

Tal Lev-Ami, Shmuel S. Tyszberowicz

Real Time Syst., 2003

2000

TVLA: A System for Implementing Static Analyses.

Tal Lev-Ami, Shmuel Sagiv

Proceedings of the Static Analysis, 7th International Symposium, 2000

Putting static analysis to work for verification: A case study.

Tal Lev-Ami, Thomas W. Reps, Shmuel Sagiv, Reinhard Wilhelm

Proceedings of the International Symposium on Software Testing and Analysis, 2000