Travis Hance
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
4
Active years
2016–2024
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | OSDI | Inductive Invariants That Spark Joy: Using Invariant Taxonomies to Streamline Distributed Protocol Proofs. | Tony Nuda Zhang, Travis Hance, Manos Kapritsos, Tej Chajed, Bryan Parno |
| 2024 | SOSP | 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 |
| 2023 | OSDI | 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 |
| 2021 | NSDI | Finding Invariants of Distributed Systems: It's a Small (Enough) World After All. | Travis Hance, Marijn Heule, Ruben Martins, Bryan Parno |
| 2020 | OSDI | Storage Systems are Distributed Systems (So Verify Them That Way!). | Travis Hance, Andrea Lattuada, Chris Hawblitzel, Jon Howell, Rob Johnson, Bryan Parno |
| 2016 | PLDI | Precise, dynamic information flow for database-backed applications. | Jean Yang, Travis Hance, Thomas H. Austin, Armando Solar-Lezama, Cormac Flanagan, Stephen Chong |