Staged allocation: a compositional technique for specifying and implementing procedure calling conventions. - Reuben Olinsky; Christian Lindig; Norman Ramsey (POPL, 2006)

Rethinking the library OS from the top down. - Donald E. Porter; Silas Boyd-Wickizer; Jon Howell; Reuben Olinsky; Galen C. Hunt (ASPLOS, 2011)

Composing OS extensions safely and efficiently with Bascule. - Andrew Baumann; Dongyoon Lee; Pedro Fonseca 001; Lisa Glendenning; Jacob R. Lorch; Barry Bond; Reuben Olinsky; Galen C. Hunt (EuroSys, 2013)