| CARVIEW |
|
|
Ratul Mahajan
|
Recent projects [some past projects]
Recent papers [Complete list | Organized by topic | Google Scholar ]
-
Network Change Validation with Relational NetKAT
Han Xu, Zachary Kincaid, Ratul Mahajan, and David Walker
POPL, 2026 -
Programmable and Adaptive Scheduling for Distributed Systems
Yuyao Wang, Xiangfeng Zhu, Ratul Mahajan, and Stephanie Wang
HotNets, 2025 -
Offloading the Tedious Task of Writing eBPF Programs
Xiangyu Gao, Xiangfeng Zhu, Bhavana Vannarth Shobhana, Yiwei Yang, Arvind Krishnamurthy, Ratul Mahajan
3rd Workshop on eBPF and Kernel Extensions (eBPF), 2025 -
Rethinking RPC Communication for Microservices-based Applications
Xiangfeng Zhu, Yang Zhou, Yuyao Wang, Xiangyu Gao, Arvind Krishnamurthy, Sam Kumar, Ratul Mahajan, and Danyang Zhuo
HotOS, 2025 -
High-level Programming for Application Networks
Xiangfeng Zhu, Yuyao Wang, Banruo Liu, Yongtong Wu, Nikola Bojanic, Jingrong Chen, Gilbert Louis Bernstein, Arvind Krishnamurthy, Sam Kumar, Ratul Mahajan, and Danyang Zhuo
NSDI, 2025
Recent talks [More talks]
-
The bane of network operations: Networks are evolved, not (intelligently) designed
Keynote at 1st ACM SIGCOMM Workshop on Formal Methods Aided Network Operation (FMANO), Aug 2024
-
A decade of network verification: Lessons learned and open challenges
Keynote at 8th Asia-Pacific Workshop on Networking (APNet'24), Aug 2024
-
Application-defined networking
Invited talk at ACM India Winter School on Full Stack Networking, Dec 2023
-
Network verification: Lessons learned and outlook
Keynote at IEEE CNSM, Nov 2023
-
NetCov: Test coverage for network configurations
Invited talk at Cisco Research, Apr 2023
Professional activities
- PC chair: SIGCOMM 2020, NSDI 2014, IMC 2012, MobiArch 2011, HotNets 2009 , NetEcon+IBC 2007
-
PC member:
- 2026: NSDI
- 2025: OSDI
- 2024: SIGCOMM
- 2023: OSDI
- 2022: OSDI
- 2021: SIGCOMM, HotNets
- 2017: NSDI, SIGCOMM
- 2016: NSDI, SIGCOMM, HotNets
- 2015: ICDCS, IMC, HotNets, SOSR, C2BID
- 2014: NSDI, SIGCOMM, CoNext, SoCC, UPSIDE, ONS
- 2013: NSDI, HotNets
- 2012: SIGCOMM, IMC
- 2011: SIGCOMM, NSDI, IMC, MobiArch HomeNets
- 2010: SIGMETRICS, IMC, CoNext, HotNets, HomeNets, MobiArch
- 2009: SIGCOMM, IMC, ICNP, HotNets-VIII , COMSNETS, NetEcon, NetDB, HotAC, WinMee
- 2008: SIGCOMM, INFOCOM, NetEcon, ROADS, Global Internet
- 2007: PAM, NetEcon, SIGCOMM posters
- 2006: SIGCOMM, HotNets-V, NetEcon
- Steering committee IMC [2014-2018]
- Workshops Chair: SIGCOMM 2013
- Associate editor: IEEE/ACM ToN [2012-2014]
- Organizer: UW MSR Summer Institute 2009 on "Unraveling the technological knot in homes"
- Area editor: MC2R [2008-2011]
- Local chair: SIGCOMM 2008
Bio
Ratul Mahajan is a Professor at the University of
Washington (Paul G. Allen School of Computer Science). He is also the co-director of UW FOCI (Future of Cloud Infrastructure) and an Amazon Scholar. Prior to that, he
was a Co-founder and CEO of Intentionet, a company that pioneered
intent-based networking and network verification, and a Principal Researcher at Microsoft Research. He got his PhD at the University of Washington and B.Tech at Indian Institute of Technology, Delhi, both in Computer Science and
Engineering.
Ratul is a computer systems researcher with a networking focus and has worked on a broad set of topics, including network verification, connected homes, network programming, optical networks, Internet routing and measurements, and mobile systems. He has published over fifty papers in top venues such as SIGCOMM, SOSP, MobiCom, CHI, and PLDI, and many of the technologies that he has helped develop are part of real-world systems at Microsoft and other companies.
Ratul has been recognized as an ACM Distinguished Scientist, an ACM SIGCOMM Rising Star, and a Microsoft Research Graduate Fellow. His papers have won the ACM SIGCOMM Test-of-Time Award, the IEEE William R. Bennett Prize, the ACM SIGCOMM Best Paper Awards (twice), and the HVC Best Paper Award.