Manos Kapritsos
TitleCited byYear
Upright cluster services
A Clement, M Kapritsos, S Lee, Y Wang, L Alvisi, M Dahlin, T Riche
Proceedings of the ACM SIGOPS 22nd symposium on Operating systems principles …, 2009
1892009
IronFleet: proving practical distributed systems correct
C Hawblitzel, J Howell, M Kapritsos, JR Lorch, B Parno, ML Roberts, ...
Proceedings of the 25th Symposium on Operating Systems Principles, 1-17, 2015
1692015
All about Eve: execute-verify replication for multi-core servers
M Kapritsos, Y Wang, V Quema, A Clement, L Alvisi, M Dahlin
Presented as part of the 10th {USENIX} Symposium on Operating Systems Design …, 2012
1262012
FlightPath: Obedience vs. Choice in Cooperative Services.
HC Li, A Clement, M Marchetti, M Kapritsos, L Robison, L Alvisi, M Dahlin
OSDI 8, 355-368, 2008
1132008
Vale: Verifying high-performance cryptographic assembly code
B Bond, C Hawblitzel, M Kapritsos, KRM Leino, JR Lorch, B Parno, ...
26th {USENIX} Security Symposium ({USENIX} Security 17), 917-934, 2017
522017
High-performance ACID via modular concurrency control
C Xie, C Su, C Littley, L Alvisi, M Kapritsos, Y Wang
Proceedings of the 25th Symposium on Operating Systems Principles, 279-294, 2015
522015
Robustness in the Salus scalable block store
Y Wang, M Kapritsos, Z Ren, P Mahajan, J Kirubanandam, L Alvisi, ...
Presented as part of the 10th {USENIX} Symposium on Networked Systems Design …, 2013
462013
Salt: Combining {ACID} and {BASE} in a Distributed Database
C Xie, C Su, M Kapritsos, Y Wang, N Yaghmazadeh, L Alvisi, P Mahajan
11th {USENIX} Symposium on Operating Systems Design and Implementation …, 2014
422014
Scalable Agreement: Toward Ordering as a Service.
M Kapritsos, FP Junqueira
HotDep, 2010
342010
Exalt: Empowering researchers to evaluate large-scale storage systems
Y Wang, M Kapritsos, L Schmidt, L Alvisi, M Dahlin
11th {USENIX} Symposium on Networked Systems Design and Implementation …, 2014
202014
Robustness in a scalable block storage system
MD Dahlin, L Alvisi, L Ganesh, M Silberstein, Y Wang, M Kapritsos, ...
US Patent App. 13/967,513, 2014
52014
The magazine archive includes every article published in Communications of the ACM for over the past 50 years.
D Lindley
Communications of the ACM 52 (10), 11-13, 2009
5*2009
Bad: Bandwidth adaptive dissemination or (the case for bad trees)
M Kapritsos, P Triantafillou
Proceedings of the 2007 ACM/IFIP/USENIX international conference on …, 2007
32007
All about Eve: Execute-verify replication for multicore servers (extended version)
M Kapritsos, Y Wang, V Quema, A Clement, L Alvisi, M Dahlin
Technical Report TR-12-23, Department of Computer Science, The University of …, 2012
22012
Towards Automatic Inference of Inductive Invariants
H Ma, A Goel, JB Jeannin, M Kapritsos, B Kasikci, KA Sakallah
Proceedings of the Workshop on Hot Topics in Operating Systems, 30-36, 2019
2019
Salt
C Xie, C Su, M Kapritsos, Y Wang, N Yaghmazadeh, L Alvisi, P Mahajan
2010
Middleware 2007 Works in Progress
E Curry, K Arabshian, H Schulzrinne, MJ Arif, S Karunasekera, S Kulkarni, ...
IEEE Distributed Systems Online 8 (11), 3-3, 2007
2007
BAD: Bandwidth Adaptive Dissemination
M Kapritsos, P Triantafillou
2007
Navid Yaghmazadeh
C Xie, C Su, M Kapritsos, Y Wang
High-Performance ACID via Modular Concurrency Control (Technical Report)
C Xie, C Su, C Littley, L Alvisi, M Kapritsos, Y Wang
The system can't perform the operation now. Try again later.
Articles 1–20