Arvind Krishnamurthy View
Arvind Krishnamurthy is the Short-Dooley Professor in the Paul G. Allen School of Computer Science & Engineering. His research interests are in building effective and robust computer systems in the context of both data centers and Internet-scale systems. More recently, his research has focussed on programmable networks and systems for machine learning. He is an ACM fellow, a past program chair of ACM SIGCOMM and Usenix NSDI, is the Vice President of Usenix, and serves on the ICSI and CRA boards.
Posts by Arvind Krishnamurthy
Network change verification (even for networks without specifications)
Networks routinely need changes to patch security holes, expand capacity, perform routine maintenance, and a myriad of other reasons. But every change is dangerous, and brings with i...
In relational verification, By Zachary Kincaid, Arvind Krishnamurthy, Ratul Mahajan, David Walker, Xieyang Xu, Yifei Yuan, Ennan Zhai, Oct 04, 2024
Making Networks Safe and Agile with Formal Methods and Programming Abstractions: Future Directions
For years, networks have been seen as hard to manage and hard to evolve. They are hard to manage because even small networks are complex, with multiple devices and protocols interacti...
In formal methods, programming languages, By Nate Foster, Arvind Krishnamurthy, Ratul Mahajan, Todd Millstein, David Walker, Anduo Wang, Pamela Zave, Nov 27, 2023