Concepedia

Gilad Arnold

GA

3

Publications

198

Citations

3

H-Index

2007

Active since

Affiliations

University of California, Berkeley(Current)

Berkeley College

IBM (United States)

Gilad Arnold is an author at University of California, Berkeley specializing in engineering, program analysis, and computer science.

Top concepts

EngineeringComputer ScienceProgram AnalysisCompilersFormal MethodsParallel ComputingFormal VerificationComputer EngineeringParallel ProgrammingComputer Architecture

Publications per year

2007–2010

3

Publications

3

Sketching stencils

Armando Solar-Lezama, Gilad Arnold, Liviu Tancau et al. · 2007 · 150 citations

Hardware Security, Reference Stencil, Engineering +14

Specifying and verifying sparse matrix codes

Gilad Arnold, Johannes Hölzl, Ali Sinan Köksal et al. · 2010 · 25 citations

Engineering, Verification, Automated Proof +16

Sketching stencils

Armando Solar-Lezama, Gilad Arnold, Liviu Tancau et al. · ACM SIGPLAN Notices · 2007 · 23 citations

Engineering, Compiler Technology, Computer Architecture +17

Rows per page

1–3 of 3