Three papers at PaPoC 2016
VMCAI 2018: “Co-Design and Verification of an Available File System”
Our paper titled “Cure: Strong semantics meets high availability and low latency” will appear in the forthcoming ICDCS conference. A preprint is available here.
Team Web Sites Generator / SEISM / DSI / INRIA
Made with by Graphene Themes.