Jon Howell - RankMe

58 papers A* 20A 5Misc 5Journal 15Unranked 13

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