Jon Howell
7 papers · 2012–2024 · 2 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+5 more ↓ Show less ↑
π£ Hot Topic Early Bird π Interdisciplinary Bridge π§ Keyword Pioneer π Conference Polyglot (2) π Academic Marathon (12)
π
Cross-Pollinator
(9)
πΊοΈ
Taxonomy Completionist
(10)
π
Keyword Champion
(2)
π
Conference Pioneer
π
Trend Setter
Conferences
OSDI (6)
NSDI (1)
Top co-authors
Keywords
formal verification
(3)
automated verification
(2)
distributed system
(2)
cluster management
(1)
load balancing
(1)
correctness verification
(1)
dynamic sharding
(1)
state machine
(1)
key-value store
(1)
linear type
(1)
liveness property
(1)
transition system
(1)
concurrent programming
(1)
concurrent verification
(1)
ownership type
(1)
shared memory verification
(1)
dynamic frame
(1)
resource allocation
(1)
temporal logic
(1)
Papers
Anvil: Verifying Liveness of Cluster Management Controllers
OSDI 2024
Sharding the State Machine: Automated Modular Reasoning for Complex Concurrent Systems
OSDI 2023
Storage Systems are Distributed Systems (So Verify Them That Way!)
OSDI 2020
Slicer: Auto-Sharding for Datacenter Applications
OSDI 2016
Ironclad Apps: End-to-End Security via Automated Full-System Verification
OSDI 2014
Embassies: Radically Refactoring the Web
NSDI 2013
Flat Datacenter Storage
OSDI 2012