Darren Gehring
Software Engineer Mgr at Microsoft
Carnation, Washington, United States
Summary
🤩
Rockstar🎓
Top SchoolDarren Gehring is a software engineering manager at Microsoft with a decade of SQL Server experience and a long tenure in Microsoft Research Advanced Development / Central Engineering where he turns research into production code, product transfers, or prototypes. He combines hands-on back-end development and DevOps automation—contributing to projects like the proof-oriented FStar language and Microsoft’s Garnet remote cache—focused on extraction tooling, CI/CD, and benchmark-driven release pipelines. Darren excels at infrastructure for development teams, streamlining build/release processes, resolving platform subtleties (like case-sensitive pipeline issues), and automating performance testing. Based in Carnation, Washington, he brings a pragmatic engineering mindset shaped by a Computer Science degree from the University of Idaho and decades at Microsoft. Colleagues rely on him to bridge researchers’ ideas and ship-ready implementations while keeping developer experience and reliability front and center. His attention to both low-level tooling details and large-scale system behavior makes him effective at turning exploratory research into maintainable product code.
9 years of coding experience
Bachelors Science, Computer Science, Bachelors Science, Computer Science at University of Idaho
Sign Language
Stackoverflow
21reputation
161reached
0answers
3questions
Github Skills (28)
nuget10
programming-language10
dependent-types10
fstar10
performance-testing10
automation10
autobuild10
ci-cd-pipeline10
build-automation10
automated-build10
azure-pipelines10
theorem-proving10
powershell10
automations10
release-automation10
Programming languages (4)
Github contributions (5)
microsoft/garnet
Mar 2024 - Apr 2025
Garnet is a remote cache-store from Microsoft Research that offers strong performance (throughput and latency), scalability, storage, recovery, cluster sharding, key migration, and replication features. Garnet can work with existing Redis clients.
Role in this project:
DevOps Engineer & Automation Engineer
DevOps Engineer & Automation EngineerContributions:66 releases, 62 reviews, 93 PRs in 1 year
Contributions summary:Darren primarily focused on automating the build, release, and performance testing pipelines for the Garnet project. Their contributions include creating PowerShell scripts for building and publishing binaries, modifying the CI/CD pipeline (Azure Pipelines) to incorporate NuGet package creation and publishing, and implementing benchmark performance testing using BDN (BenchmarkDotNet). The user also addressed build issues related to the inclusion of Garnet.Worker and resolved case-sensitive naming problems in the Azure DevOps pipelines, further streamlining the release process.
cachecache-storageclusterconcurrenthash-table
FStarLang/FStar
Jan 2017 - May 2017
A Proof-oriented Programming Language
Role in this project:Back-end Developer
Back-end DeveloperContributions:144 commits, 5 PRs, 66 pushes in 4 months
Contributions summary:Darren's contributions involve merging branches and modifying code related to the FStar extraction process. The user is focused on changes within the `src/extraction/FStar.Extraction.ML.Term.fs` file, which includes modifying code related to error reporting and type checking operations for the FStar programming language. The user made changes in `src/ocaml-output/FStar_Options.ml`, and `src/ocaml-output/FStar_Extraction_Kremlin.ml` which involved setting up and configuring specific extraction features.
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.