Robert L. Bocchino - Concepedia

Author

Robert L. Bocchino

University of Illinois Urbana-Champaign

Also Known As

Bocchino, Robert, Bocchino, Robert L., Robert Bocchino, Robert L Bocchino, Robert L. Bocchino

Publications

1.5K

Citations

H-Index

Concepts

All Affiliations

University of Illinois Urbana-Champaign Carnegie Mellon University Two Sigma Investments (United States)Adobe Systems (United States)Intel (United States)

About

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

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	12	12	1.1K
2	Computer Science	12	12	1.1K
3	Computer Engineering	6	6	805
4	Natural Sciences	1	1	47
5	Systems Engineering	1	1	28

Robert L. Bocchino

Publications

1.4K

Citations

H-Index

Page 1

	Year	Citations
A type and effect system for deterministic parallel Java Robert L. Bocchino, Vikram Adve, Danny Dig, ACM SIGPLAN Notices EngineeringCompiler TechnologyComputer ArchitectureSoftware EngineeringSoftware Analysis	2009	296
A type and effect system for deterministic parallel Java Robert L. Bocchino, Vikram Adve, Danny Dig, EngineeringCompiler TechnologyComputer ArchitectureSoftware EngineeringSoftware Analysis	2009	261
Parallel Programming Must Be Deterministic by Default Robert L. Bocchino, Vikram Adve, Sarita V. Adve, Illinois Digital Environment for Access to Learning and Scholarship (University of Illinois at Urbana-Champaign)	2009	171
Software transactional memory for large scale clusters Robert L. Bocchino, Vikram Adve, Bradford L. Chamberlain Cluster ComputingEngineeringComputer ArchitectureTransactional SystemParallel Storage	2008	142
Safe nondeterminism in a deterministic-by-default parallel language Robert L. Bocchino, Stephen Heumann, Nima Honarmand, ACM SIGPLAN Notices Deterministic ParallelEngineeringStrong Safety GuaranteesComputational ComplexityConcurrent System	2011	73
Safe nondeterminism in a deterministic-by-default parallel language Robert L. Bocchino, Stephen Heumann, Nima Honarmand, Deterministic ParallelEngineeringStrong Safety GuaranteesComputational ComplexityConcurrent System	2011	65
A type system for borrowing permissions Karl Naden, Robert L. Bocchino, Jonathan Aldrich, ACM SIGPLAN Notices EngineeringInformation SecurityVerificationSoftware AnalysisFormal Verification	2012	54
Parallel SAH k-D tree construction Byn Choi, Rakesh Komuravelli, Victor Lu, High Performance Graphics Mathematical ProgrammingEngineeringComputer Graphic TechniqueComputer ArchitectureComputer-aided Design	2010	47
F Prime: An Open-Source Framework for Small-Scale Flight Software Systems Robert L. Bocchino, Timothy Canham, Garth Watney, Digital Commons - USU (Utah State University)	2018	44
A type system for borrowing permissions Karl Naden, Robert L. Bocchino, Jonathan Aldrich, EngineeringInformation SecurityVerificationSoftware AnalysisFormal Verification	2012	43

Page 1