Suivre
Haojun Ma
Haojun Ma
Adresse e-mail validée de umich.edu
Titre
Citée par
Citée par
Année
I4: incremental inference of inductive invariants for verification of distributed protocols
H Ma, A Goel, JB Jeannin, M Kapritsos, B Kasikci, KA Sakallah
Proceedings of the 27th ACM Symposium on Operating Systems Principles, 370-384, 2019
732019
Towards automatic inference of inductive invariants
H Ma, A Goel, JB Jeannin, M Kapritsos, B Kasikci, KA Sakallah
Proceedings of the Workshop on Hot Topics in Operating Systems, 30-36, 2019
82019
Sift: Using refinement-guided automation to verify complex distributed systems
H Ma, H Ahmad, A Goel, E Goldweber, JB Jeannin, M Kapritsos, B Kasikci
2022 USENIX Annual Technical Conference (USENIX ATC 22), 151-166, 2022
52022
Armada: Automated verification of concurrent code with sound semantic extensibility
JR Lorch, Y Chen, M Kapritsos, H Ma, B Parno, S Qadeer, U Sharma, ...
ACM Transactions on Programming Languages and Systems (TOPLAS) 44 (2), 1-39, 2022
32022
Automating the Verification of Distributed Systems
H Ma
2022
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–5