Structural temporal logic for mechanized program verification

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

PACMPL, Volume 9, Issue OOPSLA, 2025.

OOPSLA 2025, Singapore, October 2025. [abstract, paper, code]

CausalMesh: A Causal Cache for Stateful Serverless Computing

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

PVLDB Volume 17, Issue 13, 2024.

To be presented at VLDB 2025, London, UK, September 2025. [abstract, paper, code]

ACM SIGMOD Research Highlights Award [perspective by Phil Bernstein]

VLDB 2024 Best paper award nominee

Mako: Speculative Distributed Transactions with Geo-Replication

Weihai Shen, Yang Cui, Siddhartha Sen, Sebastian Angel, and Shuai Mu

OSDI 2025, Boston, MA, July 2025. [abstract, paper, code]

Oryx: Private detection of cycles in federated graphs

Ke Zhong and Sebastian Angel

PETS 2025, Washington, DC, July 2025. [abstract, preprint, 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]

Packet scheduling with optional client privacy

Andrew Beams, Sampath Kannan, and Sebastian Angel

CCS 2021, Virtual Conference, November 2021. [abstract, paper, code]

Mycelium: Large-Scale Distributed Graph Queries with Differential Privacy

Edo Roth, Karan Newatia, Yiping Ma, Ke Zhong, Sebastian Angel, and Andreas Haeberlen

SOSP 2021, Virtual Conference, October 2021. [abstract, paper, code]

Bringing Decentralized Search to Decentralized Services

Mingyu Li, Jinhao Zhu, Tianxu Zhang, Cheng Tan, Yubin Xia, Sebastian Angel, and Haibo Chen

OSDI 2021, Virtual Conference, July 2021. [abstract, paper]

Fault-tolerant and transactional stateful serverless workflows

Haoran Zhang, Adney Cardoza, Peter Baile Chen, Sebastian Angel, Vincent Liu

OSDI 2020, Banff, Canada, November 2020. [abstract, paper, extended report, code]

Understanding the Effect of Data Center Resource Disaggregation on Production DBMSs

Qizhen Zhang, Yifan Cai, Xinyi Chen, Sebastian Angel, Ang Chen, Vincent Liu, and Boon Thau Loo

VLDB 2020, Tokyo, Japan, August 2020. [abstract, paper]

Verifiable state machines: Proofs that untrusted services operate correctly

Srinath Setty, Sebastian Angel, and Jonathan Lee

ACM SIGOPS OSR, Volume 54, Issue 1, July 2020. [abstract, paper]

Disaggregation and the Application

Sebastian Angel, Mihir Nanavati, and Siddhartha Sen

HotCloud 2020, Boston, MA, July 2020. [abstract, paper, slides]

A filesystem for safely interacting with untrusted USB flash drives

Ke Zhong, Zhihao Jiang, Ke Ma, and Sebastian Angel

HotStorage 2020, Boston, MA, July 2020. [abstract, paper]

Private resource allocators and their applications

Sebastian Angel, Sampath Kannan, and Zachary Ratliff

S&P 2020, San Francisco, CA, May 2020. [abstract, paper, slides, code]

Rethinking data management systems for disaggregated data centers

Qizhen Zhang, Yifan Cai, Sebastian Angel, Ang Chen, Vincent Liu, and Boon Thau Loo

CIDR 2020, Amsterdam, Netherlands, January 2020. [abstract, paper]

Deferred Runtime Pipelining for contentious multicore software transactions

Shuai Mu, Sebastian Angel, and Dennis Shasha

EuroSys 2019, Dresden, Germany, March 2019. [abstract, paper, extended report, slides]

Proving the correct execution of concurrent services in zero-knowledge

Srinath Setty, Sebastian Angel, Trinabh Gupta, and Jonathan Lee

OSDI 2018, Carlsbad, CA, October 2018. [abstract, paper, extended report]

What's a little leakage between friends?

Sebastian Angel, David Lazar, and Ioanna Tzialla

WPES 2018, Toronto, Canada, October 2018. [abstract, paper, slides]

Unobservable communication over untrusted infrastructure

Sebastian Angel

Ph.D. Dissertation, The University of Texas at Austin, August 2018. [abstract, dissertation]

ACM SIGOPS Dennis M. Ritchie Doctoral Dissertation Award

Bert Kay Best Dissertation Award in Computer Science

PIR with compressed queries and amortized query processing

Sebastian Angel, Hao Chen, Kim Laine, and Srinath Setty

S&P 2018, San Francisco, CA, May 2018. [abstract, paper, slides, code]

Unobservable communication over fully untrusted infrastructure

Sebastian Angel and Srinath Setty

OSDI 2016, Savannah, GA, November 2016. [abstract, paper, extended report, slides, code]

Defending against malicious peripherals with Cinch

Sebastian Angel, Riad S. Wahby, Max Howald, Joshua B. Leners,
Michael Spilo, Zhen Sun, Andrew J. Blumberg, and Michael Walfish

USENIX Security 2016, Austin, TX, August 2016. [abstract, paper, slides, code]

End-to-end Performance Isolation through Virtual Datacenters

Sebastian Angel, Hitesh Ballani, Thomas Karagiannis, Greg O'Shea, and Eno Thereska

OSDI 2014, Broomfield, CO, October 2014. [abstract, paper, slides, code]

K-mulus: strategies for BLAST in the cloud

Christopher Hill, Carl Albach, Sebastian Angel, and Mihai Pop

PPAM 2013, Warsaw, Poland, September 2013. [abstract, paper, code]

Verifiable auctions for online ad exchanges

Sebastian Angel and Michael Walfish

SIGCOMM 2013, Hong Kong, China, August 2013. [abstract, paper, slides, code]

Prognostically relevant gene signatures of high-grade serous ovarian carcinoma

Verhaak et al.

Journal of Clinical Investigation, Volume 123, Issue 1, January 2013. [abstract, paper]