David Walker View
David Walker is a Professor of Computer Science at Princeton University. He received his doctoral and master’s degrees in computer science from Cornell, and his bachelor’s from Queen’s University in Kingston, Ontario. During sabbaticals from Princeton, he has served as a visiting researcher at Microsoft Research in Redmond (2008) and in Cambridge (2009), and as Associate Visiting Faculty at the University of Pennsylvania (2015-2016).
Posts by David Walker
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
Models for Distributed Routing Protocols
Part 1: SIMPLE Models and Simulation
In overview, research, network, verification, By Ryan Beckett, Nick Giannarakis, Aarti Gupta, Devon Loehr, Ratul Mahajan, Tim Alberdingk Thijm, David Walker, Jun 22, 2020