Justine Stephenson
Senior Software Development Engineer at Microsoft Research
Seattle, Washington, United States
Summary
👤
SeniorJustine Stephenson is a Senior Software Development Engineer at Microsoft Research with 12 years of experience building distributed systems, game servers, garbage collectors, and kernel-bypass networking. She pioneered an elastic, distributed actor platform for an MMO in 2001 and invented the first parallelized, incremental garbage collector that enables low-latency collection in multithreaded, soft real-time systems. At MSR she has contributed to Orleans, Ironfleet, VOLT, and now the Demikernel project, implementing high-performance libOS components and a Rust TCP/IP stack for user-space networking. Her background uniquely blends production game engineering (Erlang, C/C++, Python, C#) with formal verification and systems research, enabling practical, auditable designs. Based in Seattle, she brings a track record of tech transfer from research to product teams and a knack for stabilizing complex proofs by unexpected engineering choices. Colleagues describe her as both deeply technical and unusually attuned to serendipitous pattern recognition.
12 years of coding experience
15 years of employment as a software developer
English, Portuguese
Github Skills (47)
apl10
c-language10
verification10
wolfram-language10
smt10
programming-language9
tlaplus9
proof-assistant9
agda9
dependent-types9
lambda-calculus9
ocaml9
z39
coq9
idris9
Programming languages (6)
Github contributions (5)
fmrl/ramalloc
Oct 2013 - Nov 2018
Contributions:12 commits, 6 pushes, 1 branch in 5 years 1 month
fmrl/flutterbye
May 2015 - Jul 2018
Contributions:322 pushes, 107 branches, 3 tags in 3 years 3 months
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.