Shadaj Laddad
Senior Applied Scientist at Amazon Web Services (AWS)
San Francisco, California, United States
Summary
🤩
Rockstar🎓
Top SchoolShadaj Laddad is a Senior Applied Scientist in San Francisco with 11 years of experience building provably correct, high-performance distributed systems and language tooling. He led research and development of Hydro, a Rust framework for enforcing distributed correctness, and transitioned that work from a Berkeley PhD project into a strategic AWS initiative. Deeply versed in Rust, Scala, WASM, and cross-language bindings, he has contributed to prominent open-source projects like ICU4X and Magnolia and built tooling such as Diplomat to simplify safe interop. His background spans both research and production: compiler backends, verification for agent architectures, and pragmatic infrastructure work to stabilize native and cross-compiled runtimes. Colleagues know him for turning formal verification ideas into usable developer tools and shipping robust build/test infrastructure across complex ecosystems.
11 years of coding experience
5 years of employment as a software developer
Doctor of Philosophy - PhD Computer Science - Programming Languages and Distributed Systems, Doctor of Philosophy - PhD Computer Science - Programming Languages and Distributed Systems at University of California, BerkeleyMiller Middle SchoolHigh School, High School at Lynbrook High School
Stackoverflow
13reputation
321reached
0answers
1question
Github Skills (41)
caching10
javascript10
typeclass10
crossbuild10
scala-native10
llvm10
testing10
typescript10
test-framework10
build-system10
wpgraphql10
cffi10
scala10
compiler-compiler10
apollo-client10
Programming languages (19)
Github contributions (5)
scala-native/scala-native
Feb 2018 - Jul 2022
Your favorite language gets closer to bare metal.
Role in this project:
Back-end Developer
Back-end DeveloperContributions:18 reviews, 6 commits, 14 PRs in 4 years 5 months
Contributions summary:Shadaj primarily focused on improving the stability and functionality of the Scala Native project. Their contributions included fixing a socket-related crash, ensuring consistency with JVM hashcodes for case classes, and bundling the LLVM libunwind library. They also made significant infrastructure contributions by integrating unit tests within Docker containers and updating the libunwind library. This suggests a focus on both core functionality and build/test processes.
scala-nativebare-metalmetalnativecompiler
softwaremill/magnolia
Nov 2017 - Jun 2018
Easy, fast, transparent generic derivation of typeclass instances
Role in this project:Back-end Developer
Back-end DeveloperContributions:9 commits, 2 PRs, 2 comments in 7 months
Contributions summary:Shadaj primarily contributed to the `magnolia` library, which focuses on generic derivation of typeclass instances in Scala. Their work involved simplifying logic, restoring functionality for case classes, and adding unit tests. They also integrated a Shapeless feature to improve the handling of companion objects and implemented fallback mechanisms for cases where derivation is not directly possible.
type-safetyimplicit-searchtypeclassestypeclassgeneric-derivation
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.