Master's Theses & Technical Reports - Joseph M. Hellerstein
5th Year M.S.
Emmy: The Search for Distributed Robustness through Algebraic Properties via Fuzz Testing and Bounded Model Checking
Nathaniel Macasaet [2026]
Fast Low-Overhead Logging Extending Time
Anusha Dandamudi [2021]
Towards Achieving Stronger Isolation in Serverless Computing
Saurav Chhatrapati [2021]
Low Overhead Materialization with Flor
Eric Liu [2020]
Supporting Asynchronous Interactive Visualization for Exploratory Data Analysis
Larry Xu [2017]
M.S.
The Free Termination Property of Queries Over Time
Conor Power [2025]
Katara: Synthesizing CRDTs with Verified Lifting
Shadaj Laddad [2022]
Anna: A KVS For Any Scale
Chenggang Wu [2019]
ReStream: Accelerating Backtesting and Stream Replay with Serial-Equivalent Parallel Processing
Johann Schleier-Smith [2016]
Compact Implementation of Distributed Inference Algorithms for Network
Ashima Atul [2008]