Manos Kapritsos
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
22
Venues
10
Active years
2007–2026
Best venue rank
A*
Where they publish
Papers
22 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | ISCA | TKōFormal: Enabling Robust Software for Programmable Memory Hierarchies. | Pranav Srinivasan, Manos Kapritsos, Yatin A. Manerkar |
| 2025 | Middleware | Recipe: Hardware-Accelerated Replication Protocols: Rethinking Crash Fault Tolerance Protocols for Untrusted Cloud Environments. | Dimitra Giantsidi, Emmanouil Giortamis, Julian Pritzi, Maurice Bailleu, Manos Kapritsos, Pramod Bhatotia |
| 2025 | OSDI | Picsou: Enabling Replicated State Machines to Communicate Efficiently. | Reginald Frank, Micah Murray, Chawinphat Tankuranand, Junseo Yoo, Ethan Xu, Natacha Crooks, Suyash Gupta, Manos Kapritsos |
| 2025 | OSDI | Basilisk: Using Provenance Invariants to Automate Proofs of Undecidable Protocols. | Tony Nuda Zhang, Keshav Singh, Tej Chajed, Manos Kapritsos, Bryan Parno |
| 2024 | OSDI | IronSpec: Increasing the Reliability of Formal Specifications. | Eli Goldweber, Weixin Yu, Seyed Armin Vakil-Ghahani, Manos Kapritsos |
| 2024 | OSDI | Inductive Invariants That Spark Joy: Using Invariant Taxonomies to Streamline Distributed Protocol Proofs. | Tony Nuda Zhang, Travis Hance, Manos Kapritsos, Tej Chajed, Bryan Parno |
| 2024 | TACAS | Formally verified asymptotic consensus in robust networks. | Mohit Tekriwal, Avi Tachna-Fram, Jean-Baptiste Jeannin, Manos Kapritsos, Dimitra Panagou |
| 2022 | USENIX | 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 |
| 2020 | PLDI | 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 |
| 2020 | PODC | Brief Announcement: On the Significance of Consecutive Ballots in Paxos. | Eli Goldweber, Nuda Zhang, Manos Kapritsos |
| 2019 | HotOS | Towards Automatic Inference of Inductive Invariants. | Haojun Ma, Aman Goel, Jean-Baptiste Jeannin, Manos Kapritsos, Baris Kasikci, Karem A. Sakallah |
| 2019 | SOSP | Aegean: replication beyond the client-server model. | Remzi Can Aksoy, Manos Kapritsos |
| 2019 | SOSP | 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 |
| 2015 | SOSP | 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 |
| 2015 | SOSP | High-performance ACID via modular concurrency control. | Chao Xie, Chunzhi Su, Cody Littley, Lorenzo Alvisi, Manos Kapritsos, Yang Wang |
| 2014 | NSDI | Exalt: Empowering Researchers to Evaluate Large-Scale Storage Systems. | Yang Wang, Manos Kapritsos, Lara Schmidt, Lorenzo Alvisi, Mike Dahlin |
| 2014 | OSDI | Salt: Combining ACID and BASE in a Distributed Database. | Chao Xie, Chunzhi Su, Manos Kapritsos, Yang Wang, Navid Yaghmazadeh, Lorenzo Alvisi, Prince Mahajan |
| 2013 | NSDI | Robustness in the Salus Scalable Block Store. | Yang Wang, Manos Kapritsos, Zuocheng Ren, Prince Mahajan, Jeevitha Kirubanandam, Lorenzo Alvisi, Mike Dahlin |
| 2012 | OSDI | All about Eve: Execute-Verify Replication for Multi-Core Servers. | Manos Kapritsos, Yang Wang, Vivien Quma, Allen Clement, Lorenzo Alvisi, Mike Dahlin |
| 2009 | SOSP | Upright cluster services. | Allen Clement, Manos Kapritsos, Sangmin Lee, Yang Wang, Lorenzo Alvisi, Michael Dahlin, Taylor Rich |
| 2008 | OSDI | FlightPath: Obedience vs. Choice in Cooperative Services. | Harry C. Li, Allen Clement, Mirco Marchetti, Manos Kapritsos, Luke Robison, Lorenzo Alvisi, Michael Dahlin |
| 2007 | Middleware | BAD: bandwidth adaptive dissemination or (the case for BAD trees). | Manos Kapritsos, Peter Triantafillou |