Travelled to:1 × Estonia
1 × France
1 × Spain
2 × Germany
6 × USA
Collaborated with:M.Sagiv S.Sagiv T.W.Reps N.Immerman S.Gulwani J.Berdine R.Manevich C.Weidenbach I.Bogudlov R.Wilhelm G.Ramalingam B.Cook A.Rybalchenko N.Dor S.Litvak D.Weiss G.Ramalingam S.Srivastava G.Yorsh
Talks about:analysi (6) shape (5) concurr (2) static (2) analys (2) verif (2) chang (2) tvla (2) profession (1) decomposit (1)
Person: Tal Lev-Ami
DBLP: Lev-Ami:Tal
Contributed to:
2009
2008
2008
2008
20072007
20072006200520002000Wrote 12 papers:
- POPL-2009-GulwaniLS #framework
- A combination framework for tracking partition sizes (SG, TLA, MS), pp. 239–251.
- CAV-2008-BerdineLMRS #analysis #concurrent #quantifier #thread
- Thread Quantification for Concurrent Shape Analysis (JB, TLA, RM, GR, SS), pp. 399–413.
- CAV-2008-CookGLRS #proving #termination
- Proving Conditional Termination (BC, SG, TLA, AR, MS), pp. 328–340.
- ISSTA-2008-DorLLSW #enterprise #impact analysis #slicing
- Customization change impact analysis for erp professionals via program slicing (ND, TLA, SL, MS, DW), pp. 97–108.
- SAS-2008-ManevichLSRB #analysis #composition #concurrent
- Heap Decomposition for Concurrent Shape Analysis (RM, TLA, MS, GR, JB), pp. 363–377.
- CADE-2007-Lev-AmiWRS
- Labelled Clauses (TLA, CW, TWR, MS), pp. 311–327.
- CAV-2007-BogudlovLRS #analysis #parametricity
- Revamping TVLA: Making Parametric Shape Analysis Competitive (IB, TLA, TWR, MS), pp. 221–225.
- VMCAI-2007-Lev-AmiSIR #analysis
- Constructing Specialized Shape Analyses for Uniform Change (TLA, MS, NI, TWR), pp. 215–233.
- CAV-2006-Lev-AmiIS #abstraction #analysis #performance #precise
- Abstraction for Shape Analysis with Fast and Precise Transformers (TLA, NI, SS), pp. 547–561.
- CADE-2005-Lev-AmiIRSSY #data type #first-order #linked data #logic #open data #reachability #simulation #using #verification
- Simulating Reachability Using First-Order Logic with Applications to Verification of Linked Data Structures (TLA, NI, TWR, SS, SS, GY), pp. 99–115.
- ISSTA-2000-Lev-AmiRSW #case study #static analysis #verification
- Putting static analysis to work for verification: A case study (TLA, TWR, SS, RW), pp. 26–38.
- SAS-2000-Lev-AmiS #analysis #implementation #named
- TVLA: A System for Implementing Static Analyses (TLA, SS), pp. 280–301.