Manos Kapritsos

Publication Activity (10 Years)

Years Active: 2007-2024
Publications (10 Years): 18

Top Topics

Distributed Systems

Concurrent Programs

Data Replication

Fault Tolerance

Top Venues

Publications

Eli Goldweber, Weixin Yu, Seyed Armin Vakil-Ghahani, Manos Kapritsos
IronSpec: Increasing the Reliability of Formal Specifications. OSDI (2024)
Tony Nuda Zhang, Travis Hance, Manos Kapritsos, Tej Chajed, Bryan Parno
Inductive Invariants That Spark Joy: Using Invariant Taxonomies to Streamline Distributed Protocol Proofs. OSDI (2024)
Mohit Tekriwal, Avi Tachna-Fram, Jean-Baptiste Jeannin, Manos Kapritsos, Dimitra Panagou
Formally verified asymptotic consensus in robust networks. TACAS (1) (2024)
Reginald Frank, Micah Murray, Suyash Gupta, Ethan Xu, Natacha Crooks, Manos Kapritsos
Picsou: Enabling Efficient Cross-Consensus Communication. CoRR (2023)
Tony Nuda Zhang, Upamanyu Sharma, Manos Kapritsos
Performal: Formal Verification of Latency Properties for Distributed Systems. Proc. ACM Program. Lang. 7 (PLDI) (2023)
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)
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 Trans. Program. Lang. Syst. 44 (2) (2022)
Mohit Tekriwal, Avi Tachna-Fram, Jean-Baptiste Jeannin, Manos Kapritsos, Dimitra Panagou
Formally verified asymptotic consensus in robust networks. CoRR (2022)
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. PLDI (2020)
Eli Goldweber, Nuda Zhang, Manos Kapritsos
On the Significance of Consecutive Ballots in Paxos. CoRR (2020)
Eli Goldweber, Nuda Zhang, Manos Kapritsos
Brief Announcement: On the Significance of Consecutive Ballots in Paxos. PODC (2020)
Haojun Ma, Aman Goel, Jean-Baptiste Jeannin, Manos Kapritsos, Baris Kasikci, Karem A. Sakallah
Towards Automatic Inference of Inductive Invariants. HotOS (2019)
Remzi Can Aksoy, Manos Kapritsos
Aegean: replication beyond the client-server model. SOSP (2019)
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. SOSP (2019)
Barry Bond, Chris Hawblitzel, Manos Kapritsos, K. Rustan M. Leino, Jacob R. Lorch, Bryan Parno, Ashay Rane, Srinath T. V. Setty, Laure Thompson
Vale: Verifying High-Performance Cryptographic Assembly Code. USENIX Security Symposium (2017)
Chris Hawblitzel, Jon Howell, Manos Kapritsos, Jacob R. Lorch, Bryan Parno, Michael L. Roberts, Srinath T. V. Setty, Brian Zill
IronFleet: proving safety and liveness of practical distributed systems. Commun. ACM 60 (7) (2017)
Chris Hawblitzel, Jon Howell, Manos Kapritsos, Jacob R. Lorch, Bryan Parno, Michael L. Roberts, Srinath T. V. Setty, Brian Zill
IronFleet: proving practical distributed systems correct. SOSP (2015)
Chao Xie, Chunzhi Su, Cody Littley, Lorenzo Alvisi, Manos Kapritsos, Yang Wang
High-performance ACID via modular concurrency control. SOSP (2015)
Yang Wang, Manos Kapritsos, Lara Schmidt, Lorenzo Alvisi, Mike Dahlin
Exalt: Empowering Researchers to Evaluate Large-Scale Storage Systems. NSDI (2014)
Chao Xie, Chunzhi Su, Manos Kapritsos, Yang Wang, Navid Yaghmazadeh, Lorenzo Alvisi, Prince Mahajan
Salt: Combining ACID and BASE in a Distributed Database. OSDI (2014)
Yang Wang, Manos Kapritsos, Zuocheng Ren, Prince Mahajan, Jeevitha Kirubanandam, Lorenzo Alvisi, Mike Dahlin
Robustness in the Salus Scalable Block Store. NSDI (2013)
Manos Kapritsos, Yang Wang, Vivien Quéma, Allen Clement, Lorenzo Alvisi, Mike Dahlin
All about Eve: Execute-Verify Replication for Multi-Core Servers. OSDI (2012)
Manos Kapritsos, Flavio Paiva Junqueira
Scalable Agreement: Toward Ordering as a Service. HotDep (2010)
Allen Clement, Manos Kapritsos, Sangmin Lee, Yang Wang, Lorenzo Alvisi, Michael Dahlin, Taylor Riché
Upright cluster services. SOSP (2009)
Harry C. Li, Allen Clement, Mirco Marchetti, Manos Kapritsos, Luke Robison, Lorenzo Alvisi, Michael Dahlin
FlightPath: Obedience vs. Choice in Cooperative Services. OSDI (2008)
Manos Kapritsos, Peter Triantafillou
BAD: bandwidth adaptive dissemination or (the case for BAD trees). Middleware (Demos and Posters) (2007)
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
Middleware 2007 Works in Progress. IEEE Distributed Syst. Online 8 (11) (2007)