Sarah Spall

According to our database, Sarah Spall authored at least 6 papers between 2015 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Forward build systems, formally.

Sarah Spall, Neil Mitchell, Sam Tobin-Hochstadt

Proceedings of the CPP '22: 11th ACM SIGPLAN International Conference on Certified Programs and Proofs, Philadelphia, PA, USA, January 17, 2022

2020

Build scripts with perfect dependencies.

Sarah Spall, Neil Mitchell, Sam Tobin-Hochstadt

Proc. ACM Program. Lang., 2020

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

LXDs: Towards Isolation of Kernel Subsystems.

Vikram Narayanan, Abhiram Balasubramanian, Charlie Jacobsen, Sarah Spall, Scotty Bauer, Michael Quigley, Aftab Hussain, Abdullah Younis, Junjie Shen, Moinak Bhattacharyya, Anton Burtsev

Proceedings of the 2019 USENIX Annual Technical Conference, 2019

2017

Compiling Tree Transforms to Operate on Packed Representations.

Michael Vollmer, Sarah Spall, Buddhika Chamith, Laith Sakka, Chaitanya Koparkar, Milind Kulkarni, Sam Tobin-Hochstadt, Ryan Newton

Proceedings of the 31st European Conference on Object-Oriented Programming, 2017

2015

Lightweight Capability Domains: Towards Decomposing the Linux Kernel.

Charles Jacobsen, Muktesh Khole, Sarah Spall, Scotty Bauer, Anton Burtsev

ACM SIGOPS Oper. Syst. Rev., 2015