Concepedia

Manos Kapritsos

MK

14

Publications

1.1K

Citations

13

H-Index

2008

Active since

Affiliations

The University of Texas at Austin(Current)

University of Michigan

Microsoft Research (United Kingdom)

Microsoft (United States)

Carnegie Mellon University

Manos Kapritsos is an author at The University of Texas at Austin specializing in computer science, engineering, and system software.

Top concepts

EngineeringComputer ScienceSystem SoftwareFormal VerificationVerificationFormal MethodsCloud ComputingData ManagementCluster ComputingFault Tolerance

Publications per year

2008–2020

14

Publications

14

IronFleet

Chris Hawblitzel, Jon Howell, Manos Kapritsos et al. · 2015 · 305 citations

Engineering, Verification, Fault Tolerance +16

Upright cluster services

Allen Clement, Manos Kapritsos, Sangmin Lee et al. · 2009 · 211 citations

Distributed File System, Cluster Computing, Engineering +18

All about Eve: Execute-Verify Replication for Multi-Core Servers

Manos Kapritsos, Yang Wang, Vivien Quéma et al. · HAL (Le Centre pour la Communication Scientifique Directe) · 2012 · 145 citations

Vale: Verifying High-Performance Cryptographic Assembly Code

Barry Bond, Chris Hawblitzel, Manos Kapritsos et al. · USENIX Security Symposium · 2017 · 74 citations

Engineering, Hardware Verification Language, Compiler Technology +23

High-performance ACID via modular concurrency control

Xie Chao, Chunzhi Su, Cody Littley et al. · 2015 · 73 citations

Cluster Computing, Engineering, Computer Architecture +16

Rows per page

1–5 of 14