Linked Presentation: Tiramisu: Fast Multilayer Network Verification Liveness Verification of Stateful Network Functions Automated Verification of Customizable Middlebox Properties with Gravel Themis: Fair and Efficient GPU Cluster Scheduling
