USENIX supports diversity, equity, and inclusion and condemns hate and discrimination.
Biblio
Export 2 results:
Filters: Author is Runzhou Tao [Clear All Filters]
DuoAI: Fast, Automated Inference of Inductive Invariants for Verifying Distributed Protocols. 16th USENIX Symposium on Operating Systems Design and Implementation (OSDI 22). :485--501.
.
2022. DistAI: Data-Driven Automated Invariant Learning for Distributed Protocols. 15th USENIX Symposium on Operating Systems Design and Implementation (OSDI 21). :405--421.
.
2021.