Papers of Interest in SIGCOMM 23

Well Tested

• Hydra: Effective Runtime Network Verification
  • domain-specific language for writing properties
  • compiler
  • bare-metal multi-tenancy
• Beyond a Centralized Verifier: Scaling Data Plane Checking via Distributed, On-Device Verification, XMU, Qiao Xiang
  • declarative invariant specification language
  • planner
  • distributed verification messaging protocol
  • (Not the same problem, but similar architecture)
• P4Testgen: An Extensible Test Oracle for P4-16
• DONS: Fast and Affordable Discrete Event Network Simulation with Automatic Parallelization

Application Analytics

• Fathom: Understanding Datacenter Application Network Performance, Experience Track, Google
• Ditto: Efficient Serverless Analytics with Elastic Parallelism
• Network-Centric Distributed Tracing with DeepFlow: Troubleshooting Your Microservices in Zero Code
• Murphy: Performance Diagnosis of Distributed Cloud Applications

Offloading

• Understanding the Micro-Behaviors of Hardware Offloaded Network Stacks with Lumina, Zhuolong Yu
• Unleashing SmartNIC Packet Processing Performance in P4
  • Performance optimazation framework for P4 programmable SmartNICs
• Memory Management in ActiveRMT: Towards Runtime-programmable Switches, Runtime programmable
• Cowbird: Freeing CPUs to Compute by Offloading the Disaggregation of Memory, CXL offloading

Conference, Paper Reading — Sep 10, 2023