Gilad Arnold
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2006–2010
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2010 | ICFP | Specifying and verifying sparse matrix codes. | Gilad Arnold, Johannes Hlzl, Ali Sinan Kksal, Rastislav Bodk, Mooly Sagiv |
| 2007 | PLDI | Sketching stencils. | Armando Solar-Lezama, Gilad Arnold, Liviu Tancau, Rastislav Bodk, Vijay A. Saraswat, Sanjit A. Seshia |
| 2006 | SAS | Specialized 3-Valued Logic Shape Analysis Using Structure-Based Refinement and Loose Embedding. | Gilad Arnold |
| 2006 | VMCAI | Combining Shape Analyses by Intersecting Abstractions. | Gilad Arnold, Roman Manevich, Mooly Sagiv, Ran Shaham |