Christopher Grant Jones

Statistics

Publications

Citations

286

H-Index

Active since

2008

Affiliations

University of California, Berkeley(Current)

Berkeley College

Christopher Grant Jones is an author at University of California, Berkeley specializing in formal verification, parallel computing, and formal methods.

Top concepts

EngineeringData ScienceData ModelingFormal MethodsData ManagementSoftware DesignSystem SoftwareComputer ScienceProgram AnalysisSoftware Analysis

Publications per year

2008–2009

Publications

Sketching concurrent data structures

Armando Solar-Lezama, Christopher Grant Jones, Rastislav Bodík · 2008 · 194 citations

Engineering, Software Engineering, Computer-aided Design +24

Parallelizing the web browser

Christopher Grant Jones, Rose Liu, Leo A. Meyerovich et al. · 2009 · 65 citations

Sketching concurrent data structures

Armando Solar-Lezama, Christopher Grant Jones, Rastislav Bodík · ACM SIGPLAN Notices · 2008 · 27 citations

Engineering, Compiler Technology, Software Engineering +25

1–3 of 3