Manos Kapritsos

31 papers A* 15A 2Misc 2Journal 8Unranked 4
YearRankTypeTitle / Venue / Authors
2025 A* conf
Basilisk: Using Provenance Invariants to Automate Proofs of Undecidable Protocols.
OSDI
Tony Nuda Zhang, Keshav Singh, Tej Chajed, Manos Kapritsos, Bryan Parno
2025 A* conf
Picsou: Enabling Replicated State Machines to Communicate Efficiently.
OSDI
Reginald Frank, Micah Murray, Chawinphat Tankuranand, Junseo Yoo, Ethan Xu, Natacha Crooks, Suyash Gupta, Manos Kapritsos
2025 J jnl
Recipe: Hardware-Accelerated Replication Protocols.
CoRR
Dimitra Giantsidi, Emmanouil Giortamis, Julian Pritzi, Maurice Bailleu, Manos Kapritsos, Pramod Bhatotia
2025 A conf
Recipe: Hardware-Accelerated Replication Protocols: Rethinking Crash Fault Tolerance Protocols for Untrusted Cloud Environments.
Middleware
Dimitra Giantsidi, Emmanouil Giortamis, Julian Pritzi, Maurice Bailleu, Manos Kapritsos, Pramod Bhatotia
2024 — conf
Formally verified asymptotic consensus in robust networks.
TACAS (1)
Mohit Tekriwal, Avi Tachna-Fram, Jean-Baptiste Jeannin, Manos Kapritsos, Dimitra Panagou
2024 A* conf
Inductive Invariants That Spark Joy: Using Invariant Taxonomies to Streamline Distributed Protocol Proofs.
OSDI
Tony Nuda Zhang, Travis Hance, Manos Kapritsos, Tej Chajed, Bryan Parno
2024 A* conf
IronSpec: Increasing the Reliability of Formal Specifications.
OSDI
Eli Goldweber, Weixin Yu, Seyed Armin Vakil-Ghahani, Manos Kapritsos
2023 J jnl
Performal: Formal Verification of Latency Properties for Distributed Systems.
Proc. ACM Program. Lang.
Tony Nuda Zhang, Upamanyu Sharma, Manos Kapritsos
2023 J jnl
Picsou: Enabling Efficient Cross-Consensus Communication.
CoRR
Reginald Frank, Micah Murray, Suyash Gupta, Ethan Xu, Natacha Crooks, Manos Kapritsos
2022 J jnl
Armada: Automated Verification of Concurrent Code with Sound Semantic Extensibility.
ACM Trans. Program. Lang. Syst.
Jacob R. Lorch, Yixuan Chen, Manos Kapritsos, Haojun Ma, Bryan Parno, Shaz Qadeer, Upamanyu Sharma, James R. Wilcox, Xueyuan Zhao
2022 J jnl
Formally verified asymptotic consensus in robust networks.
CoRR
Mohit Tekriwal, Avi Tachna-Fram, Jean-Baptiste Jeannin, Manos Kapritsos, Dimitra Panagou
2022 — conf
Sift: Using Refinement-guided Automation to Verify Complex Distributed Systems.
USENIX ATC
Haojun Ma, Hammad Ahmad, Aman Goel, Eli Goldweber, Jean-Baptiste Jeannin, Manos Kapritsos, Baris Kasikci
2020 A* conf
Armada: low-effort verification of high-performance concurrent programs.
PLDI
Jacob R. Lorch, Yixuan Chen, Manos Kapritsos, Bryan Parno, Shaz Qadeer, Upamanyu Sharma, James R. Wilcox, Xueyuan Zhao
2020 A* conf
Brief Announcement: On the Significance of Consecutive Ballots in Paxos.
PODC
Eli Goldweber, Nuda Zhang, Manos Kapritsos
2020 J jnl
On the Significance of Consecutive Ballots in Paxos.
CoRR
Eli Goldweber, Nuda Zhang, Manos Kapritsos
2019 A* conf
Aegean: replication beyond the client-server model.
SOSP
Remzi Can Aksoy, Manos Kapritsos
2019 A* conf
I4: incremental inference of inductive invariants for verification of distributed protocols.
SOSP
Haojun Ma, Aman Goel, Jean-Baptiste Jeannin, Manos Kapritsos, Baris Kasikci, Karem A. Sakallah
2019 A conf
Towards Automatic Inference of Inductive Invariants.
HotOS
Haojun Ma, Aman Goel, Jean-Baptiste Jeannin, Manos Kapritsos, Baris Kasikci, Karem A. Sakallah
2017 J jnl
IronFleet: proving safety and liveness of practical distributed systems.
Commun. ACM
Chris Hawblitzel, Jon Howell, Manos Kapritsos, Jacob R. Lorch, Bryan Parno, Michael Lowell Roberts, Srinath T. V. Setty, Brian Zill
2017 A* conf
Vale: Verifying High-Performance Cryptographic Assembly Code.
USENIX Security Symposium
Barry Bond, Chris Hawblitzel, Manos Kapritsos, K. Rustan M. Leino, Jacob R. Lorch, Bryan Parno, Ashay Rane, Srinath T. V. Setty, Laure Thompson
2015 A* conf
High-performance ACID via modular concurrency control.
SOSP
Chao Xie, Chunzhi Su, Cody Littley, Lorenzo Alvisi, Manos Kapritsos, Yang Wang
2015 A* conf
IronFleet: proving practical distributed systems correct.
SOSP
Chris Hawblitzel, Jon Howell, Manos Kapritsos, Jacob R. Lorch, Bryan Parno, Michael Lowell Roberts, Srinath T. V. Setty, Brian Zill
2014 Misc conf
Exalt: Empowering Researchers to Evaluate Large-Scale Storage Systems.
NSDI
Yang Wang, Manos Kapritsos, Lara Schmidt, Lorenzo Alvisi, Mike Dahlin
2014 A* conf
Salt: Combining ACID and BASE in a Distributed Database.
OSDI
Chao Xie, Chunzhi Su, Manos Kapritsos, Yang Wang, Navid Yaghmazadeh, Lorenzo Alvisi, Prince Mahajan
2013 Misc conf
Robustness in the Salus Scalable Block Store.
NSDI
Yang Wang, Manos Kapritsos, Zuocheng Ren, Prince Mahajan, Jeevitha Kirubanandam, Lorenzo Alvisi, Mike Dahlin
2012 A* conf
All about Eve: Execute-Verify Replication for Multi-Core Servers.
OSDI
Manos Kapritsos, Yang Wang, Vivien Quéma, Allen Clement, Lorenzo Alvisi, Mike Dahlin
2010 — conf
Scalable Agreement: Toward Ordering as a Service.
HotDep
Manos Kapritsos, Flavio Paiva Junqueira
2009 A* conf
Upright cluster services.
SOSP
Allen Clement, Manos Kapritsos, Sangmin Lee, Yang Wang, Lorenzo Alvisi, Michael Dahlin, Taylor Riché
2008 A* conf
FlightPath: Obedience vs. Choice in Cooperative Services.
OSDI
Harry C. Li, Allen Clement, Mirco Marchetti, Manos Kapritsos, Luke Robison, Lorenzo Alvisi, Michael Dahlin
2007 — conf
BAD: bandwidth adaptive dissemination or (the case for BAD trees).
Middleware (Demos and Posters)
Manos Kapritsos, Peter Triantafillou
2007 J jnl
Middleware 2007 Works in Progress.
IEEE Distributed Syst. Online
Edward Curry, Knarig Arabshian, Henning Schulzrinne, Mohammed Jubaer Arif, Shanika Karunasekera, Santosh Kulkarni, Roberto Speicys Cardoso, Sonia Ben Mokhtar, Valérie Issarny, Aitor Urbieta, Manos Kapritsos, Peter Triantafillou, Juan Lopez Rubio, Hao Yang, Fan Ye, Zhen Liu