Haojun Ma

Publication Activity (10 Years)

Years Active: 2019-2022
Publications (10 Years): 4

Top Topics

Object Recognition

Deductive Reasoning

Invariant Features

Distributed Systems

Top Venues

USENIX Annual Technical Conference

ACM Trans. Program. Lang. Syst.

Publications

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. USENIX Annual Technical Conference (2022)
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 Trans. Program. Lang. Syst. 44 (2) (2022)
Haojun Ma, Aman Goel, Jean-Baptiste Jeannin, Manos Kapritsos, Baris Kasikci, Karem A. Sakallah
Towards Automatic Inference of Inductive Invariants. HotOS (2019)
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. SOSP (2019)