Sarah Spall

Publication Activity (10 Years)

Years Active: 2015-2022
Publications (10 Years): 7

Top Topics

Dependency Analysis

Dependency Graph

Attribute Dependencies

Top Venues

Proc. ACM Program. Lang.

USENIX Annual Technical Conference

Publications

Sarah Spall, Neil Mitchell, Sam Tobin-Hochstadt
Forward build systems, formally. CPP (2022)
Sarah Spall, Neil Mitchell, Sam Tobin-Hochstadt
Forward Build Systems, Formally. CoRR (2022)
Sarah Spall, Neil Mitchell, Sam Tobin-Hochstadt
Build Scripts with Perfect Dependencies. CoRR (2020)
Sarah Spall, Neil Mitchell, Sam Tobin-Hochstadt
Build scripts with perfect dependencies. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
Vikram Narayanan, Abhiram Balasubramanian, Charlie Jacobsen, Sarah Spall, Scotty Bauer, Michael Quigley, Aftab Hussain, Abdullah Younis, Junjie Shen, Moinak Bhattacharyya, Anton Burtsev
LXDs: Towards Isolation of Kernel Subsystems. USENIX Annual Technical Conference (2019)
Matthew Flatt, Caner Derici, R. Kent Dybvig, Andrew W. Keep, Gustavo E. Massaccesi, Sarah Spall, Sam Tobin-Hochstadt, Jon Zeppieri
Rebuilding racket on chez scheme (experience report). Proc. ACM Program. Lang. 3 (ICFP) (2019)
Michael Vollmer, Sarah Spall, Buddhika Chamith, Laith Sakka, Chaitanya Koparkar, Milind Kulkarni, Sam Tobin-Hochstadt, Ryan Newton
Compiling Tree Transforms to Operate on Packed Representations. ECOOP (2017)
Charles Jacobsen, Muktesh Khole, Sarah Spall, Scotty Bauer, Anton Burtsev
Lightweight Capability Domains: Towards Decomposing the Linux Kernel. ACM SIGOPS Oper. Syst. Rev. 49 (2) (2015)
Charles Jacobsen, Muktesh Khole, Sarah Spall, Scotty Bauer, Anton Burtsev
Lightweight capability domains: towards decomposing the Linux kernel. PLOS@SOSP (2015)