Hi, I'm Shadaj

I explore the boundaries of programming

I'm a first-year PhD student co-advised by Alvin Cheung and Joe Hellerstein in the Sky Computing Lab at UC Berkeley, where I research programming languages and distributed systems. Most recently, I've developed program synthesis algorithms that can automatically create provably-correct CRDT designs, which enable state replication with low-latency and high-throughput. I'm grateful to be supported by an NSF Graduate Research Fellowship.

Previously, I received my BS in EE/CS at Berkeley, where I was fortunate to work with Koushik Sen on new approaches to compile-time metaprogramming and program synthesis for data science tasks. I've interned at Google Brain, Facebook, Apollo GraphQL, Khan Academy, Coursera, and Paya Labs, where I worked with GraphQL, Rust, React, and Scala.js to develop open-source libraries, education platforms, and large-scale infrastructure.

I host many open-source libraries and projects on GitHub, and have a channel on YouTube. I've presented a keynote at OSCON 2014 and at Scala Days (2012, 2013, 2014, 2015, 2016, 2017, 2018), GraphQL Summit, Scale By the Bay, and various other technical conferences. In high school, I was the Co-President of Lynbrook Robotics, where I led a competitive robotics team of over 100 students. I continue to be involved with the team, where I focus on introducing students to advanced control theory topics and software design principles.

Latest News

Jun 2022
Jan 2022
Attending CIDR 2022, and learning how to pitch programming languages research to the database community
Aug 2021
Started my PhD at UC Berkeley in the RISELab, working on the Hydro project under Alvin Cheung and Joe Hellerstein
Apr 2021
Received the EECS Major Citation award!

Publications

Katara: Synthesizing CRDTs with Verified Lifting

Shadaj Laddad, Conor Power, Mae Milano, Alvin Cheung, Joseph M. Hellerstein

OOPSLA 2022 (preprint)

VizSmith: Automated Visualization Synthesis by Mining Data-Science Notebooks

Rohan Bavishi, Shadaj Laddad, Hiroaki Yoshida, Mukul R. Prasad, Koushik Sen

ASE 2021 (IEEE, pdf)

Fluid Quotes: Metaprogramming across Abstraction Boundaries with Dependent Types

Shadaj Laddad and Koushik Sen

GPCE 2020 (ACM, pdf)

ScalaPy: Seamless Python Interoperability for Cross-Platform Scala Programs

Shadaj Laddad and Koushik Sen

Scala Symposium 2020 (ACM, pdf)

Fellowships and Awards