Disseminated, Distributed OS for Hardware Resource Disaggregation. USENIX OSDI 2018 Best Paper. - View it on GitHub