Manos Kapritsos

According to our database, Manos Kapritsos authored at least 26 papers between 2007 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Formally verified asymptotic consensus in robust networks.

Mohit Tekriwal, Avi Tachna-Fram, Jean-Baptiste Jeannin, Manos Kapritsos, Dimitra Panagou

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 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

Proceedings of the 18th USENIX Symposium on Operating Systems Design and Implementation, 2024

IronSpec: Increasing the Reliability of Formal Specifications.

Eli Goldweber, Weixin Yu, Seyed Armin Vakil-Ghahani, Manos Kapritsos

Proceedings of the 18th USENIX Symposium on Operating Systems Design and Implementation, 2024

2023

Performal: Formal Verification of Latency Properties for Distributed Systems.

Tony Nuda Zhang, Upamanyu Sharma, Manos Kapritsos

Proc. ACM Program. Lang., 2023

Picsou: Enabling Efficient Cross-Consensus Communication.

Reginald Frank, Micah Murray, Suyash Gupta, Ethan Xu, Natacha Crooks, Manos Kapritsos

CoRR, 2023

2022

Armada: Automated Verification of Concurrent Code with Sound Semantic Extensibility.

Jacob R. Lorch, Yixuan Chen, Manos Kapritsos, Haojun Ma, Bryan Parno, Shaz Qadeer, Upamanyu Sharma, James R. Wilcox, Xueyuan Zhao

ACM Trans. Program. Lang. Syst., 2022

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

Proceedings of the 2022 USENIX Annual Technical Conference, 2022

2020

On the Significance of Consecutive Ballots in Paxos.

Eli Goldweber, Nuda Zhang, Manos Kapritsos

CoRR, 2020

Brief Announcement: On the Significance of Consecutive Ballots in Paxos.

Eli Goldweber, Nuda Zhang, Manos Kapritsos

Proceedings of the PODC '20: ACM Symposium on Principles of Distributed Computing, 2020

Armada: low-effort verification of high-performance concurrent programs.

Jacob R. Lorch, Yixuan Chen, Manos Kapritsos, Bryan Parno, Shaz Qadeer, Upamanyu Sharma, James R. Wilcox, Xueyuan Zhao

Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020

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

Proceedings of the 27th ACM Symposium on Operating Systems Principles, 2019

Aegean: replication beyond the client-server model.

Remzi Can Aksoy, Manos Kapritsos

Proceedings of the 27th ACM Symposium on Operating Systems Principles, 2019

Towards Automatic Inference of Inductive Invariants.

Haojun Ma, Aman Goel, Jean-Baptiste Jeannin, Manos Kapritsos, Baris Kasikci, Karem A. Sakallah

Proceedings of the Workshop on Hot Topics in Operating Systems, 2019

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

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

Proceedings of the 26th USENIX Security Symposium, 2017

2015

High-performance ACID via modular concurrency control.

Chao Xie, Chunzhi Su, Cody Littley, Lorenzo Alvisi, Manos Kapritsos, Yang Wang

Proceedings of the 25th Symposium on Operating Systems Principles, 2015

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

Proceedings of the 25th Symposium on Operating Systems Principles, 2015

2014

Salt: Combining ACID and BASE in a Distributed Database.

Chao Xie, Chunzhi Su, Manos Kapritsos, Yang Wang, Navid Yaghmazadeh, Lorenzo Alvisi, Prince Mahajan

Proceedings of the 11th USENIX Symposium on Operating Systems Design and Implementation, 2014

Exalt: Empowering Researchers to Evaluate Large-Scale Storage Systems.

Yang Wang, Manos Kapritsos, Lara Schmidt, Lorenzo Alvisi, Mike Dahlin

Proceedings of the 11th USENIX Symposium on Networked Systems Design and Implementation, 2014

2013

Robustness in the Salus Scalable Block Store.

Yang Wang, Manos Kapritsos, Zuocheng Ren, Prince Mahajan, Jeevitha Kirubanandam, Lorenzo Alvisi, Mike Dahlin

Proceedings of the 10th USENIX Symposium on Networked Systems Design and Implementation, 2013

2012

All about Eve: Execute-Verify Replication for Multi-Core Servers.

Manos Kapritsos, Yang Wang, Vivien Quéma, Allen Clement, Lorenzo Alvisi, Mike Dahlin

Proceedings of the 10th USENIX Symposium on Operating Systems Design and Implementation, 2012

2010

Scalable Agreement: Toward Ordering as a Service.

Manos Kapritsos, Flavio Paiva Junqueira

Proceedings of the Sixth Workshop on Hot Topics in System Dependability, 2010

2009

Upright cluster services.

Allen Clement, Manos Kapritsos, Sangmin Lee, Yang Wang, Lorenzo Alvisi, Michael Dahlin, Taylor Riché

Proceedings of the 22nd ACM Symposium on Operating Systems Principles 2009, 2009

2008

FlightPath: Obedience vs. Choice in Cooperative Services.

Harry C. Li, Allen Clement, Mirco Marchetti, Manos Kapritsos, Luke Robison, Lorenzo Alvisi, Michael Dahlin

Proceedings of the 8th USENIX Symposium on Operating Systems Design and Implementation, 2008

2007

Middleware 2007 Works in Progress.

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

IEEE Distributed Syst. Online, 2007

BAD: bandwidth adaptive dissemination or (the case for BAD trees).

Manos Kapritsos, Peter Triantafillou

Proceedings of the Middleware 2007, 2007