CausalMesh: A Causal Cache for Stateful Serverless Computing

Haoran Zhang, Shuai Mu, Sebastian Angel, and Vincent Liu

PVLDB Volume 17, Issue 13, 2024.

VLDB 2025, London, UK, September 2025. [abstract, paper, code]

Best paper award nominee

Selected for ACM SIGMOD Research Highlights

Oryx: Private detection of cycles in federated graphs

Ke Zhong and Sebastian Angel

PETS 2025, Washington, DC, July 2025. [abstract, paper, code]

Structural temporal logic for mechanized program verification

Eleftherios Ioannidis, Yannick Zakowski, Steve Zdancewic, and Sebastian Angel

arXiv, October 2024. [abstract, paper, code]

Reef: Fast Succinct Non-Interactive Zero-Knowledge Regex Proofs

Sebastian Angel, Eleftherios Ioannidis, Elizabeth Margolin, Srinath Setty, and Jess Woods

USENIX Security 2024, Philadelphia, PA, August 2024. [abstract, paper, code]

MuCache: A General Framework for Caching in Microservice Graphs

Haoran Zhang, Konstantinos Kallas, Spyros Pavlatos, Rajeev Alur, Sebastian Angel, and Vincent Liu

NSDI 2024, Santa Clara, CA, April 2024. [abstract, paper, code]

On a Foundation Model for Operating Systems

Divyanshu Saxena, Nihal Sharma, Donghyun Kim, Rohit Dwivedula, Jiayi Chen, Chenxi Yang, Sriram Ravula, Zichao Hu, Aditya Akella, Sebastian Angel, Joydeep Biswas, Swarat Chaudhuri, Isil Dillig, Alex Dimakis, Brighten P Godfrey, Daehyeok Kim, Christopher Rossbach, and Gang Wang

MLSys@NeurIPS, New Orleans, LA, December 2023. [abstract, paper]

Nimble: Rollback Protection for Confidential Cloud Services

Sebastian Angel, Aditya Basu, Weidong Cui, Trent Jaeger, Stella Lau, Srinath Setty, and Sudheesh Singanamalla

OSDI 2023, Boston, MA, July 2023. [abstract, paper, extended report, code]

Flamingo: Multi-Round Single-Server Secure Aggregation with Applications to Private Federated Learning

Yiping Ma, Jess Woods, Sebastian Angel, Antigoni Polychroniadou, and Tal Rabin

S&P 2023, San Francisco, CA, May 2023. [abstract, paper, extended report, code]

Addax: A fast, private, and accountable ad exchange infrastructure

Ke Zhong, Yiping Ma, Yifeng Mao, and Sebastian Angel

NSDI 2023, Boston, MA, April 2023. [abstract, paper, code]

Executing Microservice Applications on Serverless, Correctly

Konstantinos Kallas, Haoran Zhang, Rajeev Alur, Sebastian Angel, and Vincent Liu

POPL 2023, Boston, MA, January 2023. [abstract, paper, code]

Ibex: Privacy-preserving ad conversion tracking and bidding

Ke Zhong, Yiping Ma, and Sebastian Angel

CCS 2022, Los Angeles, CA, November 2022. [abstract, paper, extended report, code]

Efficient Representation of Numerical Optimization Problems for SNARKs

Sebastian Angel, Andrew J. Blumberg, Eleftherios Ioannidis, and Jess Woods

USENIX Security 2022, Boston, MA, August 2022. [abstract, paper, extended report, code]

Incremental Offline/Online PIR

Yiping Ma, Ke Zhong, Tal Rabin, and Sebastian Angel

USENIX Security 2022, Boston, MA, August 2022. [abstract, paper, extended report, code]

Optimizing Data-intensive Systems in Disaggregated Data Centers with TELEPORT

Qizhen Zhang, Xinyi Chen, Sidharth Sankhe, Zhilei Zheng, Ke Zhong,
Sebastian Angel, Ang Chen, Vincent Liu, and Boon Thau Loo

SIGMOD 2022, Philadelphia, PA, June 2022. [abstract, paper]

Rolis: a software approach to efficiently replicating multi-core transactions

Weihai Shen, Ansh Khanna, Sebastian Angel, Siddhartha Sen, and Shuai Mu

EuroSys 2022, Rennes, France, April 2022. [abstract, paper, code]