Jon Howell
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
37
Venues
16
Active years
1997–2024
Best venue rank
A*
Where they publish
Papers
37 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | OSDI | Anvil: Verifying Liveness of Cluster Management Controllers. | Xudong Sun, Wenjie Ma, Jiawei Tyler Gu, Zicheng Ma, Tej Chajed, Jon Howell, Andrea Lattuada, Oded Padon, Lalith Suresh, Adriana Szekeres, Tianyin Xu |
| 2024 | SOSP | Verus: A Practical Foundation for Systems Verification. | Andrea Lattuada, Travis Hance, Jay Bosamiya, Matthias Brun, Chanhee Cho, Hayley LeBlanc, Pranav Srinivasan, Reto Achermann, Tej Chajed, Chris Hawblitzel, Jon Howell, Jacob R. Lorch, Oded Padon, Bryan Parno |
| 2023 | HotOS | Beyond isolation: OS verification as a foundation for correct applications. | Matthias Brun, Reto Achermann, Tej Chajed, Jon Howell, Gerd Zellweger, Andrea Lattuada |
| 2023 | OSDI | Sharding the State Machine: Automated Modular Reasoning for Complex Concurrent Systems. | Travis Hance, Yi Zhou, Andrea Lattuada, Reto Achermann, Alex Conway, Ryan Stutsman, Gerd Zellweger, Chris Hawblitzel, Jon Howell, Bryan Parno |
| 2021 | HotOS | An incremental path towards a safer OS kernel. | Jialin Li, Samantha Miller, Danyang Zhuo, Ang Chen, Jon Howell, Thomas E. Anderson |
| 2020 | OSDI | Storage Systems are Distributed Systems (So Verify Them That Way!). | Travis Hance, Andrea Lattuada, Chris Hawblitzel, Jon Howell, Rob Johnson, Bryan Parno |
| 2016 | CLOUD | Radiatus: a Shared-Nothing Server-Side Web Architecture. | Raymond Cheng, William Scott, Paul M. Ellenbogen, Jon Howell, Franziska Roesner, Arvind Krishnamurthy, Thomas E. Anderson |
| 2016 | OSDI | Slicer: Auto-Sharding for Datacenter Applications. | Atul Adya, Daniel Myers, Jon Howell, Jeremy Elson, Colin Meek, Vishesh Khemani, Stefan Fulger, Pan Gu, Lakshminath Bhuvanagiri, Jason Hunter, Roberto Peon, Larry Kai, Alexander Shraer, Arif Merchant, Kfir Lev-Ari |
| 2015 | SP | Geppetto: Versatile Verifiable Computation. | Craig Costello, Cdric Fournet, Jon Howell, Markulf Kohlweiss, Benjamin Kreuter, Michael Naehrig, Bryan Parno, Samee Zahur |
| 2015 | SOSP | IronFleet: proving practical distributed systems correct. | Chris Hawblitzel, Jon Howell, Manos Kapritsos, Jacob R. Lorch, Bryan Parno, Michael Lowell Roberts, Srinath T. V. Setty, Brian Zill |
| 2014 | OSDI | Ironclad Apps: End-to-End Security via Automated Full-System Verification. | Chris Hawblitzel, Jon Howell, Jacob R. Lorch, Arjun Narayan, Bryan Parno, Danfeng Zhang, Brian Zill |
| 2014 | USENIX | Missive: Fast Application Launch From an Untrusted Buffer Cache. | Jon Howell, Jeremy Elson, Bryan Parno, John R. Douceur |
| 2013 | NSDI | Embassies: Radically Refactoring the Web. | Jon Howell, Bryan Parno, John R. Douceur |
| 2013 | SP | Pinocchio: Nearly Practical Verifiable Computation. | Bryan Parno, Jon Howell, Craig Gentry, Mariana Raykova |
| 2013 | USENIX | How to Run POSIX Apps in a Minimal Picoprocess. | Jon Howell, Bryan Parno, John R. Douceur |
| 2012 | OSDI | Flat Datacenter Storage. | Edmund B. Nightingale, Jeremy Elson, Jinliang Fan, Owen S. Hofmann, Jon Howell, Yutaka Suzue |
| 2011 | ASPLOS | Rethinking the library OS from the top down. | Donald E. Porter, Silas Boyd-Wickizer, Jon Howell, Reuben Olinsky, Galen C. Hunt |
| 2011 | HOTNETS | The web interface should be radically refactored. | John R. Douceur, Jon Howell, Bryan Parno, Michael Walfish, Xi Xiong |
| 2010 | NSDI | Mugshot: Deterministic Capture and Replay for JavaScript Applications. | James W. Mickens, Jeremy Elson, Jon Howell |
| 2010 | NSDI | Crom: Faster Web Browsing Using Speculative Execution. | James W. Mickens, Jeremy Elson, Jon Howell, Jay R. Lorch |
| 2010 | USENIX | The Utility Coprocessor: Massively Parallel Computation from the Coffee Shop. | John R. Douceur, Jeremy Elson, Jon Howell, Jacob R. Lorch |
| 2008 | CHI | Do I live in a flood basin?: synthesizing ten thousand maps. | Miguel Elas, Jeremy Elson, Danyel Fisher, Jon Howell |
| 2008 | OSDI | Leveraging Legacy Code to Deploy Desktop Applications on the Web. | John R. Douceur, Jeremy Elson, Jon Howell, Jacob R. Lorch |
| 2008 | USENIX | Handling Flash Crowds from Your Garage. | Jeremy Elson, Jon Howell |
| 2007 | CCS | Asirra: a CAPTCHA that exploits interest-aligned manual image categorization. | Jeremy Elson, John R. Douceur, Jon Howell, Jared Saul |
| 2007 | HotOS | MashupOS: Operating System Abstractions for Client Mashups. | Jon Howell, Collin Jackson, Helen J. Wang, Xiaofeng Fan |
| 2007 | SOSP | Protection and communication abstractions for web browsers in MashupOS. | Helen J. Wang, Xiaofeng Fan, Jon Howell, Collin Jackson |
| 2006 | EuroSys | The SMART way to migrate replicated stateful services. | Jacob R. Lorch, Atul Adya, William J. Bolosky, Ronnie Chaiken, John R. Douceur, Jon Howell |
| 2006 | OSDI | Distributed Directory Service in the Farsite File System. | John R. Douceur, Jon Howell |
| 2002 | OSDI | FARSITE: Federated, Available, and Reliable Storage for an Incompletely Trusted Environment. | Atul Adya, William J. Bolosky, Miguel Castro, Gerald Cermak, Ronnie Chaiken, John R. Douceur, Jon Howell, Jacob R. Lorch, Marvin Theimer, Roger Wattenhofer |
| 2002 | USENIX | Cooperative Task Management Without Manual Stack Management. | Atul Adya, Jon Howell, Marvin Theimer, William J. Bolosky, John R. Douceur |
| 2000 | ESORICS | A Formal Semantics for SPKI. | Jon Howell, David Kotz |
| 2000 | ICRA | Practical Mobile Robot Self-Localization. | Jon Howell, Bruce Randall Donald |
| 2000 | OSDI | End-to-End Authorization. | Jon Howell, David Kotz |
| 2000 | UIST | A programming model for active documents. | Paul Dourish, W. Keith Edwards, Jon Howell, Anthony LaMarca, John Lamping, Karin Petersen, Michael Salisbury, Douglas B. Terry, James D. Thornton |
| 1999 | HotOS | Hey, You Got Your Compiler in My Operating System! | Jon Howell, Mark H. Montague |
| 1997 | AAAI | The Dartmouth Mobile Robot: SK. | William Garner, Gregory Friedland, Artyom Lifshits, Daniela Rus, Keith Kotay, Jon Howell |