Haojun Ma

According to our database, Haojun Ma authored at least 6 papers between 2019 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

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., October, 2024

2022

Automating the Verification of Distributed Systems

Haojun Ma

PhD thesis, 2022

Armada: Automated Verification of Concurrent Code with Sound Semantic Extensibility.

Jacob R. Lorch, Yixuan Chen, Manos Kapritsos, Haojun Ma, Bryan Parno, Shaz Qadeer, Upamanyu Sharma, James R. Wilcox, Xueyuan Zhao

ACM Trans. Program. Lang. Syst., 2022

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

Proceedings of the 2022 USENIX Annual Technical Conference, 2022

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

Proceedings of the 27th ACM Symposium on Operating Systems Principles, 2019

Towards Automatic Inference of Inductive Invariants.

Haojun Ma, Aman Goel, Jean-Baptiste Jeannin, Manos Kapritsos, Baris Kasikci, Karem A. Sakallah

Proceedings of the Workshop on Hot Topics in Operating Systems, 2019