2023
- Hydra: Effective Runtime Network Verification
Sundararajan Renganathan, Benny Rubin, Hyojoon Kim, Pier Ventre, Carmelo Cascone, Daniele Moro, Charles Chan, Nick McKeown, Nate Foster
ACM SIGCOMM ‘23
Class Research Projects
Papers include brief abstract of work.
CS 6450 - Advanced Networking (Spring 2023)
Using Causal Telemetry to verify BGP routing behavior
Paper
CS 6850 - The Structure of Information Networks (Spring 2023)
Graph theoretic models of the Internet
Paper
CS 6410 - Advanced Systems (Fall 2022)
Exploring Runtime Verification techniques for Programmable Networks
Paper