USENIX supports diversity, equity, and inclusion and condemns hate and discrimination.
Inductive Invariants That Spark Joy: Using Invariant Taxonomies to Streamline Distributed Protocol Proofs
Submitted by admin on May 9, 2024 - 4:09 pm
| Title | Inductive Invariants That Spark Joy: Using Invariant Taxonomies to Streamline Distributed Protocol Proofs |
| Publication Type | Conference Paper |
| Year of Publication | 2024 |
| Authors | Zhang TNuda, Hance T, Kapritsos M, Chajed T, Parno B |
| Conference Name | 18th USENIX Symposium on Operating Systems Design and Implementation (OSDI 24) |
| Date Published | 07/2024 |
| Publisher | USENIX Association |
| Conference Location | Santa Clara, CA |
| ISBN Number | 978-1-939133-40-3 |
| URL | https://www.usenix.org/conference/osdi24/presentation/zhang-nuda |