USENIX supports diversity, equity, and inclusion and condemns hate and discrimination.
Biblio
Export 8 results:
Filters: Author is Manos Kapritsos [Clear All Filters]
Sift: Using Refinement-guided Automation to Verify Complex Distributed Systems. 2022 USENIX Annual Technical Conference (USENIX ATC 22). :151--166.
.
2022. Vale: Verifying High-Performance Cryptographic Assembly Code. 26th USENIX Security Symposium (USENIX Security 17). :917--934.
.
2017. Exalt: Empowering Researchers to Evaluate Large-Scale Storage Systems. 11th USENIX Symposium on Networked Systems Design and Implementation (NSDI 14). :129--141.
.
2014. Salt: Combining ACID and BASE in a Distributed Database. 11th USENIX Symposium on Operating Systems Design and Implementation (OSDI 14). :495--509.
.
2014. Robustness in the Salus Scalable Block Store. 10th USENIX Symposium on Networked Systems Design and Implementation (NSDI 13). :357--370.
.
2013. All about Eve: Execute-Verify Replication for Multi-Core Servers. 10th USENIX Symposium on Operating Systems Design and Implementation (OSDI 12). :237--250.
.
2012. Scalable Agreement: Toward Ordering as a Service. Sixth Workshop on Hot Topics in System Dependability (HotDep 10).
.
2010. FlightPath: Obedience vs. Choice in Cooperative Services. 8th USENIX Symposium on Operating Systems Design and Implementation (OSDI 08).
.
2008.