Sean Stangl
Principal Software Engineer at ServiceNow
Boulder, Colorado, United States
Summary
🤩
Rockstar🎓
Top SchoolSean Stangl is a Principal Software Engineer with 17 years of experience, based in Boulder, Colorado, who specializes in compilers, Web performance, and full-stack systems. He spent nearly a decade driving Firefox's JavaScript engine compilers, gaining deep expertise in squeezing maximum performance from web platforms and writing clear, correct, high-performance code. More recently he’s contributed to major open-source projects like Cranelift and Wasmtime—working on low-level code generation and Wasm control-flow and optimizations—and improved tooling in the Rust ecosystem via Cargo. Sean is comfortable leading small teams, designing parallel and backend systems, and translating complex compiler internals into robust, maintainable implementations. An interesting detail: he blends production compiler engineering with practical product work at startups (EraDB) and enterprise (ServiceNow), showing both research-level depth and delivery-focused leadership.
17 years of coding experience
10 years of employment as a software developer
Bachelor's degree Computer Science, Bachelor's degree Computer Science at Carnegie Mellon University
Github Skills (18)
cargo10
package-manager-tool10
code-generation10
compiler-design10
compiler-optimization10
blazor-webassembly10
webassembly10
package-manager10
rust10
cran10
testing9
rust-wasm9
aot9
jit9
cli8
Programming languages (14)
Github contributions (5)
bytecodealliance/cranelift
Jul 2019 - Jan 2020
Cranelift code generator
Role in this project:
Back-end Developer
Back-end DeveloperContributions:19 commits, 45 PRs, 25 pushes in 6 months
Contributions summary:Sean primarily contributed to the Cranelift code generator project by implementing and refining features related to basic block management and verification. Their work included enabling basic block checks through feature flags, generating basic blocks for Wasm control flow instructions, and adding a pass to the branch relaxation phase for folding redundant jumps. Further contributions involved adding comments and improving error messages within the frontend code.
craneliftpythoncode-generator
bytecodealliance/wasmtime
Jun 2019 - Jan 2020
A lightweight WebAssembly runtime that is fast, secure, and standards-compliant
Role in this project:Back-end Developer
Back-end DeveloperContributions:20 commits, 3 issues in 7 months
Contributions summary:Sean's contributions primarily focus on enhancing the Cranelift code generator, a core component of the WebAssembly runtime. Their work includes refactoring comments for clarity, enabling basic block checks via feature flags, and verifying basic block validity within the function builder. They also implemented generation for basic blocks in WebAssembly constructs like `br_if` and `if..then..else`, along with improving error messages and optimizing branch relaxation. This suggests a deep understanding of the internal workings of a compiler and the WebAssembly specification.
securejitcraneliftrustruntime
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.