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: Arnold:Gilad
Contributed to:
2010
2007
2006
2006Wrote 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.