BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Lev-Ami:Tal

Contributed to:

POPL 20092009
CAV 20082008
ISSTA 20082008
SAS 20082008
CADE 20072007
CAV 20072007
VMCAI 20072007
CAV 20062006
CADE 20052005
ISSTA 20002000
SAS 20002000

Wrote 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.
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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.