Login / Signup
Robert Bocchino
Publication Activity (10 Years)
Years Active: 2011-2022
Publications (10 Years): 2
Top Topics
Sequence Diagrams
Programming Language
Fastest Growing
Software Engineering
Top Venues
HILT
ISoLA
CoRR
</>
Publications
</>
Robert Bocchino
,
Arne Nordmann
,
Allison Thackston
,
Andreas Angerer
,
Federico Ciccozzi
,
Ivano Malavolta
,
Andreas Wortmann
Industry Best Practices in Robotics Software Engineering.
CoRR
(2022)
Klaus Havelund
,
Robert Bocchino
Integrated Modeling and Development of Component-Based Embedded Software in Scala.
ISoLA
(2021)
Robert Bocchino
,
Nicholas Matsakis
,
S. Tucker Taft
,
Brian Larson
,
Ed Seidewitz
Panel summary: finding safety in numbers: new languages for safe multicore programming and modeling.
HILT
(2014)
Karl Naden
,
Robert Bocchino
,
Jonathan Aldrich
,
Kevin Bierhoff
A type system for borrowing permissions.
POPL
(2012)
S. Tucker Taft
,
Joshua J. Bloch
,
Robert Bocchino
,
Sebastian Burckhardt
,
Hassan Chafi
,
Russ Cox
,
Benedict R. Gaster
,
Guy L. Steele Jr.
,
David M. Ungar
Multicore, manycore, and cloud computing: is a new programming language paradigm required?
OOPSLA Companion
(2011)
Jonathan Aldrich
,
Robert Bocchino
,
Ronald Garcia
,
Mark Hahnenberg
,
Manuel Mohr
,
Karl Naden
,
Darpan Saini
,
Sven Stork
,
Joshua Sunshine
,
Éric Tanter
,
Roger Wolff
Plaid: a permission-based programming language.
OOPSLA Companion
(2011)