Jacob R. Lorch
6 papers · 2012–2025 · 2 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+1 more ↓ Show less ↑
🧭 Keyword Pioneer 🌍 Conference Polyglot (2) 🏃 Academic Marathon (13) 🐝 Cross-Pollinator (6) 🌉 Interdisciplinary Bridge
🚀
Conference Pioneer
Conferences
OSDI (4)
NSDI (2)
Top co-authors
Research topics
Keywords
formal verification
(1)
fault tolerance
(1)
failure detection
(1)
distributed transaction
(1)
distributed system
(1)
cloud computing
(1)
cloud storage
(1)
distributed locking
(1)
exactly-once semantics
(1)
concurrency control
(1)
transaction processing
(1)
persistent memory
(1)
storage system
(1)
crash consistency
(1)
hoare logic
(1)
gray failure
(1)
system observability
(1)
component interaction
(1)
corruption detection
(1)
distributed lock
(1)
Papers
PoWER Never Corrupts: Tool-Agnostic Verification of Crash Consistency and Corruption Detection
OSDI 2025
Capturing and Enhancing In Situ System Observability for Failure Detection
OSDI 2018
Realizing the Fault-Tolerance Promise of Cloud Storage Using Locks with Intent
OSDI 2016
Tardigrade: Leveraging Lightweight Virtual Machines to Easily and Efficiently Construct Fault-Tolerant Services
NSDI 2015
Ironclad Apps: End-to-End Security via Automated Full-System Verification
OSDI 2014
Don't Lose Sleep Over Availability: The GreenUp Decentralized Wakeup Service
NSDI 2012