Lightweight Capability Domains: Towards Decomposing the Linux Kernel. - Charles Jacobsen; Muktesh Khole; Sarah Spall; Scotty Bauer; Anton Burtsev (ACM SIGOPS Oper. Syst. Rev., 2015)

Compiling Tree Transforms to Operate on Packed Representations. - Michael Vollmer 003; Sarah Spall; Buddhika Chamith; Laith Sakka; Chaitanya Koparkar; Milind Kulkarni 001; Sam Tobin-Hochstadt; Ryan Newton (ECOOP, 2017)

LXDs: Towards Isolation of Kernel Subsystems. - Vikram Narayanan; Abhiram Balasubramanian; Charlie Jacobsen; Sarah Spall; Scotty Bauer; Michael Quigley; Aftab Hussain 001; Abdullah Younis; Junjie Shen 001; Moinak Bhattacharyya; Anton Burtsev (USENIX ATC, 2019)

Rebuilding racket on chez scheme (experience report). - Matthew Flatt; Caner Derici; R. Kent Dybvig; Andrew W. Keep; Gustavo E. Massaccesi; Sarah Spall; Sam Tobin-Hochstadt; Jon Zeppieri (Proc. ACM Program. Lang., 2019)

Build scripts with perfect dependencies. - Sarah Spall; Neil Mitchell; Sam Tobin-Hochstadt (Proc. ACM Program. Lang., 2020)

Forward build systems, formally. - Sarah Spall; Neil Mitchell; Sam Tobin-Hochstadt (CPP, 2022)