( en | de | ru )

 

Disambiguierung von "Hance, Travis"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Sharding the State Machine: Automated Modular Reasoning for Complex Concurrent Systems.

, , , , , , , , , und . OSDI, Seite 911-929. USENIX Association, (2023)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Travis Gagie

Travis Simpkins

 

Weitere Publikationen von Autoren mit dem selben Namen

Generalizing and Derandomizing Gurvits's Approximation Algorithm for the Permanent., und . Electron. Colloquium Comput. Complex., (2012)Verus: Verifying Rust Programs using Linear Ghost Types (extended version)., , , , , , , , und . CoRR, (2023)Generalizing and derandomizing Gurvits's approximation algorithm for the permanent., und . Quantum Inf. Comput., 14 (7-8): 541-559 (2014)Leaf: Modularity for Temporary Sharing in Separation Logic (Extended Version)., , , und . CoRR, (2023)Storage Systems are Distributed Systems (So Verify Them That Way!)., , , , , und . OSDI, Seite 99-115. USENIX Association, (2020)Liquid information flow control., , , , , und . Proc. ACM Program. Lang., 4 (ICFP): 105:1-105:30 (2020)Finding Invariants of Distributed Systems: It's a Small (Enough) World After All., , , und . NSDI, Seite 115-131. USENIX Association, (2021)Leaf: Modularity for Temporary Sharing in Separation Logic., , , und . Proc. ACM Program. Lang., 7 (OOPSLA2): 31-58 (Oktober 2023)Sharding the State Machine: Automated Modular Reasoning for Complex Concurrent Systems., , , , , , , , , und . OSDI, Seite 911-929. USENIX Association, (2023)Verus: Verifying Rust Programs using Linear Ghost Types., , , , , , , , und . Proc. ACM Program. Lang., 7 (OOPSLA1): 286-315 (April 2023)