Tal Lev-Ami's Home Page

Who Am I?

My name is Tal Lev-Ami and I am PhD student in Tel-Aviv University under the supervision of Mooly Sagiv.

Email address:

TVLA

As part of my master's thesis, I implemented the initial version of TVLA: Three-Valued Logic Analyzer. Available here.

Teaching

Logic for CS, Spring 2007

Publications

Michal Segalov, Tal Lev-Ami, Roman Manevich, Ganesan Ramalingam, Mooly Sagiv: Abstract Transformers for Thread Correlation Analysis. APLAS 2009
Sumit Gulwani, Tal Lev-Ami, Mooly Sagiv: A Combination Framework for Tracking Partition Sizes. POPL 2009 (Technical Report)
Roman Manevich, Tal Lev-Ami, Mooly Sagiv, Ganesan Ramalingam, Josh Berdine: Heap Decomposition for Concurrent Shape Analysis. SAS 2008 (Technical Report)
Josh Berdine, Tal Lev-Ami, Roman Manevich, Ganesan Ramalingam, Mooly Sagiv : Thread Quantification for Concurrent Shape Analysis. CAV 2008 (Technical Report)
Byron Cook, Sumit Gulwani, Tal Lev-Ami, Andrey Rybalchenko, Mooly Sagiv : Proving Conditional Termination. CAV 2008. (Prototype implementation)
Tal Lev-Ami, Mooly Sagiv, Thomas W. Reps, Sumit Gulwani: Backward Analysis for Inferring Quantified Preconditions. Technical Report (2007).
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 (Technical report)
Tal Lev-Ami, Mooly Sagiv, Neil Immerman, Thomas W. Reps: Constructing Specialized Shape Analyses for Uniform Change. VMCAI 2007: 215-233 (Technical report)
Tal Lev-Ami, Neil Immerman, Mooly Sagiv: Abstraction for Shape Analysis with Fast and Precise Transformers. CAV 2006: 533-546 (Technical report)
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. CADE 2005: 99-115 (Full Version)
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, Mooly Sagiv, Reinhard Wilhelm: Putting static analysis to work for verification: A case study. ISSTA 2000: 26-38
Tal Lev-Ami, Mooly Sagiv: TVLA: A System for Implementing Static Analyses. SAS 2000: 280-301