Specialized 3-Valued Logic Shape Analysis Using Structure-Based Refinement and Loose Embedding. - Gilad Arnold (SAS, 2006)

Combining Shape Analyses by Intersecting Abstractions. - Gilad Arnold; Roman Manevich; Mooly Sagiv; Ran Shaham (VMCAI, 2006)

Sketching stencils. - Armando Solar-Lezama; Gilad Arnold; Liviu Tancau; Rastislav Bodík; Vijay A. Saraswat; Sanjit A. Seshia (PLDI, 2007)

Specifying and verifying sparse matrix codes. - Gilad Arnold; Johannes Hölzl; Ali Sinan Köksal; Rastislav Bodík; Mooly Sagiv (ICFP, 2010)

Data-Parallel Language for Correct and Efficient Sparse Matrix Codes. - Gilad Arnold (2011)