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
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
Associate Professor, the Ohio State University
Co-author 2
Bryan Parno
Carnegie Mellon University
Co-author 4
Srinath Setty
Senior Principal Researcher at Microsoft Research
Co-author 6
Co-author 7
Co-author 8
×
Welcome back
Sign in to Agora
Welcome back! Please sign in to continue.
Email address
Password
Forgot password?
Continue
Do not have an account?
Sign up