USENIX reaffirms its commitment to diversity, equity, and inclusion.
Biblio
Export 1 results:
Filters: Author is Runzhou Tao [Clear All Filters]
.
2021. DistAI: Data-Driven Automated Invariant Learning for Distributed Protocols. 15th USENIX Symposium on Operating Systems Design and Implementation (OSDI 21). :405--421.