default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDManos Kapritsos
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2025
[i4]Dimitra Giantsidi, Emmanouil Giortamis, Julian Pritzi, Maurice Bailleu, Manos Kapritsos, Pramod Bhatotia:
Recipe: Hardware-Accelerated Replication Protocols. CoRR abs/2502.09251 (2025)- 2024
- [c20]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: 837-853 - [c19]Eli Goldweber, Weixin Yu, Seyed Armin Vakil-Ghahani, Manos Kapritsos:
IronSpec: Increasing the Reliability of Formal Specifications. OSDI 2024: 875-891 - [c18]Mohit Tekriwal
, Avi Tachna-Fram, Jean-Baptiste Jeannin, Manos Kapritsos, Dimitra Panagou:
Formally verified asymptotic consensus in robust networks. TACAS (1) 2024: 248-267 - 2023
- [j4]Tony Nuda Zhang, Upamanyu Sharma, Manos Kapritsos:
Performal: Formal Verification of Latency Properties for Distributed Systems. Proc. ACM Program. Lang. 7(PLDI): 368-393 (2023) - [i3]Reginald Frank, Micah Murray, Suyash Gupta, Ethan Xu, Natacha Crooks, Manos Kapritsos:
Picsou: Enabling Efficient Cross-Consensus Communication. CoRR abs/2312.11029 (2023) - 2022
- [j3]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): 12:1-12:39 (2022) - [c17]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 ATC 2022: 151-166 - [i2]Mohit Tekriwal, Avi Tachna-Fram, Jean-Baptiste Jeannin, Manos Kapritsos, Dimitra Panagou:
Formally verified asymptotic consensus in robust networks. CoRR abs/2202.13833 (2022) - 2020
- [c16]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: 197-210 - [c15]Eli Goldweber, Nuda Zhang, Manos Kapritsos:
Brief Announcement: On the Significance of Consecutive Ballots in Paxos. PODC 2020: 172-174 - [i1]Eli Goldweber, Nuda Zhang, Manos Kapritsos:
On the Significance of Consecutive Ballots in Paxos. CoRR abs/2006.01885 (2020)
2010 – 2019
- 2019
- [c14]Haojun Ma, Aman Goel, Jean-Baptiste Jeannin, Manos Kapritsos, Baris Kasikci, Karem A. Sakallah:
Towards Automatic Inference of Inductive Invariants. HotOS 2019: 30-36 - [c13]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: 370-384 - [c12]Remzi Can Aksoy, Manos Kapritsos:
Aegean: replication beyond the client-server model. SOSP 2019: 385-398 - 2017
- [j2]Chris Hawblitzel, Jon Howell, Manos Kapritsos, Jacob R. Lorch, Bryan Parno, Michael Lowell Roberts, Srinath T. V. Setty, Brian Zill:
IronFleet: proving safety and liveness of practical distributed systems. Commun. ACM 60(7): 83-92 (2017) - [c11]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: 917-934 - 2015
- [c10]Chris Hawblitzel, Jon Howell, Manos Kapritsos, Jacob R. Lorch, Bryan Parno, Michael Lowell Roberts, Srinath T. V. Setty, Brian Zill:
IronFleet: proving practical distributed systems correct. SOSP 2015: 1-17 - [c9]Chao Xie, Chunzhi Su, Cody Littley, Lorenzo Alvisi, Manos Kapritsos, Yang Wang:
High-performance ACID via modular concurrency control. SOSP 2015: 279-294 - 2014
- [c8]Yang Wang, Manos Kapritsos, Lara Schmidt, Lorenzo Alvisi, Mike Dahlin:
Exalt: Empowering Researchers to Evaluate Large-Scale Storage Systems. NSDI 2014: 129-141 - [c7]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: 495-509 - 2013
- [c6]Yang Wang, Manos Kapritsos, Zuocheng Ren, Prince Mahajan, Jeevitha Kirubanandam, Lorenzo Alvisi, Mike Dahlin:
Robustness in the Salus Scalable Block Store. NSDI 2013: 357-370 - 2012
- [c5]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: 237-250 - 2010
- [c4]Manos Kapritsos, Flavio Paiva Junqueira:
Scalable Agreement: Toward Ordering as a Service. HotDep 2010
2000 – 2009
- 2009
- [c3]Allen Clement, Manos Kapritsos, Sangmin Lee, Yang Wang, Lorenzo Alvisi, Michael Dahlin, Taylor Riché:
Upright cluster services. SOSP 2009: 277-290 - 2008
- [c2]Harry C. Li, Allen Clement, Mirco Marchetti, Manos Kapritsos, Luke Robison, Lorenzo Alvisi, Michael Dahlin:
FlightPath: Obedience vs. Choice in Cooperative Services. OSDI 2008: 355-368 - 2007
- [j1]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) - [c1]Manos Kapritsos, Peter Triantafillou:
BAD: bandwidth adaptive dissemination or (the case for BAD trees). Middleware (Demos and Posters) 2007: 25
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-03-13 20:22 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
