Travis Hance
Orcid: 0009-0003-1104-7795
According to our database1,
Travis Hance
authored at least 12 papers
between 2012 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Inductive Invariants That Spark Joy: Using Invariant Taxonomies to Streamline Distributed Protocol Proofs.
Proceedings of the 18th USENIX Symposium on Operating Systems Design and Implementation, 2024
2023
Proc. ACM Program. Lang., October, 2023
Proc. ACM Program. Lang., April, 2023
CoRR, 2023
CoRR, 2023
Sharding the State Machine: Automated Modular Reasoning for Complex Concurrent Systems.
Proceedings of the 17th USENIX Symposium on Operating Systems Design and Implementation, 2023
2021
Proceedings of the 18th USENIX Symposium on Networked Systems Design and Implementation, 2021
2020
Proceedings of the 14th USENIX Symposium on Operating Systems Design and Implementation, 2020
2016
Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2016
2015
2012
Electron. Colloquium Comput. Complex., 2012