R. Bocchino, J. Levison, and M. Starch, FPP: A Modeling Language for F Prime, IEEE Aerospace 2022.

R. Bocchino, T. Canham, G. Watney, L. Reder, and J. Levison, F Prime: An Open-Source Framework for Small-Scale Flight Software Systems, SmallSat 2018.

R. Bocchino, E. Gamble, K. Gostelow, and R. Some. Spot: A Programming Language for Verified Flight Software, HILT 2014.

R. Bocchino, H. Mehnert, and J. Aldrich, High-Level Abstractions for Safe Parallelism, WoDet 2013

K. Naden, R. Bocchino, J. Aldrich, and K. Bierhoff. A Type System for Borrowing Permissions, POPL 2012.

R. Bocchino and V. Adve, Types, Regions, and Effects for Safe Programming with Object-Oriented Parallel Frameworks, ECOOP 2011.

R. Bocchino, S. Heumann, N. Honarmand, S. Adve, V. Adve, A. Welc, and T. Shpeisman, Safe Nondeterminism in a Deterministic-by-Default Parallel Language, POPL 2011.

R. Bocchino, V. Adve, D. Dig. S. Heumann, R. Komuravelli, J. Overbey, P. Simmons, H. Sung, and M. Vakilian, A Type and Effect System for Deterministic Parallel Java, OOPSLA 2009.

R. Bocchino, V. Adve, S. Adve, and M. Snir, Parallel Programming Must Be Deterministic by Default, HotPar 2009.

R. Bocchino, V. Adve, and B. Chamberlain, Software Transactional Memory for Large Scale Clusters, PPoPP 2008.

R. Bocchino, An Effect System and Language for Deterministic-by-Default Parallel Programming, Ph.D. Thesis, Univ. of Illinois at Urbana-Champaign, 2010.

This thesis received the John C. Reynolds Doctoral Dissertation Award from ACM SIGPLAN and the David J. Kuck Outstanding Thesis Award from the University of Illinois.

R. Bocchino, Alias Control for Deterministic Parallelism, in Dave Clarke, James Noble, and Tobias Wrigstad, editors, Aliasing in Object-Oriented Programming, Springer 2013.