Jon Howell

Publication Activity (10 Years)

Years Active: 1997-2024
Publications (10 Years): 18

Top Topics

Sound And Complete Axiomatization

Deadlock Detection

Distributed Systems

Top Venues

Proc. ACM Program. Lang.

Publications

Xudong Sun, Wenjie Ma, Jiawei Tyler Gu, Zicheng Ma, Tej Chajed, Jon Howell, Andrea Lattuada, Oded Padon, Lalith Suresh, Adriana Szekeres, Tianyin Xu
Anvil: Verifying Liveness of Cluster Management Controllers. OSDI (2024)
Orr Tamir, Marcelo Taube, Kenneth L. McMillan, Sharon Shoham, Jon Howell, Guy Gueta, Mooly Sagiv
Counterexample Driven Quantifier Instantiations with Applications to Distributed Protocols. Proc. ACM Program. Lang. 7 (OOPSLA2) (2023)
Andrea Lattuada, Travis Hance, Chanhee Cho, Matthias Brun, Isitha Subasinghe, Yi Zhou, Jon Howell, Bryan Parno, Chris Hawblitzel
Verus: Verifying Rust Programs using Linear Ghost Types. Proc. ACM Program. Lang. 7 (OOPSLA1) (2023)
Matthias Brun, Reto Achermann, Tej Chajed, Jon Howell, Gerd Zellweger, Andrea Lattuada
Beyond isolation: OS verification as a foundation for correct applications. HotOS (2023)
Andrea Lattuada, Travis Hance, Chanhee Cho, Matthias Brun, Isitha Subasinghe, Yi Zhou, Jon Howell, Bryan Parno, Chris Hawblitzel
Verus: Verifying Rust Programs using Linear Ghost Types (extended version). CoRR (2023)
Travis Hance, Jon Howell, Oded Padon, Bryan Parno
Leaf: Modularity for Temporary Sharing in Separation Logic. Proc. ACM Program. Lang. 7 (OOPSLA2) (2023)
Travis Hance, Jon Howell, Oded Padon, Bryan Parno
Leaf: Modularity for Temporary Sharing in Separation Logic (Extended Version). CoRR (2023)
Travis Hance, Yi Zhou, Andrea Lattuada, Reto Achermann, Alex Conway, Ryan Stutsman, Gerd Zellweger, Chris Hawblitzel, Jon Howell, Bryan Parno
Sharding the State Machine: Automated Modular Reasoning for Complex Concurrent Systems. OSDI (2023)
Jialin Li, Andrea Lattuada, Yi Zhou, Jonathan Cameron, Jon Howell, Bryan Parno, Chris Hawblitzel
Linear types for large-scale systems verification. Proc. ACM Program. Lang. 6 (OOPSLA) (2022)
Shan Lu, Jon Howell
Introduction to the Special Section on USENIX OSDI 2020. ACM Trans. Storage 17 (3) (2021)
Jialin Li, Samantha Miller, Danyang Zhuo, Ang Chen, Jon Howell, Thomas Anderson
An incremental path towards a safer OS kernel. HotOS (2021)
Travis Hance, Andrea Lattuada, Chris Hawblitzel, Jon Howell, Rob Johnson, Bryan Parno
Storage Systems are Distributed Systems (So Verify Them That Way!). OSDI (2020)
Chris Hawblitzel, Jon Howell, Manos Kapritsos, Jacob R. Lorch, Bryan Parno, Michael L. Roberts, Srinath T. V. Setty, Brian Zill
IronFleet: proving safety and liveness of practical distributed systems. Commun. ACM 60 (7) (2017)
Bryan Parno, Jon Howell, Craig Gentry, Mariana Raykova
Pinocchio: nearly practical verifiable computation. Commun. ACM 59 (2) (2016)
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
Slicer: Auto-Sharding for Datacenter Applications. OSDI (2016)
Raymond Cheng, William Scott, Paul Ellenbogen, Jon Howell, Franziska Roesner, Arvind Krishnamurthy, Thomas E. Anderson
Radiatus: a Shared-Nothing Server-Side Web Architecture. SoCC (2016)
Chris Hawblitzel, Jon Howell, Manos Kapritsos, Jacob R. Lorch, Bryan Parno, Michael L. Roberts, Srinath T. V. Setty, Brian Zill
IronFleet: proving practical distributed systems correct. SOSP (2015)
Craig Costello, Cédric Fournet, Jon Howell, Markulf Kohlweiss, Benjamin Kreuter, Michael Naehrig, Bryan Parno, Samee Zahur
Geppetto: Versatile Verifiable Computation. IEEE Symposium on Security and Privacy (2015)
Craig Costello, Cédric Fournet, Jon Howell, Markulf Kohlweiss, Benjamin Kreuter, Michael Naehrig, Bryan Parno, Samee Zahur
Geppetto: Versatile Verifiable Computation. IACR Cryptol. ePrint Arch. 2014 (2014)
Chris Hawblitzel, Jon Howell, Jacob R. Lorch, Arjun Narayan, Bryan Parno, Danfeng Zhang, Brian Zill
Ironclad Apps: End-to-End Security via Automated Full-System Verification. OSDI (2014)
Jon Howell, Jeremy Elson, Bryan Parno, John R. Douceur
Missive: Fast Application Launch From an Untrusted Buffer Cache. USENIX Annual Technical Conference (2014)
Jon Howell, Bryan Parno, John R. Douceur
The 10-Kilobyte Web Browser. login Usenix Mag. 38 (6) (2013)
Jon Howell, Bryan Parno, John R. Douceur
How to Run POSIX Apps in a Minimal Picoprocess. USENIX Annual Technical Conference (2013)
Bryan Parno, Craig Gentry, Jon Howell, Mariana Raykova
Pinocchio: Nearly Practical Verifiable Computation. IACR Cryptol. ePrint Arch. 2013 (2013)
Jon Howell, Bryan Parno, John R. Douceur
Embassies: Radically Refactoring the Web. NSDI (2013)
Bryan Parno, Jon Howell, Craig Gentry, Mariana Raykova
Pinocchio: Nearly Practical Verifiable Computation. IEEE Symposium on Security and Privacy (2013)
Edmund B. Nightingale, Jeremy Elson, Jinliang Fan, Owen S. Hofmann, Jon Howell, Yutaka Suzue
Flat Datacenter Storage. OSDI (2012)
John R. Douceur, Jon Howell, Bryan Parno, Michael Walfish, Xi Xiong
The web interface should be radically refactored. HotNets (2011)
Donald E. Porter, Silas Boyd-Wickizer, Jon Howell, Reuben Olinsky, Galen C. Hunt
Rethinking the library OS from the top down. ASPLOS (2011)
John R. Douceur, Jeremy Elson, Jon Howell, Jacob R. Lorch
The Utility Coprocessor: Massively Parallel Computation from the Coffee Shop. USENIX Annual Technical Conference (2010)
James W. Mickens, Jeremy Elson, Jon Howell
Mugshot: Deterministic Capture and Replay for JavaScript Applications. NSDI (2010)
James W. Mickens, Jeremy Elson, Jon Howell, Jay R. Lorch
Crom: Faster Web Browsing Using Speculative Execution. NSDI (2010)
John R. Douceur, Jeremy Elson, Jon Howell, Jacob R. Lorch, Rik Farrow
Leveraging Legacy Code for Web Browsers. login Usenix Mag. 34 (2) (2009)
Jeremy Elson, Jon Howell
Refactoring Human Roles Solves Systems Problems. HotCloud (2009)
Péter Pesti, Jeremy Elson, Jon Howell, Drew Steedly, Matthew Uyttendaele
Low-cost orthographic imagery. GIS (2008)
Jeremy Elson, Jon Howell
Handling Flash Crowds from Your Garage. USENIX Annual Technical Conference (2008)
Miguel Elías, Jeremy Elson, Danyel Fisher, Jon Howell
Do I live in a flood basin?: synthesizing ten thousand maps. CHI (2008)
John R. Douceur, Jeremy Elson, Jon Howell, Jacob R. Lorch
Leveraging Legacy Code to Deploy Desktop Applications on the Web. OSDI (2008)
Jon Howell, Collin Jackson, Helen J. Wang, Xiaofeng Fan
MashupOS: Operating System Abstractions for Client Mashups. HotOS (2007)
Jeremy Elson, John R. Douceur, Jon Howell, Jared Saul
Asirra: a CAPTCHA that exploits interest-aligned manual image categorization. CCS (2007)
Jeremy Elson, Jon Howell, John R. Douceur
MapCruncher: integrating the world's geographic information. ACM SIGOPS Oper. Syst. Rev. 41 (2) (2007)
William J. Bolosky, John R. Douceur, Jon Howell
The Farsite project: a retrospective. ACM SIGOPS Oper. Syst. Rev. 41 (2) (2007)
Helen J. Wang, Xiaofeng Fan, Jon Howell, Collin Jackson
Protection and communication abstractions for web browsers in MashupOS. SOSP (2007)
John R. Douceur, Jon Howell
Distributed Directory Service in the Farsite File System. OSDI (2006)
John R. Douceur, Jon Howell
Byzantine Fault Isolation in the Farsite Distributed File System. IPTPS (2006)
Jacob R. Lorch, Atul Adya, William J. Bolosky, Ronnie Chaiken, John R. Douceur, Jon Howell
The SMART way to migrate replicated stateful services. EuroSys (2006)
Atul Adya, Jon Howell, Marvin Theimer, William J. Bolosky, John R. Douceur
Cooperative Task Management Without Manual Stack Management. USENIX Annual Technical Conference, General Track (2002)
Atul Adya, William J. Bolosky, Miguel Castro, Gerald Cermak, Ronnie Chaiken, John R. Douceur, Jon Howell, Jacob R. Lorch, Marvin Theimer, Roger Wattenhofer
FARSITE: Federated, Available, and Reliable Storage for an Incompletely Trusted Environment. OSDI (2002)
Paul Dourish, W. Keith Edwards, Jon Howell, Anthony LaMarca, John Lamping, Karin Petersen, Michael Salisbury, Douglas B. Terry, James D. Thornton
A programming model for active documents. UIST (2000)
Jon Howell, David Kotz
A Formal Semantics for SPKI. ESORICS (2000)
Jon Howell, David Kotz
End-to-End Authorization. OSDI (2000)
Jon Howell, Bruce Randall Donald
Practical Mobile Robot Self-Localization. ICRA (2000)
Jon Howell, Mark H. Montague
Hey, You Got Your Compiler in My Operating System! Workshop on Hot Topics in Operating Systems (1999)
Matthew T. Mason, Dinesh K. Pai, Daniela Rus, Jon Howell, Lee R. Taylor, Michael A. Erdmann
Experiments with Desktop Mobile Manipulators. ISER (1999)
Jon Howell
Straightforward Java Persistence Through Checkpointing. POS/PJW (1998)
William Garner, Gregory Friedland, Artyom Lifshits, Daniela Rus, Keith Kotay, Jon Howell
The Dartmouth Mobile Robot: SK. AAAI/IAAI (1997)