Manos Kapritsos - Publications

Barry Bond, Chris Hawblitzel, Manos Kapritsos, Rustan Leino, Jay Lorch, Bryan Parno, Ashay Rane, Srinath Setty, Laure Thompson Vale: Verifying High-Performance Cryptographic Assembly Code, 26th USENIX Security Symposium (USENIX Security '17) distinguised paper award

Chris Hawblitzel, Jon Howell, Manos Kapritsos, Jay Lorch, Bryan Parno, Srinath Setty, Brial Zill, IronFleet: Proving Practical Distributed Systems Correct, 25th ACM Symposium on Operating Systems Principles (SOSP '15)

Chao Xie, Chunzhi Su, Cody Littley, Lorenzo Alvisi, Manos Kapritsos, Yang Wang, High-Performance ACID via Modular Concurrency Control, 25th ACM Symposium on Operating Systems Principles (SOSP '15)

Chao Xie, Chunzhi Su, Manos Kapritsos, Yang Wang, Navid Yaghmazadeh, Lorenzo Alvisi, Prince Mahajan, Salt: Combining ACID and BASE in a Distributed Database, 11th USENIX Symposium on Operatings Systems Design and Implementation (OSDI '14)

Yang Wang, Manos Kapritsos, Lorenzo Alvisi, Mike Dahlin, Exalt: Empowering Researchers to Evaluate Large-Scale Storage Systems, 11th USENIX Symposium on Networked Systems Design and Implementation (NSDI '14)

Yang Wang, Manos Kapritsos, Zuocheng Ren, Prince Mahajan, Jeevitha Kirubanandam, Lorenzo Alvisi, Mike Dahlin, Robustness in the Salus scalable block store, 10th USENIX Symposium on Networked Systems Design and Implementation (NSDI '13)

Manos Kapritsos, Yang Wang, Vivien Quema, Allen Clement, Lorenzo Alvisi, Mike Dahlin, All about Eve: Execute-Verify Replication for Multi-Core Servers, 10th USENIX Symposium on Operating Systems Design and Implementation (OSDI '12)

Manos Kapritsos, Flavio Junqueira, Scalable agreement: Toward ordering as a service, Sixth Workshop on Hot Topics in System Dependability (HotDep '10)

Allen Clement, Manos Kapritsos, Sangmin Lee, Yang Wang, Lorenzo Alvisi, Mike Dahlin, Taylor Riche, UpRight Cluster Services, 22nd ACM Symposium on Operating Systems Principles (SOSP '09)

Harry C. Li, Allen Clement, Mirco Marchetti, Manos Kapritsos, Luke Robison, Lorenzo Alvisi, and Mike Dahlin, FlightPath: Obedience vs. Choice in Cooperative Services, 8th USENIX Symposium on Operating Systems Design and Implementation (OSDI '08)