Department of Electrical and Computer Engineering Calendar

View Full Calendar

Venkat Arun Joint CS/ECE Faculty Candidate Seminar

Event Type
Electrical and Computer Engineering and Computer Science
2405 Siebel Center and Zoom
Feb 20, 2023   10:00 - 11:00 am  
Venkat Arun, Massachusetts Institute of Technology
Angie Ellis
Originating Calendar
Illinois ECE Calendar

Venkat Arun

PhD Candidate, Massachusetts Institute of Technology

Joint CS/ECE Faculty Candidate Seminar

February 20, 2023, 10:00-11:00am

2405 Seibel Center and Zoom

Title: Designing Provably Performant Network Systems

Abstract: As networked systems become critical infrastructure, their design must reflect their new societal role. Today, we build systems with hundreds of heuristics but often do not understand their inherent and emergent behaviors. I will present a set of tools and techniques to prove performance properties of heuristics running in real-world conditions. Rigorous proofs can not only inspire confidence in our designs, but also give counter-intuitive insights about performance.
 A key theme in our approach is to model uncertainty in systems using non-random, non-deterministic objects that cover a wide range of possible behaviors under a single abstraction. Such models allow us to analyze complex system behaviors using automated reasoning techniques. I will present automated tools to analyze congestion control and process scheduling algorithms. These tools prove performance properties and find counter-examples where widely deployed heuristics fail. I will also show that current end-to-end congestion control algorithms that bound delay cannot avoid starvation and present a method to beamform wireless signals using thousands of antennas.
Venkat Arun is a PhD candidate at MIT working with Hari Balakrishnan and Mohammad Alizadeh. His work spans internet congestion control, video streaming, privacy-preserving computation, wireless networks, and mobile systems. Across these areas, a unifying theme of his work is to bridge between heuristics that systems use in practice and proofs of how well they work. He believes that rigorous proof combined with automated reasoning will enable us to make networked systems more robust and performant. He has won two ACM SIGCOMM best paper awards and the president of India gold medal. 


link for robots only