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
PublisherUSENIX Association
Conference LocationSanta Clara, CA
ISBN Number978-1-939133-13-7
URLhttps://www.usenix.org/conference/nsdi20/presentation/abhashkumar