Manos Kapritsos [Speaker-Timeline] [Speaker-Links]

Tell us about missing data
Title Conference Tags
Vale: Verifying High-Performance Cryptographic Assembly Code usenixsecurity-2017 - vancouver,canada
IronFleet: Proving Practical Distributed Systems Correct SOSP-2015 - california,usa
High-Performance ACID via Modular Concurrency Control SOSP-2015 - california,usa
Salt: Combining ACID and BASE in a Distributed Database OSDI-2014 - broomfield,usa
Exalt: Empowering Researchers to Evaluate Large-Scale Storage Systems NSDI-2014 - Seattle,USA
Robustness in the Salus Scalable Block Store NSDI-2013 - Lombard,USA