| 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 | 81 | 2019 |
| 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 | 9 | 2022 |
| 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 | 8 | 2019 |
| 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 | 4 | 2022 |
| Automating the Verification of Distributed Systems H Ma | | 2022 |
Manos KapritsosAssociate Professor, University of MichiganVerified email at umich.edu
