Sebastian Angel

Sebastian Angel

Raj and Neera Singh Term Assistant Professor

Department of Computer and Information Science

University of Pennsylvania

Levine Hall, Office 604

3330 Walnut Street

Philadelphia, PA 19104

Email: sebastian.angel at cis.upenn.edu

Phone: +1 (215) 898-9252

Public key: sga (on keybase)

I'm an assistant professor of Computer and Information Science at Penn, and I'm part of the Distributed Systems Laboratory, the Security Research Laboratory, and The Warren Center for Network and Data Sciences. I also run Penn's security reading group. I'm the recipient of an NSF CAREER award, the ACM SIGOPS Dennis M. Ritchie Dissertation Award, and the Bert Kay Best Dissertation award.

I'm broadly interested in systems, security, privacy, and networking. My work aims to:

Understand how the systems that we use today unintentionally leak information.
Propose alternatives to existing services that provide strong privacy and integrity guarantees.
Build abstractions and frameworks that simplify the development of concurrent and fault-tolerant applications.
Specialize applications to run efficiently on new cloud architectures.

Courses

Students (see alumni)

Andrew Beams (PhD)
Eleftherios Ioannidis (PhD)
Yiping Ma (PhD)
Yifeng Mao (Masters)
Jess Woods (PhD)
Haoran Zhang (PhD, co-advised with Vincent Liu)
Ke Zhong (PhD)

Organization

General Chair, HotOS 2021
Scholarship co-chair, SOSP 2021

Program committees

2022: S&P
2021: SOSP, OSDI, PETS, EuroSys, USENIX Security
2020: OSDI, PETS, ICDCS, WPES
2019: HotOS, PETS

Recent publications (see all)

Bringing Decentralized Search to Decentralized Services

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

OSDI 2021 (to appear). July 2021.

Fault-tolerant and transactional stateful serverless workflows

Haoran Zhang, Adney Cardoza, Peter Baile Chen, Sebastian Angel, and 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 (Oakland), 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]

PIR with compressed queries and amortized query processing

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

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

Funding

My lab is generously funded by:

DARPA

NSF