Tal Lev-Ami
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
13
Venues
7
Active years
2000–2009
Best venue rank
A*
Where they publish
Papers
13 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2009 | APLAS | Abstract Transformers for Thread Correlation Analysis. | Michal Segalov, Tal Lev-Ami, Roman Manevich, Ganesan Ramalingam, Mooly Sagiv |
| 2009 | POPL | A combination framework for tracking partition sizes. | Sumit Gulwani, Tal Lev-Ami, Mooly Sagiv |
| 2008 | CAV | Thread Quantification for Concurrent Shape Analysis. | Josh Berdine, Tal Lev-Ami, Roman Manevich, G. Ramalingam, Shmuel Sagiv |
| 2008 | CAV | Proving Conditional Termination. | Byron Cook, Sumit Gulwani, Tal Lev-Ami, Andrey Rybalchenko, Mooly Sagiv |
| 2008 | ISSTA | Customization change impact analysis for erp professionals via program slicing. | Nurit Dor, Tal Lev-Ami, Shay Litvak, Mooly Sagiv, Dror Weiss |
| 2008 | SAS | Heap Decomposition for Concurrent Shape Analysis. | Roman Manevich, Tal Lev-Ami, Mooly Sagiv, Ganesan Ramalingam, Josh Berdine |
| 2007 | CADE | Labelled Clauses. | Tal Lev-Ami, Christoph Weidenbach, Thomas W. Reps, Mooly Sagiv |
| 2007 | CAV | Revamping TVLA: Making Parametric Shape Analysis Competitive. | Igor Bogudlov, Tal Lev-Ami, Thomas W. Reps, Mooly Sagiv |
| 2007 | VMCAI | Constructing Specialized Shape Analyses for Uniform Change. | Tal Lev-Ami, Mooly Sagiv, Neil Immerman, Thomas W. Reps |
| 2006 | CAV | Abstraction for Shape Analysis with Fast and Precise Transformers. | Tal Lev-Ami, Neil Immerman, Shmuel Sagiv |
| 2005 | CADE | 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 |
| 2000 | ISSTA | Putting static analysis to work for verification: A case study. | Tal Lev-Ami, Thomas W. Reps, Shmuel Sagiv, Reinhard Wilhelm |
| 2000 | SAS | TVLA: A System for Implementing Static Analyses. | Tal Lev-Ami, Shmuel Sagiv |