Jon Howell

According to our database, Jon Howell authored at least 54 papers between 1997 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2024

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

Proceedings of the ACM SIGOPS 30th Symposium on Operating Systems Principles, 2024

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

Proceedings of the 18th USENIX Symposium on Operating Systems Design and Implementation, 2024

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., October, 2023

Leaf: Modularity for Temporary Sharing in Separation Logic.

Travis Hance, Jon Howell, Oded Padon, Bryan Parno

Proc. ACM Program. Lang., October, 2023

Verus: Verifying Rust Programs using Linear Ghost Types.

Andrea Lattuada, Travis Hance, Chanhee Cho, Matthias Brun, Isitha Subasinghe, Yi Zhou, Jon Howell, Bryan Parno, Chris Hawblitzel

Proc. ACM Program. Lang., April, 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 (extended version).

Andrea Lattuada, Travis Hance, Chanhee Cho, Matthias Brun, Isitha Subasinghe, Yi Zhou, Jon Howell, Bryan Parno, Chris Hawblitzel

CoRR, 2023

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

Proceedings of the 17th USENIX Symposium on Operating Systems Design and Implementation, 2023

Beyond isolation: OS verification as a foundation for correct applications.

Matthias Brun, Reto Achermann, Tej Chajed, Jon Howell, Gerd Zellweger, Andrea Lattuada

Proceedings of the 19th Workshop on Hot Topics in Operating Systems, 2023

2022

Linear types for large-scale systems verification.

Jialin Li, Andrea Lattuada, Yi Zhou, Jonathan Cameron, Jon Howell, Bryan Parno, Chris Hawblitzel

Proc. ACM Program. Lang., 2022

2021

Introduction to the Special Section on USENIX OSDI 2020.

Shan Lu, Jon Howell

ACM Trans. Storage, 2021

An incremental path towards a safer OS kernel.

Jialin Li, Samantha Miller, Danyang Zhuo, Ang Chen, Jon Howell, Thomas E. Anderson

Proceedings of the HotOS '21: Workshop on Hot Topics in Operating Systems, 2021

2020

Storage Systems are Distributed Systems (So Verify Them That Way!).

Travis Hance, Andrea Lattuada, Chris Hawblitzel, Jon Howell, Rob Johnson, Bryan Parno

Proceedings of the 14th USENIX Symposium on Operating Systems Design and Implementation, 2020

2017

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

2016

Pinocchio: nearly practical verifiable computation.

Bryan Parno, Jon Howell, Craig Gentry, Mariana Raykova

Commun. ACM, 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, Alexander Shraer, Arif Merchant, Kfir Lev-Ari

Proceedings of the 12th USENIX Symposium on Operating Systems Design and Implementation, 2016

Radiatus: a Shared-Nothing Server-Side Web Architecture.

Raymond Cheng, William Scott, Paul M. Ellenbogen, Jon Howell, Franziska Roesner, Arvind Krishnamurthy, Thomas E. Anderson

Proceedings of the Seventh ACM Symposium on Cloud Computing, 2016

2015

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

Proceedings of the 25th Symposium on Operating Systems Principles, 2015

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

Missive: Fast Application Launch From an Untrusted Buffer Cache.

Jon Howell, Jeremy Elson, Bryan Parno, John R. Douceur

Proceedings of the 2014 USENIX Annual Technical Conference, 2014

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

Proceedings of the 11th USENIX Symposium on Operating Systems Design and Implementation, 2014

2013

The 10-Kilobyte Web Browser.

Jon Howell, Bryan Parno, John R. Douceur

login Usenix Mag., 2013

How to Run POSIX Apps in a Minimal Picoprocess.

Jon Howell, Bryan Parno, John R. Douceur

Proceedings of the 2013 USENIX Annual Technical Conference, 2013

Embassies: Radically Refactoring the Web.

Jon Howell, Bryan Parno, John R. Douceur

Proceedings of the 10th USENIX Symposium on Networked Systems Design and Implementation, 2013

2012

Flat Datacenter Storage.

Edmund B. Nightingale, Jeremy Elson, Jinliang Fan, Owen S. Hofmann, Jon Howell, Yutaka Suzue

Proceedings of the 10th USENIX Symposium on Operating Systems Design and Implementation, 2012

2011

The web interface should be radically refactored.

John R. Douceur, Jon Howell, Bryan Parno, Michael Walfish, Xi Xiong

Proceedings of the Tenth ACM Workshop on Hot Topics in Networks (HotNets-X), 2011

Rethinking the library OS from the top down.

Donald E. Porter, Silas Boyd-Wickizer, Jon Howell, Reuben Olinsky, Galen C. Hunt

Proceedings of the 16th International Conference on Architectural Support for Programming Languages and Operating Systems, 2011

2010

The Utility Coprocessor: Massively Parallel Computation from the Coffee Shop.

John R. Douceur, Jeremy Elson, Jon Howell, Jacob R. Lorch

Proceedings of the 2010 USENIX Annual Technical Conference, 2010

Crom: Faster Web Browsing Using Speculative Execution.

James W. Mickens, Jeremy Elson, Jon Howell, Jay R. Lorch

Proceedings of the 7th USENIX Symposium on Networked Systems Design and Implementation, 2010

Mugshot: Deterministic Capture and Replay for JavaScript Applications.

James W. Mickens, Jeremy Elson, Jon Howell

Proceedings of the 7th USENIX Symposium on Networked Systems Design and Implementation, 2010

2009

Leveraging Legacy Code for Web Browsers.

John R. Douceur, Jeremy Elson, Jon Howell, Jacob R. Lorch, Rik Farrow

login Usenix Mag., 2009

Refactoring Human Roles Solves Systems Problems.

Jeremy Elson, Jon Howell

Proceedings of the Workshop on Hot Topics in Cloud Computing, 2009

2008

Handling Flash Crowds from Your Garage.

Jeremy Elson, Jon Howell

Proceedings of the 2008 USENIX Annual Technical Conference, 2008

Leveraging Legacy Code to Deploy Desktop Applications on the Web.

John R. Douceur, Jeremy Elson, Jon Howell, Jacob R. Lorch

Proceedings of the 8th USENIX Symposium on Operating Systems Design and Implementation, 2008

Low-cost orthographic imagery.

Péter Pesti, Jeremy Elson, Jon Howell, Drew Steedly, Matthew Uyttendaele

Proceedings of the 16th ACM SIGSPATIAL International Symposium on Advances in Geographic Information Systems, 2008

Do I live in a flood basin?: synthesizing ten thousand maps.

Miguel Elías, Jeremy Elson, Danyel Fisher, Jon Howell

Proceedings of the 2008 Conference on Human Factors in Computing Systems, 2008

2007

MapCruncher: integrating the world's geographic information.

Jeremy Elson, Jon Howell, John R. Douceur

ACM SIGOPS Oper. Syst. Rev., 2007

The Farsite project: a retrospective.

William J. Bolosky, John R. Douceur, Jon Howell

ACM SIGOPS Oper. Syst. Rev., 2007

Protection and communication abstractions for web browsers in MashupOS.

Helen J. Wang, Xiaofeng Fan, Jon Howell, Collin Jackson

Proceedings of the 21st ACM Symposium on Operating Systems Principles 2007, 2007

MashupOS: Operating System Abstractions for Client Mashups.

Jon Howell, Collin Jackson, Helen J. Wang, Xiaofeng Fan

Proceedings of HotOS'07: 11th Workshop on Hot Topics in Operating Systems, 2007

Asirra: a CAPTCHA that exploits interest-aligned manual image categorization.

Jeremy Elson, John R. Douceur, Jon Howell, Jared Saul

Proceedings of the 2007 ACM Conference on Computer and Communications Security, 2007

2006

Distributed Directory Service in the Farsite File System.

John R. Douceur, Jon Howell

Proceedings of the 7th Symposium on Operating Systems Design and Implementation (OSDI '06), 2006

Byzantine Fault Isolation in the Farsite Distributed File System.

John R. Douceur, Jon Howell

Proceedings of the 5th International workshop on Peer-To-Peer Systems, 2006

The SMART way to migrate replicated stateful services.

Jacob R. Lorch, Atul Adya, William J. Bolosky, Ronnie Chaiken, John R. Douceur, Jon Howell

Proceedings of the 2006 EuroSys Conference, Leuven, Belgium, April 18-21, 2006, 2006

2002

Cooperative Task Management Without Manual Stack Management.

Atul Adya, Jon Howell, Marvin Theimer, William J. Bolosky, John R. Douceur

Proceedings of the General Track: 2002 USENIX Annual Technical Conference, 2002

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

Proceedings of the 5th Symposium on Operating System Design and Implementation (OSDI 2002), 2002

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

Proceedings of the 13th Annual ACM Symposium on User Interface Software and Technology, 2000

End-to-End Authorization.

Jon Howell, David Kotz

Proceedings of the 4th Symposium on Operating System Design and Implementation (OSDI 2000), 2000

Practical Mobile Robot Self-Localization.

Jon Howell, Bruce Randall Donald

Proceedings of the 2000 IEEE International Conference on Robotics and Automation, 2000

A Formal Semantics for SPKI.

Jon Howell, David Kotz

Proceedings of the Computer Security, 2000

1999

Experiments with Desktop Mobile Manipulators.

Matthew T. Mason, Dinesh K. Pai, Daniela Rus, Jon Howell, Lee R. Taylor, Michael A. Erdmann

Proceedings of the Experimental Robotics VI, 1999

Hey, You Got Your Compiler in My Operating System!

Jon Howell, Mark H. Montague

Proceedings of The Seventh Workshop on Hot Topics in Operating Systems, 1999

1998

Straightforward Java Persistence Through Checkpointing.

Jon Howell

Proceedings of the Advances in Persistent Object Systems, 1998

1997

The Dartmouth Mobile Robot: SK.

William Garner, Gregory Friedland, Artyom Lifshits, Daniela Rus, Keith Kotay, Jon Howell

Proceedings of the Fourteenth National Conference on Artificial Intelligence and Ninth Innovative Applications of Artificial Intelligence Conference, 1997