Scholar
Manos Kapritsos
Google Scholar ID: 65VCOs0AAAAJ
Associate Professor, University of Michigan
Citations & Impact
Citations
1,146
H-index
12
i10-index
14
Publications
20
Co-authors
18
list available
Contact
Publications
Resume (English only)
Academic Achievements
- July 2025: Paper 'Basilisk: Using Provenance Invariants to Automate Proofs of Undecidable Protocols' awarded the Jay Lepreau Best Paper Award at OSDI 2025
- March 2025: Two papers accepted at OSDI 2025 ('Basilisk' and 'Scrooge')
- March 2024: Two papers accepted at OSDI 2024 ('Inductive Invariants That Spark Joy' and 'IronSpec')
- April 2023: Paper 'Performal: Formal Verification of Latency Properties for Distributed Systems' accepted at PLDI 2023
- May 2022: Paper 'Sift: Using Refinement-guided Automation to Verify Complex Distributed Systems' accepted at USENIX ATC 2022
- November 2021: Paper 'Armada: Automated Verification of Concurrent Code with Sound Semantic Extensibility' published in TOPLAS 2021
- May 2020: Paper 'Armada: Low-Effort Verification of High-Performance Concurrent Programs' received a Distinguished Paper Award
- February 2022: Received the Jon R. and Beverly S. Holt Award for Excellence in Teaching
- February 2021: Awarded the NSF CAREER award
- Received NSF FMitF grants in July 2023 and June 2020
- September 2021: Awarded an NSF Large grant
