1
Publications
23
Citations
1
H-Index
2022
Active since
Affiliations
University of California, Berkeley(Current)
Shadaj Laddad is an author at University of California, Berkeley specializing in formal methods, computer engineering, and formal specification.
Top concepts
EngineeringVerificationFormal MethodsSoftware DesignComputer ScienceProgram AnalysisSoftware AnalysisAutomated ReasoningFormal VerificationSystems Engineering
Publications per year
2022–2022
1
1
Katara: synthesizing CRDTs with verified lifting
Shadaj Laddad, Conor Power, Mae Milano et al. · Proceedings of the ACM on Programming Languages · 2022 · 23 citations · Full text
Rows per page
1–1 of 1