Robert Bocchino

According to our database, Robert Bocchino authored at least 7 papers between 2011 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Industry Best Practices in Robotics Software Engineering.

Robert Bocchino, Arne Nordmann, Allison Thackston, Andreas Angerer, Federico Ciccozzi, Ivano Malavolta, Andreas Wortmann

CoRR, 2022

2021

Integrated Modeling and Development of Component-Based Embedded Software in Scala.

Klaus Havelund, Robert Bocchino

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation, 2021

2014

Panel summary: finding safety in numbers: new languages for safe multicore programming and modeling.

Robert Bocchino, Nicholas D. Matsakis, S. Tucker Taft, Brian Larson, Ed Seidewitz

Proceedings of the 2014 ACM SIGAda annual conference on High integrity language technology, 2014

Spot: a programming language for verified flight software.

Robert L. Bocchino, Edward B. Gamble, Kim P. Gostelow, Raphael R. Some

Proceedings of the 2014 ACM SIGAda annual conference on High integrity language technology, 2014

2012

A type system for borrowing permissions.

Karl Naden, Robert Bocchino, Jonathan Aldrich, Kevin Bierhoff

Proceedings of the 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2012

2011

Multicore, manycore, and cloud computing: is a new programming language paradigm required?

S. Tucker Taft, Joshua J. Bloch, Robert Bocchino, Sebastian Burckhardt, Hassan Chafi, Russ Cox, Benedict R. Gaster, Guy L. Steele Jr., David M. Ungar

Proceedings of the Companion to the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

Plaid: a permission-based programming language.

Jonathan Aldrich, Robert Bocchino, Ronald Garcia, Mark Hahnenberg, Manuel Mohr, Karl Naden, Darpan Saini, Sven Stork, Joshua Sunshine, Éric Tanter, Roger Wolff

Proceedings of the Companion to the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011