Manos Kapritsos
8 papers
· 2012–2025
· 2 conferences
· across top CS/AI conferences
Achievements
πΊοΈ
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)