Towards Automatic Inference of Inductive Invariants. - Haojun Ma; Aman Goel; Jean-Baptiste Jeannin; Manos Kapritsos; Baris Kasikci; Karem A. Sakallah (HotOS, 2019)

I4: incremental inference of inductive invariants for verification of distributed protocols. - Haojun Ma; Aman Goel; Jean-Baptiste Jeannin; Manos Kapritsos; Baris Kasikci; Karem A. Sakallah (SOSP, 2019)

Sift: Using Refinement-guided Automation to Verify Complex Distributed Systems. - Haojun Ma; Hammad Ahmad; Aman Goel; Eli Goldweber; Jean-Baptiste Jeannin; Manos Kapritsos; Baris Kasikci (USENIX ATC, 2022)

Armada: Automated Verification of Concurrent Code with Sound Semantic Extensibility. - Jacob R. Lorch; Yixuan Chen 002; Manos Kapritsos; Haojun Ma; Bryan Parno; Shaz Qadeer; Upamanyu Sharma; James R. Wilcox; Xueyuan Zhao (ACM Trans. Program. Lang. Syst., 2022)

Automating the Verification of Distributed Systems - Haojun Ma (2022)

An Energy-Based Approach to the Nonlinear Modeling and Drag-Free Control System Design of Space-Borne Gravitational Wave Detectors. - Haojun Ma; Mauricio Muñoz-Arias; Peng Han; Jianhua Zheng; Dong Gao (IEEE Trans. Aerosp. Electron. Syst., 2024)