Searching for authors named "Gilad Arnold" – sorted by Relevance.
-
Lightweight specialized 3-valued logic shape analyzer
- Lightweight Specialized 3-Valued Logic Shape Analyzer Gilad Arnold Electrical Engineering
- Cited by 1 (1 self) – Add To MetaCart
-
Specialized 3-Valued Logic Shape Analysis using Structure-Based Refinement and Loose Embedding
- Gilad Arnold University of California, Berkeley arnold@(email omitted); Abstract. We consider a shape
- Cited by 6 (0 self) – Add To MetaCart
-
Extending the Applicability of Sketching
- Extending the Applicability of Sketching Liviu Tancau, Armando Solar-Lezama, Gilad Arnold
- Add To MetaCart
-
Symbolic Proof Generation for Resizing Sketches
- Symbolic Proof Generation for Resizing Sketches Gilad Arnold and Liviu Tancau Abstract We
- Add To MetaCart
-
Intersecting heap abstractions with applications to compile-time memory management
- Intersecting Heap Abstractions with Applications to Compile-time Memory Management Gilad Arnold
- Cited by 3 (2 self) – Add To MetaCart
-
Combining shape analyses by intersecting abstractions
- Combining Shape Analyses by Intersecting Abstractions Gilad Arnold1, Roman Manevich2?, Mooly
- Cited by 6 (2 self) – Add To MetaCart
-
Sketching Stencils
- Sketching Stencils Armando Solar-Lezama, Gilad Arnold, Liviu Tancau, Rastislav Bodik, Vijay
- Cited by 1 (1 self) – Add To MetaCart

