-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathindex.html
314 lines (270 loc) · 14.6 KB
/
index.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
<html>
<head>
<title>Ratul Mahajan</title>
<script>
(function (i, s, o, g, r, a, m) {
i['GoogleAnalyticsObject'] = r; i[r] = i[r] || function () {
(i[r].q = i[r].q || []).push(arguments)
}, i[r].l = 1 * new Date(); a = s.createElement(o),
m = s.getElementsByTagName(o)[0]; a.async = 1; a.src = g; m.parentNode.insertBefore(a, m)
})(window, document, 'script', '//www.google-analytics.com/analytics.js', 'ga');
ga('create', 'UA-53592483-1', 'auto');
ga('send', 'pageview');
</script>
</head>
<body bgcolor=white lang=EN-US link=blue vlink=blue style='tab-interval:.5in'>
<div class=Section1>
<h1><span style='font-size:36.0pt'> </span>
<o:p></o:p>
</h1>
<table border=0 cellspacing=0 cellpadding=0 width=531 style='mso-cellspacing:0in;mso-padding-alt:0in 0in 0in 0in'
nosave="" cols=2>
<tr style='mso-yfti-irow:0;mso-yfti-firstrow:yes;mso-yfti-lastrow:yes' nosave="">
<td style='padding:0in 0in 0in 0in' nosave="">
<p><img height=180 id="_x0000_i1025" src=ratul2.jpg border=0></p>
</td>
<td width=320 style='padding:0in 0in 0in 0in'>
<p>Ratul Mahajan
<br>Associate Professor, <a href=https://www.cs.washington.edu />UW-CSE</a>
<br>Co-director, <a href=https://foci.uw.edu />UW FOCI</a>
<br>Amazon Scholar, AWS</a>
<br><[email protected]>
<br><a href=https://twitter.com/ratulm>@ratulm</a>
</p>
</td>
</tr>
</table>
<p><br>
<p><b>Recent projects [<a href=projects.html>some past projects</a>]</b>
<ul>
<li> <a href=pubs-bytopic.html#protocols>Network verification</a>
<li> <a href=https://foci.uw.edu/projects.html>Application networking</a>
</ul>
<p><b>Recent papers</b> [<a href="pubs.html">Complete list</a>
| <a href="pubs-bytopic.html">Organized by topic</a>
| <a href="https://scholar.google.com/citations?user=Sh1yq5QAAAAJ">Google Scholar</a>
]
<ul>
<li>
<a href=papers/sigcomm2024-rela.pdf>Relational Network Verification</a>
<br> Xieyang Xu, Yifei Yuan, Zachary Kincaid, Arvind Krishnamurthy, Ratul Mahajan, David Walker and Ennan Zhai
<br>
<i>SIGCOMM, 2024</i>
</li>
<li>
<a href=papers/nsdi2024-flm.pdf>Sequence Abstractions for Flexible, Line-Rate Network Monitoring</a>
<br> Andrew Johnson, Ryan Beckett, Xiaoqi Chen, Ratul Mahajan, and David Walker
<br>
<i>NSDI, 2024</i>
</li>
<li>
<a href=papers/hotnets2023-adn.pdf>Application Defined Networking</a>
<br> Xiangfeng Zhu, Weixin Deng, Banruo Liu, Jingrong Chen, Yongji Wu, Tom Anderson, Arvind Krishnamurthy, Ratul
Mahajan, and Danyang Zhuo
<br>
<i>HotNets, 2023</i>
</li>
<li>
<a href=papers/socc2023-meshinsight.pdf>Dissecting Overheads of Service Mesh Sidecars</a>
<br> Xiangfeng Zhu, Guozhen She, Bowen Xue, Yu Zhang, Yongsu Zhang, Xuan Kelvin Zou, XiongChun Duan, Peng He,
Arvind Krishnamurthy, Matthew Lentz, Danyang Zhuo, and Ratul Mahajan
<br>
<i>SoCC, 2023</i>
</li>
<li>
<a href=papers/socc2023-sia.pdf>Anticipatory Resource Allocation for ML Training</a>
<br> Tapan Chugh, Srikanth Kandula, Arvind Krishnamurthy, Ratul Mahajan, and Ishai Menache
<br>
<i>SoCC, 2023</i>
</li>
<li>
<a href=papers/sigcomm2023-batfish-lessons.pdf>Lessons from the evolution of the Batfish configuration analysis
tool</a>
<br> Matt Brown, Ari Fogel, Daniel Halperin, Victor Heohiardi, Ratul Mahajan, and Todd Millstein
<br>
<i>SIGCOMM, 2023</i>
</li>
<li>
<a href=papers/nsdi2023-netcov.pdf>Test coverage metrics for network configurations</a>
<br> Xieyang Xu, Weixin Deng, Ryan Beckett, Ratul Mahajan, and David Walker
<br>
<i>NSDI, 2023</i>
</li>
</ul>
<p>
<b>Recent talks</b> [<a href="talks.html">More talks</a>]
<ul>
<li>
<a href=talks/fmano2024-keynote.pdf>The bane of network operations: Networks are evolved, not (intelligently) designed</a>
<br>
Keynote at <a href="https://conferences.sigcomm.org/sigcomm/2024/workshop/fmano/">1st ACM SIGCOMM Workshop on Formal Methods Aided Network Operation (FMANO)</a>, Aug
2024<br>
</li>
<li>
<a href=talks/apnet2024-keynote.pdf>A decade of network verification: Lessons learned and open challenges</a>
<br>
Keynote at <a href="https://conferences.sigcomm.org/events/apnet2024/">8th Asia-Pacific Workshop on Networking (APNet'24)</a>, Aug
2024<br>
</li>
<li>
<a href=talks/acm-fsn2023-adn.pdf>Application-defined networking</a>
<br>
Invited talk at <a href="https://www.iiitd.ac.in/fsn/">ACM India Winter School on Full Stack Networking</a>, Dec
2023<br>
</li>
<li>
<a href=talks/cnsm2023-keynote.pdf>Network verification: Lessons learned and outlook</a>
<br>
Keynote at <a href="http://www.cnsm-conf.org/2023/">IEEE CNSM</a>, Nov 2023<br>
<li>
<a href=talks/cisco-netcov-apr23.pdf>NetCov: Test coverage for network configurations</a>
<br>
Invited talk at Cisco Research, Apr 2023<br>
</ul>
<p>
<b>Professional activities</b>
<ul>
<li>
<b>PC chair:</b>
<a href=https://conferences.sigcomm.org/sigcomm/2020 />SIGCOMM 2020</a>,
<a href=https://www.usenix.org/conference/nsdi14>NSDI 2014</a>,
<a href=http://conferences.sigcomm.org/imc/2012 />IMC 2012</a>,
<a href="http://mobiarch11.cs.ucl.ac.uk/">MobiArch 2011</a>,
<a href="http://conferences.sigcomm.org/hotnets/2009/">HotNets 2009 </a>,
<a href="http://netecon-ibc.si.umich.edu/">NetEcon+IBC 2007</a>
<li>
<b>PC member:</b>
<ul>
<li> 2025:
<a href=https://www.usenix.org/conference/osdi25>OSDI</a>,
</li>
<li> 2024:
<a href="https://conferences.sigcomm.org/sigcomm/2024/">SIGCOMM</a>
</li>
<li> 2023:
<a href=https://www.usenix.org/conference/osdi23>OSDI</a>,
</li>
<li> 2022:
<a href=https://www.usenix.org/conference/osdi22>OSDI</a>,
</li>
<li> 2021:
<a href="https://conferences.sigcomm.org/sigcomm/2021/">SIGCOMM</a>,
<a href="http://conferences.sigcomm.org/hotnets/2021/">HotNets</a>,
</li>
<li> 2017:
<a href="https://www.usenix.org/conference/nsdi17">NSDI</a>,
<a href="http://conferences.sigcomm.org/sigcomm/2017/">SIGCOMM</a>
<li> 2016:
<a href="https://www.usenix.org/conference/nsdi16">NSDI</a>,
<a href="http://conferences.sigcomm.org/sigcomm/2016/">SIGCOMM</a>,
<a href="http://conferences.sigcomm.org/hotnets/2016/">HotNets</a>,
<li> 2015:
<a href="http://icdcs-2015.cse.ohio-state.edu/">ICDCS</a>,
<a href="http://conferences.sigcomm.org/imc/2015/">IMC</a>,
<a href="http://conferences.sigcomm.org/hotnets/2015/">HotNets</a>,
<a href="http://opennetsummit.org/sosr/">SOSR</a>,
<a href="http://conferences.sigcomm.org/sigcomm/2015/c2bid.php">C2BID</a>
<li> 2014:
<a href="https://www.usenix.org/conference/nsdi14">NSDI</a>,
<a href="http://conferences.sigcomm.org/sigcomm/2014/">SIGCOMM</a>,
<a href="http://conferences.sigcomm.org/co-next/2014/">CoNext</a>,
<a href="https://sites.google.com/site/2014socc/">SoCC</a>,
<a href="http://appanalysis.org/upside/">UPSIDE</a>,
<a href="https://www.usenix.org/conference/ons2014">ONS</a>,
<li> 2013:
<a href="https://www.usenix.org/conference/nsdi13">NSDI</a>,
<a href="http://conferences.sigcomm.org/hotnets/2013/">HotNets</a>,
<li> 2012:
<a href="http://conferences.sigcomm.org/sigcomm/2012/">SIGCOMM</a>,
<a href="http://conferences.sigcomm.org/imc/2012/">IMC</a>,
<li> 2011:
<a href="http://conferences.sigcomm.org/sigcomm/2011/">SIGCOMM</a>,
<a href="http://www.usenix.org/events/nsdi11/index.html">NSDI</a>,
<a href="http://conferences.sigcomm.org/imc/2011/">IMC</a>,
<a href="href=http://mobiarch11.cs.ucl.ac.uk">MobiArch</a>
<a href="http://conferences.sigcomm.org/sigcomm/2011/workshops/HomeNets/">HomeNets</a>,
<li> 2010:
<a href="http://www.sigmetrics.org/sigmetrics2010/">SIGMETRICS</a>,
<a href="http://conferences.sigcomm.org/imc/2010/">IMC</a>,
<a href="http://conferences.sigcomm.org/co-next/2010/">CoNext</a>,
<a href="http://conferences.sigcomm.org/hotnets/2010/">HotNets</a>,
<a href="http://conferences.sigcomm.org/sigcomm/2010/HomeNets.php">HomeNets</a>,
<a href="http://sites.google.com/site/mobiarch10/">MobiArch</a>
<li> 2009:
<a href="http://www.acm.org/sigs/sigcomm/sigcomm2009/">SIGCOMM</a>,
<a href="http://www.imconf.net/imc-2009/">IMC</a>,
<a href="http://www.ieee-icnp.org/2009/">ICNP</a>,
<a href="http://conferences.sigcomm.org/hotnets/2009/">HotNets-VIII </a>,
<a href="http://www.comsnets.org/">COMSNETS</a>,
<a href="http://netecon.seas.harvard.edu/NetEcon09/index09.html">NetEcon</a>,
<a href="http://netdb09.cis.upenn.edu/">NetDB</a>,
<a href="http://www.aqualab.cs.northwestern.edu/HotACIV/">HotAC</a>,
<a href="http://cmclab.rice.edu/~winmee/">WinMee</a>
<li> 2008:
<a href="http://www.acm.org/sigs/sigcomm/sigcomm2008/">SIGCOMM</a>,
<a href="http://www.comsoc.org/confs/infocom/2008/">INFOCOM</a>,
<a href="http://www.sigcomm.org/sigcomm2008/workshops/netecon/">NetEcon</a>,
<a href="http://conferences.sigcomm.org/co-next/2008/roads.html">ROADS</a>,
<a href="http://www.netsec.colostate.edu/gi08/">Global Internet</a>
<li> 2007:
<a href="http://pam2007.intel-research.net/">PAM</a>,
<a href="http://netecon-ibc.si.umich.edu/">NetEcon</a>,
<a href="http://www.acm.org/sigs/sigcomm/sigcomm2007/">SIGCOMM posters</a>
<li> 2006:
<a href="http://www.acm.org/sigs/sigcomm/sigcomm2006/">SIGCOMM</a>,
<a href="http://www.acm.org/sigs/sigcomm/HotNets-V/">HotNets-V</a>,
<a href="http://www.cs.duke.edu/nicl/netecon06/">NetEcon</a>
</ul>
<li>
<b>Steering committee</b> <a href="http://www.sigcomm.org/events/imc-conference">IMC</a> [2014-2018]
<li>
<b>Workshops Chair:</b> <a href="http://www.acm.org/sigs/sigcomm/sigcomm2013/">SIGCOMM 2013</a>
<li>
<b>Associate editor:</b> <a href="http://www.ton.seas.upenn.edu/">IEEE/ACM ToN</a> [2012-2014]
<li>
<b>Organizer:</b> <a href="http://www.cs.washington.edu/mssi/2009/index.html">UW MSR Summer Institute 2009</a>
on "Unraveling the technological knot in homes"
<li>
<b>Area editor:</b> <a href="http://www.sigmobile.org/pubs/mc2r/">MC2R</a> [2008-2011]
<li>
<b>Local chair:</b> <a href="http://www.acm.org/sigs/sigcomm/sigcomm2008/">SIGCOMM 2008</a>
</ul>
<!-- <p>
<b>Selected press coverage</b>
<ul>
<li> <a href=http://business-standard.com/413018/> Marrying 3G with WiFi makes sense</a> [Business Standard]
<li> <a href=http://mobile.slashdot.org/story/10/10/13/1342221/Researchers-Test-WiFi-Access-From-Moving-Vehicles>Researchers test WiFi access from moving vehicles</a> [Slashdot]
<li> <a href=http://research.microsoft.com/en-us/news/features/smartphonetraffic-103110.aspx>Tuning Smartphone Performance</a> [MSR]
<li> <a href=http://www.networkworld.com/community/blog/microsoft-wiffler-lets-smartphones-use-free-w?t51hb=>Microsoft Wiffler lets smartphones use free WiFi from moving vehicles</a> [Network World]
<li> <a href=http://www.technologyreview.com/communications/26524/page1/>Improving phones through surveillance</a> [Technology Review]
<li> <a href=http://www.zdnet.com/blog/microsoft/microsofts-homestore-home-automation-with-an-iphone-inspired-twist/7596>Microsoft's HomeStore: Home automation, with an iPhone-inspired twist</a> [ZDNet]
<li> <a href=http://research.microsoft.com/en-us/news/features/wiffler-091610.aspx>Using Wi-Fi to Boost 3G Capacity</a> [MSR]
<li><a href=http://seattlepi.nwsource.com/business/376308_software25.html>Software Notebook: Microsoft test-driving Wi-Fi use in vehicles</a> [Seattle PI]
<li> <a href=http://www.networkworld.com/news/2008/090408-wi-fi-vehicle-networks.html>Plan rolling to improve vehicle-based Wi-Fi nets</a> [Network World]
<li><a href=http://discovermagazine.com/2009/feb/28-prepare-for-truly-mobile-wifi>Prepare for truly mobile WiFi</a> [Discover Magazine]
</ul> -->
<p>
<b>Bio</b>
<br>
Ratul Mahajan is an Associate Professor at the <a href=https://www.cs.washington.edu />University of
Washington</a> (Paul G. Allen School of Computer Science). He is also the co-director of <a
href=https://foci.uw.edu>UW FOCI</a> (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 <a
href=https://www.microsoft.com/en-us/research />Microsoft Research</a>. He got his PhD at the <a
href=https://www.cs.washington.edu />University of Washington</a> and B.Tech at <a
href=http://www.iitd.ac.in />Indian Institute of Technology, Delhi</a>, both in Computer Science and
Engineering.
<p>
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.
<p>
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.
</div>
</body>
</html>