Jon Howell

7 papers · 2012–2024 · 2 conferences · across top CS/AI conferences

Achievements

🐣 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

Bryan Parno (4) Andrea Lattuada (3) Chris Hawblitzel (3) Jeremy Elson (2) Travis Hance (2) Awarded Best Paper! (1) Zicheng Ma (1) Tej Chajed (1) Vishesh Khemani (1) Yi Zhou (1)

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