@inproceedings {280790, author = {Haojun Ma and Hammad Ahmad and Aman Goel and Eli Goldweber and Jean-Baptiste Jeannin and Manos Kapritsos and Baris Kasikci}, title = {Sift: Using Refinement-guided Automation to Verify Complex Distributed Systems}, booktitle = {2022 USENIX Annual Technical Conference (USENIX ATC 22)}, year = {2022}, isbn = {978-1-939133-29-64}, address = {Carlsbad, CA}, pages = {151--166}, url = {https://www.usenix.org/conference/atc22/presentation/ma}, publisher = {USENIX Association}, month = jul } @inproceedings {203642, author = {Barry Bond and Chris Hawblitzel and Manos Kapritsos and K. Rustan M. Leino and Jacob R. Lorch and Bryan Parno and Ashay Rane and Srinath Setty and Laure Thompson}, title = {Vale: Verifying {High-Performance} Cryptographic Assembly Code}, booktitle = {26th USENIX Security Symposium (USENIX Security 17)}, year = {2017}, isbn = {978-1-931971-40-9}, address = {Vancouver, BC}, pages = {917--934}, url = {https://www.usenix.org/conference/usenixsecurity17/technical-sessions/presentation/bond}, publisher = {USENIX Association}, month = aug } @inproceedings {179795, author = {Yang Wang and Manos Kapritsos and Lara Schmidt and Lorenzo Alvisi and Mike Dahlin}, title = {Exalt: Empowering Researchers to Evaluate {Large-Scale} Storage Systems}, booktitle = {11th USENIX Symposium on Networked Systems Design and Implementation (NSDI 14)}, year = {2014}, isbn = {978-1-931971-09-6}, address = {Seattle, WA}, pages = {129--141}, url = {https://www.usenix.org/conference/nsdi14/technical-sessions/presentation/wang_yang}, publisher = {USENIX Association}, month = apr } @inproceedings {186202, author = {Chao Xie and Chunzhi Su and Manos Kapritsos and Yang Wang and Navid Yaghmazadeh and Lorenzo Alvisi and Prince Mahajan}, title = {Salt: Combining {ACID} and {BASE} in a Distributed Database}, booktitle = {11th USENIX Symposium on Operating Systems Design and Implementation (OSDI 14)}, year = {2014}, isbn = { 978-1-931971-16-4}, address = {Broomfield, CO}, pages = {495--509}, url = {https://www.usenix.org/conference/osdi14/technical-sessions/presentation/xie}, publisher = {USENIX Association}, month = oct } @inproceedings {180322, author = {Yang Wang and Manos Kapritsos and Zuocheng Ren and Prince Mahajan and Jeevitha Kirubanandam and Lorenzo Alvisi and Mike Dahlin}, title = {Robustness in the Salus Scalable Block Store}, booktitle = {10th USENIX Symposium on Networked Systems Design and Implementation (NSDI 13)}, year = {2013}, isbn = {978-1-931971-00-3}, address = {Lombard, IL}, pages = {357--370}, url = {https://www.usenix.org/conference/nsdi13/technical-sessions/presentation/wang_yang}, publisher = {USENIX Association}, month = apr } @inproceedings {180267, author = {Manos Kapritsos and Yang Wang and Vivien Quema and Allen Clement and Lorenzo Alvisi and Mike Dahlin}, title = {All about Eve: {Execute-Verify} Replication for {Multi-Core} Servers}, booktitle = {10th USENIX Symposium on Operating Systems Design and Implementation (OSDI 12)}, year = {2012}, isbn = {978-1-931971-96-6}, address = {Hollywood, CA}, pages = {237--250}, url = {https://www.usenix.org/conference/osdi12/technical-sessions/presentation/kapritsos}, publisher = {USENIX Association}, month = oct } @inproceedings {267183, author = {Manos Kapritsos and Flavio P. Junqueira}, title = {Scalable Agreement: Toward Ordering as a Service}, booktitle = {Sixth Workshop on Hot Topics in System Dependability (HotDep 10)}, year = {2010}, address = {Vancouver, BC}, url = {https://www.usenix.org/conference/hotdep10/scalable-agreement-toward-ordering-service}, publisher = {USENIX Association}, month = oct } @inproceedings {267904, author = {Harry C. Li and Allen Clement and Mirco Marchetti and Manos Kapritsos and Luke Robison and Lorenzo Alvisi}, title = {{FlightPath}: Obedience vs. Choice in Cooperative Services}, booktitle = {8th USENIX Symposium on Operating Systems Design and Implementation (OSDI 08)}, year = {2008}, address = {San Diego, CA}, url = {https://www.usenix.org/conference/osdi-08/flightpath-obedience-vs-choice-cooperative-services}, publisher = {USENIX Association}, month = dec }