M.S.
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]
5th Year M.S.
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]