Tiramisu: Fast Multilayer Network Verification
Anubhavnidhi Abhashkumar, Aaron Gember-Jacobson, Aditya Akella
2020Networked Systems Design and Implementation22 citations
Topics & Concepts
Computer scienceSoftware-Defined Networks and 5GInterconnection Networks and SystemsNetwork Packet Processing and Optimization