Travis Hance

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