Kinetic: Verifiable Dynamic Network Control
.
2015. Kinetic: Verifiable Dynamic Network Control. 12th USENIX Symposium on Networked Systems Design and Implementation (NSDI 15). :59--72.
The FAST '15 technical sessions program features a Keynote Address from Dr. Marshall Kirk McKusick, the SNIA Industry Track, WiP reports, poster sessions, and 28 refereed paper presentations. Four training sessions will focus on software-defined storage, cluster-based parallel storage system technologies, flash memory, and Hadoop.
