Manos Kapritsos
Scholar

Manos Kapritsos

Google Scholar ID: 65VCOs0AAAAJ
Associate Professor, University of Michigan
Distributed systemsformal verificationfault tolerance
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
2,157
 
H-index
15
 
i10-index
15
 
Publications
20
 
Co-authors
18
list available
Contact
No contact links provided.
Publications
3 items
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
Resume (English only)
Co-authors
18 total
Yang Wang
Yang Wang
Associate Professor, the Ohio State University
Co-author 2
Co-author 2
Bryan Parno
Bryan Parno
Carnegie Mellon University
Co-author 4
Co-author 4
Srinath Setty
Srinath Setty
Senior Principal Researcher at Microsoft Research
Co-author 6
Co-author 6
Co-author 7
Co-author 7
Co-author 8
Co-author 8