Gilad Arnold

Publication Activity (10 Years)

Years Active: 2006-2010
Publications (10 Years): 0

University of California, Berkeley, USA (PHD)

Education History

University of California, Berkeley, USA

PHD

Publications

Gilad Arnold, Johannes Hölzl, Ali Sinan Köksal, Rastislav Bodík, Mooly Sagiv
Specifying and verifying sparse matrix codes. ICFP (2010)
Armando Solar-Lezama, Gilad Arnold, Liviu Tancau, Rastislav Bodík, Vijay A. Saraswat, Sanjit A. Seshia
Sketching stencils. PLDI (2007)
Gilad Arnold
Specialized 3-Valued Logic Shape Analysis Using Structure-Based Refinement and Loose Embedding. SAS (2006)
Gilad Arnold, Roman Manevich, Mooly Sagiv, Ran Shaham
Combining Shape Analyses by Intersecting Abstractions. VMCAI (2006)