Manos Kapritsos
8 papers · 2012–2025 · 2 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+3 more ↓ Show less ↑
πΊοΈ Taxonomy Completionist (10) π Interdisciplinary Bridge π§ Keyword Pioneer π Conference Polyglot (2) π Academic Marathon (13)
π
Cross-Pollinator
(8)
π
Renaissance Researcher
(5)
π
Conference Pioneer
Conferences
OSDI (6)
NSDI (2)
Top co-authors
Keywords
distributed protocol
(2)
formal verification
(2)
byzantine fault tolerance
(1)
formal specification
(1)
safety property
(1)
consensus protocol
(1)
invariant inference
(1)
state machine
(1)
protocol correctness
(1)
replicated state machine
(1)
inductive invariant
(1)
provenance invariant
(1)
crash fault tolerance
(1)
mutation testing
(1)
spec testing
(1)
sanity checking
(1)
specification bug
(1)
distributed communication
(1)
theorem proving
(1)
message broadcasting
(1)
Papers
Basilisk: Using Provenance Invariants to Automate Proofs of Undecidable Protocols
OSDI 2025
Picsou: Enabling Replicated State Machines to Communicate Efficiently
OSDI 2025
Inductive Invariants That Spark Joy: Using Invariant Taxonomies to Streamline Distributed Protocol Proofs
OSDI 2024
IronSpec: Increasing the Reliability of Formal Specifications
OSDI 2024
Exalt: Empowering Researchers to Evaluate Large-Scale Storage Systems
NSDI 2014
Salt: Combining ACID and BASE in a Distributed Database
OSDI 2014
Robustness in the Salus Scalable Block Store
NSDI 2013
All about Eve: Execute-Verify Replication for Multi-Core Servers
OSDI 2012