Sebastian Angel
Scholar

Sebastian Angel

Google Scholar ID: pNaNj8EAAAAJ
Professor @ University of Pennsylvania
Operating SystemsDistributed SystemsNetworkingSecurityPrivacy
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
2,581
 
H-index
20
 
i10-index
27
 
Publications
20
 
Co-authors
10
list available
Contact
No contact links provided.
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
Resume (English only)
Co-authors
10 total
Srinath Setty
Srinath Setty
Senior Principal Researcher at Microsoft Research
Vincent Liu
Vincent Liu
University of Pennsylvania
Co-author 3
Co-author 3
Hao Chen
Hao Chen
Facebook
Boon Thau Loo
Boon Thau Loo
RCA Professor of Computer and Information Science, Senior Associate Dean, UPenn
Andrew J. Blumberg
Andrew J. Blumberg
Professor of mathematics and computer science, Columbia University
Hitesh Ballani
Hitesh Ballani
Principal Researcher, Microsoft Research
Co-author 8
Co-author 8