Scholar
Sebastian Angel
Google Scholar ID: pNaNj8EAAAAJ
Professor @ University of Pennsylvania
Operating Systems
Distributed Systems
Networking
Security
Privacy
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
2,581
H-index
20
i10-index
27
Publications
20
Co-authors
10
list available
Publications
2 items
CausalMesh: A Formally Verified Causal Cache for Stateful Serverless Computing
2025
Cited
0
Structural temporal logic for mechanized program verification
arXiv.org · 2024
Cited
0
Co-authors
6 total
Srinath Setty
Senior Principal Researcher at Microsoft Research
Vincent Liu
University of Pennsylvania
Hao Chen
Facebook
Boon Thau Loo
RCA Professor of Computer and Information Science, Senior Associate Dean, UPenn
Andrew J. Blumberg
Professor of mathematics and computer science, Columbia University
Hitesh Ballani
Principal Researcher, Microsoft Research
