• Sign in
  • Sign up
conf.researchr.org / Shadaj Laddad
  • ASE 2021 profile
  • PLDI 2023 profile
  • PLDI 2024 profile
  • POPL 2025 profile
  • SPLASH 2020 profile
  • SPLASH 2022 profile
Shadaj Laddad

Registered user since Sat 6 Jun 2020

Name:Shadaj Laddad
Country:United States
Affiliation:University of California at Berkeley
Personal website: https://www.shadaj.me
X (Twitter): https://x.com/ShadajL
GitHub: https://github.com/shadaj

Contributions

2025

POPL

  • Author of Flo: a Semantic Foundation for Progressive Stream Processing within the POPL-track

Dafny

  • Author of Performant, Readable and Interoperable Rust from Dafny within the Dafny 2025-track

2024

Choreographic Programming

  • Author of Suki: Choreographed Distributed Dataflow in Rust within the Choreographic Programming 2024-track

EGRAPHS

  • Author of Towards Relational Contextual Equality Saturation within the EGRAPHS 2024-track

2023

EGRAPHS

  • Author of Optimizing Stateful Dataflow with Local Rewrites within the EGRAPHS 2023-track

2022

SPLASH

  • Author of Katara: Synthesizing CRDTs with Verified Lifting within the Posters-track
  • Author of Katara: Synthesizing CRDTs with Verified Lifting within the OOPSLA-track

2021

ASE

  • Author of VizSmith: Automated Visualization Synthesis by Mining Data-Science Notebooks within the Research Papers-track

2020

GPCE

  • Author of Fluid Quotes: Metaprogramming across Abstraction Boundaries with Dependent Types within the GPCE-track

Scala

  • Author of ScalaPy: Seamless Python Interoperability for Cross-Platform Scala Programs within the Scala-track
Share
xTue 28 Oct 03:05
using conf.researchr.org (v1.72.1)
Support page
Sign Up