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