| IronFleet: proving practical distributed systems correct C Hawblitzel, J Howell, M Kapritsos, JR Lorch, B Parno, ML Roberts, ... Proceedings of the 25th Symposium on Operating Systems Principles, 1-17, 2015 | 453 | 2015 |
| Upright cluster services A Clement, M Kapritsos, S Lee, Y Wang, L Alvisi, M Dahlin, T Riche Proceedings of the ACM SIGOPS 22nd symposium on Operating systems principles …, 2009 | 328 | 2009 |
| All about eve:{Execute-Verify} replication for {Multi-Core} servers M Kapritsos, Y Wang, V Quema, A Clement, L Alvisi, M Dahlin 10th USENIX Symposium on Operating Systems Design and Implementation (OSDI …, 2012 | 265 | 2012 |
| Vale: Verifying {High-Performance} Cryptographic Assembly Code B Bond, C Hawblitzel, M Kapritsos, KRM Leino, JR Lorch, B Parno, ... 26th USENIX security symposium (USENIX security 17), 917-934, 2017 | 187 | 2017 |
| FlightPath: Obedience vs. Choice in Cooperative Services. HC Li, A Clement, M Marchetti, M Kapritsos, L Robison, L Alvisi, M Dahlin OSDI 8, 355-368, 2008 | 125 | 2008 |
| High-performance ACID via modular concurrency control C Xie, C Su, C Littley, L Alvisi, M Kapritsos, Y Wang Proceedings of the 25th Symposium on Operating Systems Principles, 279-294, 2015 | 120 | 2015 |
| Robustness in the Salus scalable block store Y Wang, M Kapritsos, Z Ren, P Mahajan, J Kirubanandam, L Alvisi, ... 10th USENIX Symposium on Networked Systems Design and Implementation (NSDI …, 2013 | 87 | 2013 |
| 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 | 80 | 2019 |
| Salt: Combining {ACID} and {BASE} in a distributed database C Xie, C Su, M Kapritsos, Y Wang, N Yaghmazadeh, L Alvisi, P Mahajan 11th USENIX Symposium on Operating Systems Design and Implementation (OSDI …, 2014 | 77 | 2014 |
| Scalable agreement: Toward ordering as a service M Kapritsos, FP Junqueira Sixth Workshop on Hot Topics in System Dependability (HotDep 10), 2010 | 49 | 2010 |
| Armada: low-effort verification of high-performance concurrent programs JR Lorch, Y Chen, M Kapritsos, B Parno, S Qadeer, U Sharma, JR Wilcox, ... Proceedings of the 41st ACM SIGPLAN Conference on Programming Language …, 2020 | 46 | 2020 |
| Exalt: Empowering Researchers to Evaluate {Large-Scale} Storage Systems Y Wang, M Kapritsos, L Schmidt, L Alvisi, M Dahlin 11th USENIX Symposium on Networked Systems Design and Implementation (NSDI …, 2014 | 32 | 2014 |
| Robustness in a scalable block storage system MD Dahlin, L Alvisi, L Ganesh, M Silberstein, Y Wang, M Kapritsos, ... US Patent App. 13/967,513, 2014 | 25 | 2014 |
| Aegean: replication beyond the client-server model RC Aksoy, M Kapritsos Proceedings of the 27th ACM Symposium on Operating Systems Principles, 385-398, 2019 | 19 | 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 | 8 | 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 |
| Performal: Formal Verification of Latency Properties for Distributed Systems TN Zhang, U Sharma, M Kapritsos Proceedings of the ACM on Programming Languages 7 (PLDI), 368-393, 2023 | 7 | 2023 |
| Bad: Bandwidth adaptive dissemination or (the case for bad trees) M Kapritsos, P Triantafillou Proceedings of the 2007 ACM/IFIP/USENIX international conference on …, 2007 | 4 | 2007 |
| 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 | 3 | 2022 |
| On the Significance of Consecutive Ballots in Paxos E Goldweber, N Zhang, M Kapritsos arXiv preprint arXiv:2006.01885, 2020 | 2 | 2020 |
M DahlinProfessor of Computer Science University of TexasDirección de correo verificada de cs.utexas.edu
