Travis Hance

Publication Activity (10 Years)

Years Active: 2012-2024
Publications (10 Years): 11

Top Topics

Distributed Systems

Top Venues

Proc. ACM Program. Lang.

Publications

Tony Nuda Zhang, Travis Hance, Manos Kapritsos, Tej Chajed, Bryan Parno
Inductive Invariants That Spark Joy: Using Invariant Taxonomies to Streamline Distributed Protocol Proofs. OSDI (2024)
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)
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)
Travis Hance, Marijn Heule, Ruben Martins, Bryan Parno
Finding Invariants of Distributed Systems: It's a Small (Enough) World After All. NSDI (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)
Nadia Polikarpova, Deian Stefan, Jean Yang, Shachar Itzhaky, Travis Hance, Armando Solar-Lezama
Liquid information flow control. Proc. ACM Program. Lang. 4 (ICFP) (2020)
Jean Yang, Travis Hance, Thomas H. Austin, Armando Solar-Lezama, Cormac Flanagan, Stephen Chong
Precise, dynamic information flow for database-backed applications. PLDI (2016)
Jean Yang, Travis Hance, Thomas H. Austin, Armando Solar-Lezama, Cormac Flanagan, Stephen Chong
End-To-End Policy-Agnostic Security for Database-Backed Applications. CoRR (2015)
Scott Aaronson, Travis Hance
Generalizing and derandomizing Gurvits's approximation algorithm for the permanent. Quantum Inf. Comput. 14 (7-8) (2014)
Scott Aaronson, Travis Hance
Generalizing and Derandomizing Gurvits's Approximation Algorithm for the Permanent. Electron. Colloquium Comput. Complex. 19 (2012)
Scott Aaronson, Travis Hance
Generalizing and Derandomizing Gurvits's Approximation Algorithm for the Permanent CoRR (2012)