Deprecated : The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
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
Publications
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