Sebastian Angel
Raj and Neera Singh Term Assistant Professor
Levine Hall, Office 604
3330 Walnut Street
Philadelphia, PA 19104
I'm an assistant professor of Computer and Information Science at Penn and a senior researcher at Microsoft Research.
At Penn, I'm part of the Distributed Systems Laboratory, the Security Research Laboratory, and The Warren Center for Network and Data Sciences. I'm the recipient of an NSF CAREER Award, a JPMorgan Faculty 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
- Fall 2021: MCIT 551–Computer and network security
- Spring 2021: CIS 700–Advanced topics in privacy and anonymity
- Fall 2020: CIS 551–Computer and network security
- Spring 2020: CIS 700–Privacy enhancing technologies
- Fall 2019: CIS 331–Introduction to networks and security
- Spring 2019: CIS 700–Advanced topics in privacy and anonymity
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
Recent publications (see all)
Bringing Decentralized Search to Decentralized Services
OSDI 2021, Virtual Conference, July 2021. [abstract, paper]
Fault-tolerant and transactional stateful serverless workflows
OSDI 2020, Banff, Canada, November 2020. [abstract, paper, extended report, code]
Understanding the Effect of Data Center Resource Disaggregation on Production DBMSs
VLDB 2020, Tokyo, Japan, August 2020. [abstract, paper]
Verifiable state machines: Proofs that untrusted services operate correctly
ACM SIGOPS OSR, Volume 54, Issue 1, July 2020. [abstract, paper]
A filesystem for safely interacting with untrusted USB flash drives
HotStorage 2020, Boston, MA, July 2020. [abstract, paper]
Private resource allocators and their applications
S&P 2020 (Oakland), San Francisco, CA, May 2020. [abstract, paper, slides, code]
Rethinking Data Management Systems for Disaggregated Data Centers
CIDR 2020, Amsterdam, Netherlands, January 2020. [abstract, paper]
Deferred Runtime Pipelining for contentious multicore software transactions
EuroSys 2019, Dresden, Germany, March 2019. [abstract, paper, extended report, slides]
Proving the correct execution of concurrent services in zero-knowledge
OSDI 2018, Carlsbad, CA, October 2018. [abstract, paper, extended report]
What's a little leakage between friends?
WPES 2018, Toronto, Canada, October 2018. [abstract, paper, slides]
PIR with compressed queries and amortized query processing
S&P 2018 (Oakland), San Francisco, CA, May 2018. [abstract, paper, slides, code]
Funding
My lab at Penn is generously funded by:
