Manos Kapritsos

Computer Science · University of Michigan

Mid career · publishing since 2007

Distributed systems and fault tolerance Parallel Computing and Optimization Techniques Security and Verification in Computing Software System Performance and Reliability Peer-to-Peer Network Technologies

Publications

Citations

1,206

Est. group size

—

Recurring co-author estimate

Active years

Publishing since 2007

In context

Among 784 mid career Computer Science PIs within our index

Citations: 1,206cohort median 434

Publications / year (recent): 1.8cohort median 3.8

Typically publishes in teams of ~8 · 27% small-team papers (≤3 authors) · across 5 venues

Publication cadence

Publications per year over the last 10 years — averaging 1.8/year recently

Collaborators per year

Distinct co-authors at University of Michigan each year — a rough indication of whether the group around this researcher has been growing or contracting. An estimate from co-authorship, not a roster: collaborators are not necessarily lab members, and recent years can be under-counted while indexing catches up.

Recent publications

Recipe: Hardware-Accelerated Replication Protocols
arXiv (Cornell University) · 2025
Temperature dependent implantation of As-Isoelectronic Impurity in GaN Micro and Nanostructures
2024
Picsou: Enabling Replicated State Machines to Communicate Efficiently
arXiv (Cornell University) · 2023
Armada: Automated Verification of Concurrent Code with Sound Semantic Extensibility
ACM Transactions on Programming Languages and Systems · 2022
Armada: low-effort verification of high-performance concurrent programs
2020
Replication Package for Article &quot;Armada: Low-Effort Verification of High-Performance Concurrent Programs&quot;
Artifact Digital Object Group · 2020
On the Significance of Consecutive Ballots in Paxos
arXiv (Cornell University) · 2020
Brief Announcement: On the Significance of Consecutive Ballots in Paxos
2020
Aegean
2019
IronFleet
Communications of the ACM · 2017
Vale: Verifying High-Performance Cryptographic Assembly Code
USENIX Security Symposium · 2017

Publishes in

arXiv (Cornell University)×6
Communications of the ACM×1
Proceedings of the ACM on Programming Languages×1
ACM Transactions on Programming Languages and Systems×1
USENIX Security Symposium×1

Similar researchers

By research-topic overlap

Peter M. Chen
Computer Science · University of Michigan
Terence Kelly
Computer Science · University of Michigan
Suresh Jagannathan
Computer Science · Purdue University West Lafayette
Luke Dalessandro
Computer Science · Indiana University
Michael D. Bond
Computer Science · The Ohio State University

This profile was generated automatically from public scholarly data (OpenAlex). Group size and activity levels are estimates derived from co-authorship patterns.

Last updated Jul 25, 2026.

Claim or correct this profile