Biblio

Export 1 results:
Filters: Author is Jianan Yao  [Clear All Filters]
2021
Yao J, Tao R, Gu R, Nieh J, Jana S, Ryan G.  2021.  DistAI: Data-Driven Automated Invariant Learning for Distributed Protocols. 15th USENIX Symposium on Operating Systems Design and Implementation (OSDI 21). :405--421.