Searching for authors named "Gilad Arnold" – sorted by Relevance.
7 documents found, showing 1 through 7.
-
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
Showing 1 through 7.
