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 6120 - Advanced Compilers (Fall 2023)
Dynamic Compilation Techniques for Heterogenous Hardware
Paper

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