Sarah Spall
Senior Software Engineer at Microsoft
Seattle, Washington, United States
Summary
🤩
Rockstar🎓
Top SchoolSarah Spall is a Senior Software Engineer with a PhD in Computer Science and 11 years of experience spanning compilers, language design, formal methods, and build system architecture. She blends practical systems work—currently on the HLSL compiler in Clang at Microsoft—with research-grade tools like symbolic execution, fuzzing, and interactive theorem provers (Coq/Agda) used to verify build and cryptographic components. Her PhD thesis produced Rattle, a forward build system with formally verified properties, reflecting a rare combination of production engineering and formal verification. Sarah has a track record of finding real vulnerabilities via KLEE, LibFuzzer, and static analysis and has implemented symbolic execution for Ghidra PCode, showing deep expertise at the intersection of security, compilers, and tooling.
11 years of coding experience
7 years of employment as a software developer
Doctor of Philosophy - PhD Computer Science, Doctor of Philosophy - PhD Computer Science at Indiana University BloomingtonThe University of Utah
Github Skills (42)
modular10
shader10
llvm10
toolchain10
compiler10
hlsl10
clang10
racket9
hosts9
code-golf9
scheme9
llvm-clang9
directx9
cpp8
bgfx8
Programming languages (8)
Github contributions (5)
spall/llvm-project
Sep 2024 - Apr 2025
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
Contributions:159 pushes, 27 branches in 7 months
spall/rattle
Apr 2019 - May 2022
Forward build system with speculation and caching
Contributions:117 pushes, 43 branches in 3 years 1 month
cachingspeculationbuild-systemforward
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.