Recent projects [some past projects]
Recent papers [Complete list
| Organized by topic
| Google Scholar
]
-
Abstract interpretation of distributed network control planes
Ryan Beckett, Aarti Gupta, Ratul Mahajan, David Walker
POPL, 2020
-
Putting network verification to good use
Ryan Beckett, Ratul Mahajan
HotNets, 2019
-
Efficient verification of network fault tolerance via counterexample-guided refinement
Nick Giannarakis, Ryan Beckett, Ratul Mahajan, David Walker
CAV, 2019
-
Control Plane Compression
Ryan Beckett, Aarti Gupta, Ratul Mahajan, David Walker
SIGCOMM, 2018
-
Odin: Microsoft’s Scalable Fault-Tolerant CDN Measurement System
Matt Calder, Manuel Schroder, Ryan Gao, Ryan Stewart,Jitendra Padhye, Ratul Mahajan, Ganesh Ananthanarayanan, Ethan Katz-Bassett
NSDI, 2018
Select talks [More talks]
Professional activities
-
PC chair:
NSDI 2014,
IMC 2012,
MobiArch 2011,
HotNets 2009 ,
NetEcon+IBC 2007
-
PC member:
- 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-present]
-
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
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.