Tiramisu: Fast Multilayer Network Verification

TitleTiramisu: Fast Multilayer Network Verification
Publication TypeConference Paper
Year of Publication2020
AuthorsAbhashkumar A, Gember-Jacobson A, Akella A
Conference Name17th {USENIX} Symposium on Networked Systems Design and Implementation ({NSDI} 20)
Date Published02/2020
Publisher{USENIX} Association
Conference LocationSanta Clara, CA
ISBN Number978-1-939133-13-7
URLhttps://www.usenix.org/conference/nsdi20/presentation/abhashkumar