Sotabase
Home
Researchers
Career
·
PhD Student
,
University of California, Berkeley
·
Postdoctoral Researcher
,
University of California, Berkeley
·
Professor
,
University of California, Berkeley
Publications
(8)
Katara: synthesizing CRDTs with verified lifting
Proc. ACM Program. Lang. · 2022
24
cited
Keep CALM and CRDT On
Proceedings of the VLDB Endowment · 2022
12
cited
A flexible type system for fearless concurrency
2022
Better Defunctionalization through Lambda Set Specialization
2023
Flo: A Semantic Foundation for Progressive Stream Processing
2024
Interactive Theorem Provers for Proof Education
2025
Invited Paper: Initial Steps Toward a Compiler for Distributed Programs
2023
Synthesizing CRDTs from Sequential Data Types with Verified Lifting
arXiv.org · 2022
Sotabase
Mae Milano | Researcher Profile | Sotabase | Sotabase