Justine Stephenson
Computer Scientist at Microsoft
Redmond, Washington, United States
Summary
🤩
RockstarJustine Stephenson is a computer scientist at Microsoft Research with 11 years of experience building language tooling, compilers, and high-performance system software. She has contributed core features and developer-experience improvements to verification and proof-oriented languages like F* and Dafny, and helped modernize build systems and RDMA/DPDK integrations for Demikernel’s kernel-bypass LibOS work. Based in Redmond, she blends deep backend and systems engineering with language design sensibilities, routinely tackling dependency, build automation, and interactive-mode UX challenges. Known for thoughtful, pragmatic fixes that improve tooling for other engineers, she pairs research environments with production-grade contributions. She is also an unapologetic feminist and gender non-conforming engineer who brings a strong, personal perspective to collaborative open-source work.
11 years of coding experience
Github Skills (24)
programming-language10
rdma10
scripting10
compiler-development10
linux10
verification10
bash10
dafny10
fstar10
fs10
script10
language-design10
f10
build-automation10
dpdk10
Programming languages (12)
Github contributions (5)
microsoft/demikernel
Oct 2018 - Apr 2020
Kernel-Bypass LibOS Architecture
Role in this project:
Backend & System Engineer
Backend & System EngineerContributions:655 commits, 5 pushes in 1 year 5 months
Contributions summary:Justine primarily contributed to the build and setup scripts for the `demikernel` project, focusing on integrating third-party libraries like `mtcp` and `spdk`. They added scripts to demonstrate building the `dpdk` dependency and re-integrated and contributed code related to RDMA. They made significant changes to the build system and resolved issues encountered with a fresh repository, indicating experience with build automation and dependency management in a kernel-bypass environment.
spdkkernellinuxdpdkbypass
FStarLang/FStar
Oct 2015 - May 2016
A Proof-oriented Programming Language
Role in this project:Back-end Developer & Language Designer
Back-end Developer & Language DesignerContributions:150 commits, 9 PRs, 74 pushes in 7 months
Contributions summary:Justine primarily contributed to the F* language project by implementing core language features and improving its tooling. They added a workaround for NuGet package restore issues and incorporated support for transitive dependencies through recursive parsing of build configuration directives. Additionally, the user made several enhancements to the interactive mode by specifying session names and ensuring auto-dependency discovery functions correctly, demonstrating a focus on improving the developer experience.
homotopy-type-theorycoq-librarytype-theorysat-solvercompiler
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.