Travis Hance

According to our database, Travis Hance authored at least 13 papers between 2012 and 2024.

Collaborative distances:

• Dijkstra number of four.
• 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

Inductive Invariants That Spark Joy: Using Invariant Taxonomies to Streamline Distributed Protocol Proofs.

Tony Nuda Zhang, Travis Hance, Manos Kapritsos, Tej Chajed, Bryan Parno

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

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

2021

Finding Invariants of Distributed Systems: It's a Small (Enough) World After All.

Travis Hance, Marijn Heule, Ruben Martins, Bryan Parno

Proceedings of the 18th USENIX Symposium on Networked Systems Design and Implementation, 2021

2020

Liquid information flow control.

Nadia Polikarpova, Deian Stefan, Jean Yang, Shachar Itzhaky, Travis Hance, Armando Solar-Lezama

Proc. ACM Program. Lang., 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

2016

Precise, dynamic information flow for database-backed applications.

Jean Yang, Travis Hance, Thomas H. Austin, Armando Solar-Lezama, Cormac Flanagan, Stephen Chong

Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2016

2015

End-To-End Policy-Agnostic Security for Database-Backed Applications.

Jean Yang, Travis Hance, Thomas H. Austin, Armando Solar-Lezama, Cormac Flanagan, Stephen Chong

CoRR, 2015

2012

Generalizing and Derandomizing Gurvits's Approximation Algorithm for the Permanent.

Scott Aaronson, Travis Hance

Electron. Colloquium Comput. Complex., 2012