Haojun Ma, Hammad Ahmad, Aman Goel, Eli Goldweber, Jean-Baptiste Jeannin, Manos Kapritsos, Baris Kasikci, Sift: Using Refinement-guided Automation to Verify Complex Distributed Systems, 2022 USENIX Annual Technical Conference (USENIX ATC ‘22) [pdf] [Video]
Jacob R. Lorch, Yixuan Chen, Manos Kapritsos, Haojun Ma, Bryan Parno, Shaz Qadeer, Upamanyu Sharma, James R. Wilcox, Xueyuan Zhao, Armada: Automated Verification of Concurrent Code with Sound Semantic Extensibility, ACM Transactions on Programming Languages and Systems (TOPLAS) 44(2) [pdf]
Haojun Ma, Aman Goel, Jean-Baptiste Jeannin, Manos Kapritsos, Baris Kasikci, Karem A. Sakallah, I4: Incremental Inference of Inductive Invariants for Verification of Distributed Protocols, 27th ACM Symposium on Operating Systems Principles (SOSP ‘19) [pdf] [Video] [Slides]
Haojun Ma, Aman Goel, Jean-Baptiste Jeannin, Manos Kapritsos, Baris Kasikci, Karem A. Sakallah, Towards Automatic Inference of Inductive Invariants, 17th Workshop on Hot Topics in Operating Systems (HotOS ‘19) [pdf]