BAD: bandwidth adaptive dissemination or (the case for BAD trees). - Manos Kapritsos; Peter Triantafillou (Middleware (Demos and Posters), 2007)

Middleware 2007 Works in Progress. - Edward Curry; Knarig Arabshian; Henning Schulzrinne; Mohammed Jubaer Arif; Shanika Karunasekera; Santosh Kulkarni 001; Roberto Speicys Cardoso; Sonia Ben Mokhtar; Valérie Issarny; Aitor Urbieta; Manos Kapritsos; Peter Triantafillou; et al. (IEEE Distributed Syst. Online, 2007)

FlightPath: Obedience vs. Choice in Cooperative Services. - Harry C. Li; Allen Clement; Mirco Marchetti; Manos Kapritsos; Luke Robison; Lorenzo Alvisi; Michael Dahlin (OSDI, 2008)

Upright cluster services. - Allen Clement; Manos Kapritsos; Sangmin Lee; Yang Wang 009; Lorenzo Alvisi; Michael Dahlin; Taylor Riché (SOSP, 2009)

Scalable Agreement: Toward Ordering as a Service. - Manos Kapritsos; Flavio Paiva Junqueira (HotDep, 2010)

All about Eve: Execute-Verify Replication for Multi-Core Servers. - Manos Kapritsos; Yang Wang 009; Vivien Quéma; Allen Clement; Lorenzo Alvisi; Mike Dahlin (OSDI, 2012)

Robustness in the Salus Scalable Block Store. - Yang Wang 009; Manos Kapritsos; Zuocheng Ren; Prince Mahajan; Jeevitha Kirubanandam; Lorenzo Alvisi; Mike Dahlin (NSDI, 2013)

Exalt: Empowering Researchers to Evaluate Large-Scale Storage Systems. - Yang Wang 009; Manos Kapritsos; Lara Schmidt; Lorenzo Alvisi; Mike Dahlin (NSDI, 2014)

Salt: Combining ACID and BASE in a Distributed Database. - Chao Xie; Chunzhi Su; Manos Kapritsos; Yang Wang 009; Navid Yaghmazadeh; Lorenzo Alvisi; Prince Mahajan (OSDI, 2014)

IronFleet: proving practical distributed systems correct. - Chris Hawblitzel; Jon Howell; Manos Kapritsos; Jacob R. Lorch; Bryan Parno; Michael Lowell Roberts; Srinath T. V. Setty; Brian Zill (SOSP, 2015)

High-performance ACID via modular concurrency control. - Chao Xie; Chunzhi Su; Cody Littley; Lorenzo Alvisi; Manos Kapritsos; Yang Wang 009 (SOSP, 2015)

Vale: Verifying High-Performance Cryptographic Assembly Code. - Barry Bond; Chris Hawblitzel; Manos Kapritsos; K. Rustan M. Leino; Jacob R. Lorch; Bryan Parno; Ashay Rane; Srinath T. V. Setty; Laure Thompson (USENIX Security Symposium, 2017)

IronFleet: proving safety and liveness of practical distributed systems. - Chris Hawblitzel; Jon Howell; Manos Kapritsos; Jacob R. Lorch; Bryan Parno; Michael Lowell Roberts; Srinath T. V. Setty; Brian Zill (Commun. ACM, 2017)

Towards Automatic Inference of Inductive Invariants. - Haojun Ma; Aman Goel; Jean-Baptiste Jeannin; Manos Kapritsos; Baris Kasikci; Karem A. Sakallah (HotOS, 2019)

Aegean: replication beyond the client-server model. - Remzi Can Aksoy; Manos Kapritsos (SOSP, 2019)

I4: incremental inference of inductive invariants for verification of distributed protocols. - Haojun Ma; Aman Goel; Jean-Baptiste Jeannin; Manos Kapritsos; Baris Kasikci; Karem A. Sakallah (SOSP, 2019)

Armada: low-effort verification of high-performance concurrent programs. - Jacob R. Lorch; Yixuan Chen 002; Manos Kapritsos; Bryan Parno; Shaz Qadeer; Upamanyu Sharma; James R. Wilcox; Xueyuan Zhao (PLDI, 2020)

Brief Announcement: On the Significance of Consecutive Ballots in Paxos. - Eli Goldweber; Nuda Zhang; Manos Kapritsos (PODC, 2020)

On the Significance of Consecutive Ballots in Paxos. - Eli Goldweber; Nuda Zhang; Manos Kapritsos (CoRR, 2020)

Sift: Using Refinement-guided Automation to Verify Complex Distributed Systems. - Haojun Ma; Hammad Ahmad; Aman Goel; Eli Goldweber; Jean-Baptiste Jeannin; Manos Kapritsos; Baris Kasikci (USENIX ATC, 2022)

Armada: Automated Verification of Concurrent Code with Sound Semantic Extensibility. - Jacob R. Lorch; Yixuan Chen 002; Manos Kapritsos; Haojun Ma; Bryan Parno; Shaz Qadeer; Upamanyu Sharma; James R. Wilcox; Xueyuan Zhao (ACM Trans. Program. Lang. Syst., 2022)

Picsou: Enabling Efficient Cross-Consensus Communication. - Reginald Frank; Micah Murray; Suyash Gupta 001; Ethan Xu; Natacha Crooks; Manos Kapritsos (CoRR, 2023)

Performal: Formal Verification of Latency Properties for Distributed Systems. - Tony Nuda Zhang; Upamanyu Sharma; Manos Kapritsos (Proc. ACM Program. Lang., 2023)

IronSpec: Increasing the Reliability of Formal Specifications. - Eli Goldweber; Weixin Yu; Seyed Armin Vakil-Ghahani; Manos Kapritsos (OSDI, 2024)

Inductive Invariants That Spark Joy: Using Invariant Taxonomies to Streamline Distributed Protocol Proofs. - Tony Nuda Zhang; Travis Hance; Manos Kapritsos; Tej Chajed; Bryan Parno (OSDI, 2024)

Formally verified asymptotic consensus in robust networks. - Mohit Tekriwal; Avi Tachna-Fram; Jean-Baptiste Jeannin; Manos Kapritsos; Dimitra Panagou (TACAS (1), 2024)

Picsou: Enabling Replicated State Machines to Communicate Efficiently. - Reginald Frank; Micah Murray; Chawinphat Tankuranand; Junseo Yoo; Ethan Xu; Natacha Crooks; Suyash Gupta 001; Manos Kapritsos (OSDI, 2025)

Basilisk: Using Provenance Invariants to Automate Proofs of Undecidable Protocols. - Tony Nuda Zhang; Keshav Singh; Tej Chajed; Manos Kapritsos; Bryan Parno (OSDI, 2025)

Recipe: Hardware-Accelerated Replication Protocols. - Dimitra Giantsidi; Emmanouil Giortamis; Julian Pritzi; Maurice Bailleu; Manos Kapritsos; Pramod Bhatotia (CoRR, 2025)