|
|
Ratul Mahajan
|
Recent projects [some past projects]
Recent papers [Complete list | Organized by topic | Google Scholar ]
-
Test coverage metrics for the network
Xieyang Xu, Ryan Beckett, Karthick Jayaraman, Ratul Mahajan, David Walker,
SIGCOMM, 2021 -
A general framework for compositional network modeling
Ryan Beckett, Ratul Mahajan
HotNets, 2020 -
Abstract interpretation of distributed network control planes
Ryan Beckett, Aarti Gupta, Ratul Mahajan, David Walker
POPL, 2020
Select talks [More talks]
-
Network Engineers Can Uncross their Fingers by Emulating Hardware and Software Engineers [Watch]
Keynote at Future:Net 2017
-
Network programming for the cloud ERA
Keynote at ACM SOSR 2017
-
Maslow's hierarchy of network programming and the unmet needs
Keynote at Center for Network Programming Retreat, Jun 2016
-
Bridging centralized programming and distributed control planes [Watch]
NSF Algorithms in the Field Workshop, Jun 2016
-
Configuration verification: A missing link toward fully verified networks
Dagstuhl seminar on Formal Foundations of Networking, Feb 2015
-
Software-defined networking: Change is hard [Watch]
Stanford, May 2014 -
Software-driven wide area network
Distinguished Lecture Series, UCSD, Nov 2013 -
Accelerating innovation in home technology
Keynote at HUPS, July 2013
Professional activities
- PC chair: SIGCOMM 2020, NSDI 2014, IMC 2012, MobiArch 2011, HotNets 2009 , NetEcon+IBC 2007
-
PC member:
- 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
Selected press coverage
- Marrying 3G with WiFi makes sense [Business Standard]
- Researchers test WiFi access from moving vehicles [Slashdot]
- Tuning Smartphone Performance [MSR]
- Microsoft Wiffler lets smartphones use free WiFi from moving vehicles [Network World]
- Improving phones through surveillance [Technology Review]
- Microsoft's HomeStore: Home automation, with an iPhone-inspired twist [ZDNet]
- Using Wi-Fi to Boost 3G Capacity [MSR]
- Software Notebook: Microsoft test-driving Wi-Fi use in vehicles [Seattle PI]
- Plan rolling to improve vehicle-based Wi-Fi nets [Network World]
- Prepare for truly mobile WiFi [Discover Magazine]
Bio
Ratul Mahajan is an Associate Professor at the University of Washington (Paul G. Allen School of Computer Science) and a Co-founder and CEO of Intentionet, a company that is enabling safe, rapid evolution of computer networks using formal analysis and high-level design approaches. Prior to that, he was 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.