Concepedia

Robert L. Bocchino

RL

16

Publications

1.4K

Citations

15

H-Index

2006

Active since

Affiliations

University of Illinois Urbana-Champaign(Current)

Carnegie Mellon University

Two Sigma Investments (United States)

Adobe Systems (United States)

Intel (United States)

Robert L. Bocchino is an author at University of Illinois Urbana-Champaign specializing in engineering, computer science, and software analysis.

Top concepts

EngineeringComputer ScienceProgram AnalysisSoftware AnalysisParallel ProgrammingFormal MethodsFormal VerificationParallel ComputingSystem SoftwareComputer Engineering

Publications per year

2006–2021

16

Publications

16

A type and effect system for deterministic parallel Java

Robert L. Bocchino, Vikram Adve, Danny Dig et al. · ACM SIGPLAN Notices · 2009 · 296 citations

Engineering, Compiler Technology, Computer Architecture +18

A type and effect system for deterministic parallel Java

Robert L. Bocchino, Vikram Adve, Danny Dig et al. · 2009 · 261 citations

Engineering, Compiler Technology, Computer Architecture +18

Parallel Programming Must Be Deterministic by Default

Robert L. Bocchino, Vikram Adve, Sarita V. Adve et al. · Illinois Digital Environment for Access to Learning and Scholarship (University of Illinois at Urbana-Champaign) · 2009 · 171 citations · Full text

Software transactional memory for large scale clusters

Robert L. Bocchino, Vikram Adve, Bradford L. Chamberlain · 2008 · 142 citations

Cluster Computing, Engineering, Computer Architecture +19

Safe nondeterminism in a deterministic-by-default parallel language

Robert L. Bocchino, Stephen Heumann, Nima Honarmand et al. · ACM SIGPLAN Notices · 2011 · 73 citations

Deterministic Parallel, Engineering, Strong Safety Guarantees +16

Rows per page

1–5 of 16