Scholar
Manos Kapritsos
Google Scholar ID: 65VCOs0AAAAJ
Associate Professor, University of Michigan
Distributed systems
formal verification
fault tolerance
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
2,157
H-index
15
i10-index
15
Publications
20
Co-authors
18
list available
Publications
4 items
Synthesizing Proofs Using Proof Sharding and Exploration
2026
Cited
0
täkōFormal: Enabling Robust Software for Programmable Memory Hierarchies (Extended Version)
2026
Cited
0
Recipe: Hardware-Accelerated Replication Protocols
2025
Cited
0
Picsou: Enabling Efficient Cross-Consensus Communication
arXiv.org · 2023
Cited
0
Co-authors
8 total
Yang Wang
Associate Professor, the Ohio State University
Bryan Parno
Carnegie Mellon University
Srinath Setty
Senior Principal Researcher at Microsoft Research
Jean-Baptiste Jeannin
University of Michigan
Mark Silberstein
Professor, Technion, Israel
Peter Triantafillou
Professor, Computer Science, University of Warwick
Allen Clement
DFINITY (was Google (was MPI-SWS (was UT Austin)))
Mirco Marchetti
University of Modena and Reggio Emilia
