NAL

We are the Network Architecture Lab, and we work on fundamental questions regarding network system design: 

  • Can we infer network behavior from external observations? We proved the feasibility of network neutrality inference [ paper ]. Zeinab is exploring how to use it to localize traffic differentiation
    [ project page, paper ]. Earlier,
    we relaxed the assumption of link independence in network performance inference [ paper ].  
  • Can we leverage streaming footage to improve Internet transparency? Catalina is developing Tero, which creates a near-real-time Internet latency map by extracting latency numbers from gaming footage [ project page, paper ] 
  • How should we write software network functions (NFs), such that we can reason about their performance? Rishabh is exploring the idea of performance interfaces and how to extract such interfaces from software NFs [ code, paper ]. He won the Dennis M. Ritchie Award for his thesis on this topic.
  • How should we write software NFs, such that we can reason about their semantics? We presented the first formally verified NAT written in C [ project page, paper ], then the first framework for verifying software NFs with no verification expertise [ project page, paper ].