Manos Kapritsos - Publications

Tony (Nuda) Zhang, Travis Hance, Manos Kapritsos, Tej Chajed, Bryan Parno, Inductive Invariants That Spark Joy: Using Invariant Taxonomies to Streamline Distributed Protocol Proofs, 18th USENIX Symposium on Operatings Systems Design and Implementation (OSDI '24) PDF

Eli Goldweber, Weixin Yu, Seyed Armin Vakil Ghahani, Manos Kapritsos, IronSpec: Increasing the Reliability of Formal Specifications, 18th USENIX Symposium on Operatings Systems Design and Implementation (OSDI '24) PDF

Tony (Nuda) Zhang, Upamanyu Sharma, Manos Kapritsos, Performal: Formal Verification of Latency Properties for Distributed Systems, ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2023) PDF

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 (ATC 2022) PDF

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 Transactions on Programming Languages and Systems 2021 (TOPLAS 2021)

Jacob R. Lorch, Yixuan Chen, Manos Kapritsos, Bryan Parno, Shaz Qadeer, Upamanyu Sharma, James R. Wilcox, Xueyuan Zhao, Armada: Low-Effort Verification of High-Performance Concurrent Programs, 41st ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2020) distinguished paper award PDF

Eli Goldweber, Nuda Zhang, Manos Kapritsos, Brief Announcement: On the Significance of Consecutive Ballots in Paxos, 39th ACM Symposium on Principles of Distributed Computing (PODC 2020) PDF

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, 27th ACM Symposium on Operating Systems Principles (SOSP '19) PDF

Remzi Can Aksoy, Manos Kapritsos, Aegean: Replication Beyond the Client-Server Model, 27th ACM Symposium on Operating Systems Principles (SOSP '19) PDF

Haojun Ma, Aman Goel, Jean-Baptiste Jeannin, Manos Kapritsos, Baris Kasikci, Karem A. Sakallah, Towards Automatic Inference of Inductive Invariants, 17th Workshop on Hot Topics in Operating Systems (HotOS '19) PDF

Barry Bond, Chris Hawblitzel, Manos Kapritsos, Rustan Leino, Jacob R. Lorch, Bryan Parno, Ashay Rane, Srinath Setty, Laure Thompson Vale: Verifying High-Performance Cryptographic Assembly Code, 26th USENIX Security Symposium (USENIX Security '17) distinguished paper award PDF

Chris Hawblitzel, Jon Howell, Manos Kapritsos, Jacob R. Lorch, Bryan Parno, Michael L. Roberts, Srinath Setty, Brian Zill, IronFleet: proving safety and liveness of practical distributed systems, Communications of the ACM Volume 60 Issue 7, July 2017 (CACM July '17) PDF

Chris Hawblitzel, Jon Howell, Manos Kapritsos, Jacob R. Lorch, Bryan Parno, Srinath Setty, Brial Zill, IronFleet: Proving Practical Distributed Systems Correct, 25th ACM Symposium on Operating Systems Principles (SOSP '15) PDF

Chao Xie, Chunzhi Su, Cody Littley, Lorenzo Alvisi, Manos Kapritsos, Yang Wang, High-Performance ACID via Modular Concurrency Control, 25th ACM Symposium on Operating Systems Principles (SOSP '15)

Chao Xie, Chunzhi Su, Manos Kapritsos, Yang Wang, Navid Yaghmazadeh, Lorenzo Alvisi, Prince Mahajan, Salt: Combining ACID and BASE in a Distributed Database, 11th USENIX Symposium on Operatings Systems Design and Implementation (OSDI '14)

Yang Wang, Manos Kapritsos, Lorenzo Alvisi, Mike Dahlin, Exalt: Empowering Researchers to Evaluate Large-Scale Storage Systems, 11th USENIX Symposium on Networked Systems Design and Implementation (NSDI '14)

Yang Wang, Manos Kapritsos, Zuocheng Ren, Prince Mahajan, Jeevitha Kirubanandam, Lorenzo Alvisi, Mike Dahlin, Robustness in the Salus scalable block store, 10th USENIX Symposium on Networked Systems Design and Implementation (NSDI '13)

Manos Kapritsos, Yang Wang, Vivien Quema, Allen Clement, Lorenzo Alvisi, Mike Dahlin, All about Eve: Execute-Verify Replication for Multi-Core Servers, 10th USENIX Symposium on Operating Systems Design and Implementation (OSDI '12)

Manos Kapritsos, Flavio Junqueira, Scalable agreement: Toward ordering as a service, Sixth Workshop on Hot Topics in System Dependability (HotDep '10)

Allen Clement, Manos Kapritsos, Sangmin Lee, Yang Wang, Lorenzo Alvisi, Mike Dahlin, Taylor Riche, UpRight Cluster Services, 22nd ACM Symposium on Operating Systems Principles (SOSP '09) PDF

Harry C. Li, Allen Clement, Mirco Marchetti, Manos Kapritsos, Luke Robison, Lorenzo Alvisi, and Mike Dahlin, FlightPath: Obedience vs. Choice in Cooperative Services, 8th USENIX Symposium on Operating Systems Design and Implementation (OSDI '08)