Biblio

Export 1 results:
Filters: Author is Haojun Ma  [Clear All Filters]
2022
Ma H, Ahmad H, Goel A, Goldweber E, Jeannin J-B, Kapritsos M, Kasikci B.  2022.  Sift: Using Refinement-guided Automation to Verify Complex Distributed Systems. 2022 USENIX Annual Technical Conference (USENIX ATC 22). :151--166.