Stephen Sherratt
Software Engineer at Tarides
Sydney, New South Wales, Australia
Summary
🤩
Rockstar🎓
Top SchoolStephen Sherratt is a software engineer based in Sydney with 15 years of professional experience and eight years in full-time engineering roles, specializing in embedded systems and functional programming. He has worked on low-level, safety-critical projects—contributing to the formally verified seL4 microkernel and building user-level OS tooling at CSIRO Data61—as well as production infrastructure at Jane Street that automated and normalized financial reporting. Stephen also contributes to build tooling and language ecosystems, having improved OCaml's Dune build system and hardened WASM testing for Rust's rand library. Comfortable across hardware and software layers, he blends hands-on driver and assembly work with high-level automation and testing, and is noted for pragmatic tooling that smooths thorny integration and reproducibility problems.
15 years of coding experience
7 years of employment as a software developer
Bachelor of Science, Computer Science, Bachelor of Science, Computer Science at UNSW Australia
Stackoverflow
1reputation
0reached
0answers
0questions
Github Skills (20)
timers10
testing10
timer10
build-system10
microkernel10
ocaml10
build210
driver10
sys10
embedded10
blazor-webassembly10
webassembly10
rust10
sel410
javascript9
Programming languages (23)
Github contributions (5)
ocaml/dune
Aug 2022 - Jan 2023
A composable build system for OCaml.
Role in this project:
Back-end Developer
Back-end DeveloperContributions:2 releases, 778 reviews, 24 commits in 4 months
Contributions summary:Stephen primarily contributed to the build system of the Dune project by refactoring and extending the `foreign_rules` module, specifically related to handling include directories. Their work involved extracting and modifying arguments related to include directories, as well as adding support for including files within the include directories. They also added support for including raw object files, and renamed `foreign_objects` to `extra_objects`. These changes enhance the build system's capabilities.
infinibandlwtmulticoreocamldune
seL4/seL4
Jun 2015 - Oct 2021
The seL4 microkernel
Role in this project:Embedded Systems Engineer
Embedded Systems EngineerContributions:128 commits, 4 PRs, 6 comments in 6 years 5 months
Contributions summary:Stephen primarily contributed to the seL4 microkernel, fixing typos in comments and enhancing the Exynos timer driver. They also made changes related to the benchmark configuration, replacing the `CONFIG_BENCHMARK` option with `CONFIG_MAX_NUM_TRACE_POINTS` and adapting the code accordingly. Further contributions included adding support for multiple tracepoints, optimizing code, and making modifications to the syscalls.
microkernelsel4-microkernelsel4os
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.