~/talks

Sebastian Angel

what they talk about

all 5 in the filters

where they keep going back

no series more than once — all 9 in the filters

on a stage with

all 34 in the filters

who talks about the same things

nobody close enough yet

titleconferencedate
Mako: Speculative Distributed Transactions with Geo-ReplicationOSDI '252025-07-07
A transactional key-value store called Mako is built that decouples execution from geo-replication, running speculative 2PC locally and replicating decisions…
Talk on
MuCache: A General Framework for Caching in Microservice Graphs21st USENIX Symposium on Networked Systems Design and Implementation (NSDI '24)2024-04-16
MuCache is a framework that injects per-service cache managers and sidecar wrappers to serve hits locally without blocking requests, relying on a non-blocking…
Talk on
Nimble: Rollback Protection for Confidential Cloud ServicesOSDI 20232023-07-10
Nimble implements an append-only ledger using a tiny trusted state machine inside TEEs combined with crash-fault-tolerant cloud storage, and it ships a…
Talk on
Addax: A fast, private, and accountable ad exchange infrastructureNSDI 20232023-04-17
Addax implements private bids with public auditability by extending affine aggregatable encodings (from Prio) and running auctions over two non‑colluding…
Talk on
Executing Microservice Applications on Serverless, CorrectlyPOPL 20232023-01-15
mu2sls is a Python framework that instruments service classes with transactions and asynchronous calls and emits serverless functions plus a logging and…
Talk on
Bringing Decentralized Search to Decentralized Services15th USENIX Symposium on Operating Systems Design and Implementation (OSDI '21)2021-07-14
DeSearch builds a decentralized, verifiable, private search pipeline for Steemit and OpenBazaar, using trusted hardware (SGX) and ORAM for privacy, cloud…
Talk on
Disaggregation and the ApplicationHotCloud '202020-07-13
Measurements show running unmodified applications on disaggregated data centers causes over an order of magnitude slowdown, so the paper proposes three…
Talk on
A file system for safely interacting with untrusted USB flash drives12th USENIX Workshop on Hot Topics in Storage and File Systems (HotStorage '20)2020-07-13
RBFuse isolates USB handling by remap host controller into VM and exports the drive as a mountable VFS via a FUSE VFS client-server, eliminating host USB…
Talk on
Defending against Malicious Peripherals with CinchUSENIX Security '162016-08-10
Cinch virtualizes the USB bus into a sacrificial VM and inserts a modular enforcer between that VM and the protected system, implemented as a Rust user process…
Talk on
~/search
type to search 6,249 conferences, 138,987 speakers and 185,172 talks
~/help
cmdctrl k
search every conference, speaker and series
/
focus the filter search
h
home
c
conferences
s
speakers
e
series
t
light / dark — the status bar button does the same
?
this help
esc
close this, then clear every filter — or just the search, while you are typing in it

Ignored while you are typing. Pages without a filter rail have no search to focus.