Jacob R. Lorch
6 papers · 2012–2025 · 2 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓
๐
Conference Polyglot ยท Bronze
๐
Academic Marathon ยท Half
๐
Interdisciplinary Bridge ยท Silver
๐
Conference Pioneer
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