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
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
Embassies: Radically Refactoring the Web
NSDI 2013
Flat Datacenter Storage
OSDI 2012