@inproceedings {280790, author = {Haojun Ma and Hammad Ahmad and Aman Goel and Eli Goldweber and Jean-Baptiste Jeannin and Manos Kapritsos and Baris Kasikci}, title = {Sift: Using Refinement-guided Automation to Verify Complex Distributed Systems}, booktitle = {2022 USENIX Annual Technical Conference (USENIX ATC 22)}, year = {2022}, isbn = {978-1-939133-29-64}, address = {Carlsbad, CA}, pages = {151--166}, url = {https://www.usenix.org/conference/atc22/presentation/ma}, publisher = {USENIX Association}, month = jul }