Network


Latest external collaboration on country level. Dive into details by clicking on the dots.

Hotspot


Dive into the research topics where Manos Kapritsos is active.

Publication


Featured researches published by Manos Kapritsos.


symposium on operating systems principles | 2009

Upright cluster services

Allen Clement; Manos Kapritsos; Sangmin Lee; Yang Wang; Lorenzo Alvisi; Michael Dahlin; Taylor L. Riché

The UpRight library seeks to make Byzantine fault tolerance (BFT) a simple and viable alternative to crash fault tolerance for a range of cluster services. We demonstrate UpRight by producing BFT versions of the Zookeeper lock service and the Hadoop Distributed File System (HDFS). Our design choices in UpRight favor simplifying adoption by existing applications; performance is a secondary concern. Despite these priorities, our BFT Zookeeper and BFT HDFS implementations have performance comparable with the originals while providing additional robustness.


symposium on operating systems principles | 2015

High-performance ACID via modular concurrency control

Chao Xie; Chunzhi Su; Cody Littley; Lorenzo Alvisi; Manos Kapritsos; Yang Wang

This paper describes the design, implementation, and evaluation of Callas, a distributed database system that offers to unmodified, transactional ACID applications the opportunity to achieve a level of performance that can currently only be reached by rewriting all or part of the application in a BASE/NoSQL Style. The key to combining performance and ease of programming is to decouple the ACID abstraction---which Callas offers identically for all transactions---from the mechanism used to support it. MCC, the new Modular approach to Concurrency Control at the core of Callas, makes it possible to partition transactions in groups with the guarantee that, as long as the concurrency control mechanism within each group upholds a given isolation property, that property will also hold among transactions in different groups. Because of their limited and specialized scope, these group-specific mechanisms can be customized for concurrency with unprecedented aggressiveness. In our MySQL Cluster-based prototype, Callas yields an 8.2x throughput gain for TPC-C with no programming effort.


symposium on operating systems principles | 2015

IronFleet: proving practical distributed systems correct

Chris Hawblitzel; Jon Howell; Manos Kapritsos; Jacob R. Lorch; Bryan Parno; Michael L. Roberts; Srinath T. V. Setty; Brian Zill


operating systems design and implementation | 2012

All about Eve: execute-verify replication for multi-core servers

Manos Kapritsos; Yang Wang; Vivien Quema; Allen Clement; Lorenzo Alvisi; Michael Dahlin


operating systems design and implementation | 2008

FlightPath: obedience vs. choice in cooperative services

Harry C. Li; Allen Clement; Mirco Marchetti; Manos Kapritsos; Luke Robison; Lorenzo Alvisi; Michael Dahlin


operating systems design and implementation | 2014

Salt: combining ACID and BASE in a distributed database

Chao Xie; Chunzhi Su; Manos Kapritsos; Yang Wang; Navid Yaghmazadeh; Lorenzo Alvisi; Prince Mahajan


networked systems design and implementation | 2013

Robustness in the Salus scalable block store

Yang Wang; Manos Kapritsos; Zuocheng Ren; Prince Mahajan; Jeevitha Kirubanandam; Lorenzo Alvisi; Michael Dahlin


hot topics in system dependability | 2010

Scalable agreement: toward ordering as a service

Manos Kapritsos; Flavio Junqueira


usenix security symposium | 2017

Vale: Verifying High-Performance Cryptographic Assembly Code.

Barry Bond; Chris Hawblitzel; Manos Kapritsos; K. Rustan M. Leino; Jacob R. Lorch; Bryan Parno; Ashay Rane; Srinath T. V. Setty; Laure Thompson


networked systems design and implementation | 2014

Exalt: empowering researchers to evaluate large-scale storage systems

Yang Wang; Manos Kapritsos; Lara Schmidt; Lorenzo Alvisi; Michael Dahlin

Collaboration


Dive into the Manos Kapritsos's collaboration.

Top Co-Authors

Avatar

Lorenzo Alvisi

University of Texas at Austin

View shared research outputs
Top Co-Authors

Avatar

Yang Wang

University of Texas at Austin

View shared research outputs
Top Co-Authors

Avatar

Michael Dahlin

University of Texas at Austin

View shared research outputs
Top Co-Authors

Avatar

Allen Clement

University of Texas at Austin

View shared research outputs
Top Co-Authors

Avatar
Top Co-Authors

Avatar
Top Co-Authors

Avatar

Srinath T. V. Setty

University of Texas at Austin

View shared research outputs
Top Co-Authors

Avatar
Top Co-Authors

Avatar

Chao Xie

University of Texas at Austin

View shared research outputs
Researchain Logo
Decentralizing Knowledge