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 × Korea
3 × USA
Collaborated with:
M.Sagiv R.Bodík R.Manevich R.Shaham J.Hölzl A.S.Köksal A.Solar-Lezama L.Tancau V.A.Saraswat S.A.Seshia
Talks about:
shape (2) intersect (1) structur (1) abstract (1) stencil (1) specifi (1) special (1) analysi (1) verifi (1) sketch (1)

Person: Gilad Arnold

DBLP DBLP: Arnold:Gilad

Contributed to:

ICFP 20102010
PLDI 20072007
SAS 20062006
VMCAI 20062006

Wrote 4 papers:

ICFP-2010-ArnoldHKBS #matrix #specification #verification
Specifying and verifying sparse matrix codes (GA, JH, ASK, RB, MS), pp. 249–260.
PLDI-2007-Solar-LezamaATBSS #sketching
Sketching stencils (ASL, GA, LT, RB, VAS, SAS), pp. 167–178.
SAS-2006-Arnold #analysis #logic #refinement #using
Specialized 3-Valued Logic Shape Analysis Using Structure-Based Refinement and Loose Embedding (GA), pp. 204–220.
VMCAI-2006-ArnoldMSS #abstraction #analysis
Combining Shape Analyses by Intersecting Abstractions (GA, RM, MS, RS), pp. 33–48.

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.