The Dartmouth Mobile Robot: SK. - William Garner; Gregory Friedland; Artyom Lifshits; Daniela Rus; Keith Kotay; Jon Howell (AAAI/IAAI, 1997)

Straightforward Java Persistence Through Checkpointing. - Jon Howell (POS/PJW, 1998)

Hey, You Got Your Compiler in My Operating System! - Jon Howell; Mark H. Montague (Workshop on Hot Topics in Operating Systems, 1999)

Experiments with Desktop Mobile Manipulators. - Matthew T. Mason; Dinesh K. Pai; Daniela Rus; Jon Howell; Lee R. Taylor; Michael A. Erdmann (ISER, 1999)

A Formal Semantics for SPKI. - Jon Howell; David Kotz (ESORICS, 2000)

Practical Mobile Robot Self-Localization. - Jon Howell; Bruce Randall Donald (ICRA, 2000)

End-to-End Authorization. - Jon Howell; David Kotz (OSDI, 2000)

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 (UIST, 2000)

FARSITE: Federated, Available, and Reliable Storage for an Incompletely Trusted Environment. - Atul Adya; William J. Bolosky; Miguel Castro 001; Gerald Cermak; Ronnie Chaiken; John R. Douceur; Jon Howell; Jacob R. Lorch; Marvin Theimer; Roger Wattenhofer (OSDI, 2002)

Cooperative Task Management Without Manual Stack Management. - Atul Adya; Jon Howell; Marvin Theimer; William J. Bolosky; John R. Douceur (USENIX ATC, General Track, 2002)

The SMART way to migrate replicated stateful services. - Jacob R. Lorch; Atul Adya; William J. Bolosky; Ronnie Chaiken; John R. Douceur; Jon Howell (EuroSys, 2006)

Byzantine Fault Isolation in the Farsite Distributed File System. - John R. Douceur; Jon Howell (IPTPS, 2006)

Distributed Directory Service in the Farsite File System. - John R. Douceur; Jon Howell (OSDI, 2006)

Asirra: a CAPTCHA that exploits interest-aligned manual image categorization. - Jeremy Elson; John R. Douceur; Jon Howell; Jared Saul (CCS, 2007)

MashupOS: Operating System Abstractions for Client Mashups. - Jon Howell; Collin Jackson; Helen J. Wang; Xiaofeng Fan (HotOS, 2007)

Protection and communication abstractions for web browsers in MashupOS. - Helen J. Wang; Xiaofeng Fan; Jon Howell; Collin Jackson (SOSP, 2007)

The Farsite project: a retrospective. - William J. Bolosky; John R. Douceur; Jon Howell (ACM SIGOPS Oper. Syst. Rev., 2007)

MapCruncher: integrating the world's geographic information. - Jeremy Elson; Jon Howell; John R. Douceur (ACM SIGOPS Oper. Syst. Rev., 2007)

Do I live in a flood basin?: synthesizing ten thousand maps. - Miguel Elías; Jeremy Elson; Danyel Fisher; Jon Howell (CHI, 2008)

Low-cost orthographic imagery. - Péter Pesti; Jeremy Elson; Jon Howell; Drew Steedly; Matthew Uyttendaele (GIS, 2008)

Leveraging Legacy Code to Deploy Desktop Applications on the Web. - John R. Douceur; Jeremy Elson; Jon Howell; Jacob R. Lorch (OSDI, 2008)

Handling Flash Crowds from Your Garage. - Jeremy Elson; Jon Howell (USENIX ATC, 2008)

Refactoring Human Roles Solves Systems Problems. - Jeremy Elson; Jon Howell (HotCloud, 2009)

Leveraging Legacy Code for Web Browsers. - John R. Douceur; Jeremy Elson; Jon Howell; Jacob R. Lorch; Rik Farrow (login Usenix Mag., 2009)

Mugshot: Deterministic Capture and Replay for JavaScript Applications. - James W. Mickens; Jeremy Elson; Jon Howell (NSDI, 2010)

Crom: Faster Web Browsing Using Speculative Execution. - James W. Mickens; Jeremy Elson; Jon Howell; Jay R. Lorch (NSDI, 2010)

The Utility Coprocessor: Massively Parallel Computation from the Coffee Shop. - John R. Douceur; Jeremy Elson; Jon Howell; Jacob R. Lorch (USENIX ATC, 2010)

Rethinking the library OS from the top down. - Donald E. Porter; Silas Boyd-Wickizer; Jon Howell; Reuben Olinsky; Galen C. Hunt (ASPLOS, 2011)

The web interface should be radically refactored. - John R. Douceur; Jon Howell; Bryan Parno; Michael Walfish; Xi Xiong (HotNets, 2011)

Flat Datacenter Storage. - Edmund B. Nightingale; Jeremy Elson; Jinliang Fan; Owen S. Hofmann; Jon Howell; Yutaka Suzue (OSDI, 2012)

Embassies: Radically Refactoring the Web. - Jon Howell; Bryan Parno; John R. Douceur (NSDI, 2013)

How to Run POSIX Apps in a Minimal Picoprocess. - Jon Howell; Bryan Parno; John R. Douceur (USENIX ATC, 2013)

The 10-Kilobyte Web Browser. - Jon Howell; Bryan Parno; John R. Douceur (login Usenix Mag., 2013)

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 (OSDI, 2014)

Missive: Fast Application Launch From an Untrusted Buffer Cache. - Jon Howell; Jeremy Elson; Bryan Parno; John R. Douceur (USENIX ATC, 2014)

Geppetto: Versatile Verifiable Computation. - Craig Costello; Cédric Fournet; Jon Howell; Markulf Kohlweiss; Benjamin Kreuter; Michael Naehrig; Bryan Parno; Samee Zahur (IACR Cryptol. ePrint Arch., 2014)

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 (SOSP, 2015)

Radiatus: a Shared-Nothing Server-Side Web Architecture. - Raymond Cheng 001; William Scott 002; Paul M. Ellenbogen; Jon Howell; Franziska Roesner; Arvind Krishnamurthy; Thomas E. Anderson (SoCC, 2016)

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; et al. (OSDI, 2016)

Pinocchio: nearly practical verifiable computation. - Bryan Parno; Jon Howell; Craig Gentry; Mariana Raykova 001 (Commun. ACM, 2016)

IronFleet: proving safety and liveness of practical distributed systems. - Chris Hawblitzel; Jon Howell; Manos Kapritsos; Jacob R. Lorch; Bryan Parno; Michael Lowell Roberts; Srinath T. V. Setty; Brian Zill (Commun. ACM, 2017)

Storage Systems are Distributed Systems (So Verify Them That Way!). - Travis Hance; Andrea Lattuada 001; Chris Hawblitzel; Jon Howell; Rob Johnson 001; Bryan Parno (OSDI, 2020)

An incremental path towards a safer OS kernel. - Jialin Li 001; Samantha Miller; Danyang Zhuo; Ang Chen 001; Jon Howell; Thomas E. Anderson (HotOS, 2021)

Introduction to the Special Section on USENIX OSDI 2020. - Shan Lu; Jon Howell (ACM Trans. Storage, 2021)

Linear types for large-scale systems verification. - Jialin Li 001; Andrea Lattuada 001; Yi Zhou 025; Jonathan Cameron; Jon Howell; Bryan Parno; Chris Hawblitzel (Proc. ACM Program. Lang., 2022)

Beyond isolation: OS verification as a foundation for correct applications. - Matthias Brun 002; Reto Achermann; Tej Chajed; Jon Howell; Gerd Zellweger; Andrea Lattuada 001 (HotOS, 2023)

Sharding the State Machine: Automated Modular Reasoning for Complex Concurrent Systems. - Travis Hance; Yi Zhou 025; Andrea Lattuada 001; Reto Achermann; Alex Conway 001; Ryan Stutsman; Gerd Zellweger; Chris Hawblitzel; Jon Howell; Bryan Parno (OSDI, 2023)

Verus: Verifying Rust Programs using Linear Ghost Types (extended version). - Andrea Lattuada 001; Travis Hance; Chanhee Cho; Matthias Brun 002; Isitha Subasinghe; Yi Zhou 025; Jon Howell; Bryan Parno; Chris Hawblitzel (CoRR, 2023)

Leaf: Modularity for Temporary Sharing in Separation Logic (Extended Version). - Travis Hance; Jon Howell; Oded Padon; Bryan Parno (CoRR, 2023)

Verus: Verifying Rust Programs using Linear Ghost Types. - Andrea Lattuada 001; Travis Hance; Chanhee Cho; Matthias Brun 002; Isitha Subasinghe; Yi Zhou 025; Jon Howell; Bryan Parno; Chris Hawblitzel (Proc. ACM Program. Lang., 2023)

Leaf: Modularity for Temporary Sharing in Separation Logic. - Travis Hance; Jon Howell; Oded Padon; Bryan Parno (Proc. ACM Program. Lang., 2023)

Counterexample Driven Quantifier Instantiations with Applications to Distributed Protocols. - Orr Tamir; Marcelo Taube; Kenneth L. McMillan; Sharon Shoham; Jon Howell; Guy Gueta; Mooly Sagiv (Proc. ACM Program. Lang., 2023)

Anvil: Verifying Liveness of Cluster Management Controllers. - Xudong Sun 013; Wenjie Ma; Jiawei Tyler Gu; Zicheng Ma; Tej Chajed; Jon Howell; Andrea Lattuada 001; Oded Padon; Lalith Suresh 001; Adriana Szekeres; Tianyin Xu (OSDI, 2024)

Verus: A Practical Foundation for Systems Verification. - Andrea Lattuada 001; Travis Hance; Jay Bosamiya; Matthias Brun 002; Chanhee Cho; Hayley LeBlanc; Pranav Srinivasan; Reto Achermann; Tej Chajed; Chris Hawblitzel; Jon Howell; Jacob R. Lorch; et al. (SOSP, 2024)