Reuben Olinsky

Rethinking the library OS from the top down

Donald E. Porter, Silas Boyd-Wickizer, Jon Howell, 2011, ASPLOS XVI.

Composing OS extensions safely and efficiently with Bascule

Reuben Olinsky, Galen C. Hunt, Jacob R. Lorch, 2013, EuroSys '13.

Staged allocation: a compositional technique for specifying and implementing procedure calling conventions

Reuben Olinsky, Norman Ramsey, Christian Lindig, 2006, POPL '06.

Staged Allocation : Engineering the Specification and Implementation of Procedure Calling Conventions

Reuben Olinsky, Norman Ramsey, Christian Lindig, 2004 .