talks.html

<ul>

<li>
    <a href=talks/future-net-aug2017.pptx>Network Engineers Can Uncross their Fingers by Emulating Hardware and Software Engineers</a> [<a href=https://www.youtube.com/watch?v=LfoCK7Au6to>Watch</a>]
    <br>
    Keynote at <a href=https://www.vmware.com/futurenet>Future:Net</a> 2017<br>
</li>

<li>
    <a href=talks/sosr-apr2017.pptx>Network programming for the cloud ERA</a>
    <br>
    Keynote at <a href=http://conferences.sigcomm.org/sosr/2017/>ACM SOSR 2017</a> <br>
</li>

<li>
<a href=talks/network-programming-jun2016.pptx>Maslow's hierarchy of network programming and the unmet needs</a>
<br>
Keynote at <a href=http://network-programming.org/>Center for Network Programming</a> Retreat, Jun 2016 <br>
</li>

<li>
<a href=talks/propane-dimacs-jun2016.pptx>Bridging centralized programming and distributed control planes</a> [<a href=https://www.youtube.com/watch?v=AXrhbM2BWGQ>Watch</a>]
<br>
NSF <a href=http://dimacs.rutgers.edu/Workshops/SDNAlgorithms/>Algorithms in the Field Workshop</a>, Jun 2016 <br>
</li>


<li>
<a href=talks/batfish-dagstuhl-feb2015.pptx>Configuration verification: A missing link toward fully verified networks</a>
<br>
Dagstuhl seminar on Formal Foundations of Networking, Feb 2015 <br>
</li>

<li>
<a href=talks/swan-stanford-may2014.pptx>Software-defined networking: Change is hard</a> [<a href=https://www.youtube.com/watch?v=YgqHTsd247M>Watch</a>]
<br>
Stanford, May 2014
</li>

<li>
<a href=talks/swan-ucsd-nov2013.pptx>Software-driven wide area network</a>
<br>
Distinguished Lecture Series, UCSD, Nov 2013

<li>
<a href=talks/homeos-hups-jul2013.pptx>Accelerating innovation in home technology</a>
<br>
Keynote at HUPS, July 2013

<li>
<a href=talks/swan-msrc-jul2013.pptx>SWAN: Software-driven wide area network</a>
<br>
MSR Cambridge, July 2013


<li>
<a href=talks/delorean-summerschool-jun13.pptx>Systematically exploring control programs</a>
<br>
Summer School on Formal Methods in Networking, Cornell, June 2013
<br> <a href=talks/delorean-ucl-jul2013.pptx> Shorter version </a> UCL, July 2013

<li>
<a href=talks/homeos-duke-nov2011.pptx>Towards commodity smarthomes</a>
<br>
Duke University, Nov 2011
<br>
ETH, Zurich, Nov 2011
<br>
MPI-SWS, Saarbrucken, Germany, Nov 2011

<li>
<a href=talks/ccw-2011-home.pptx>View the home as a computer</a>
<br>
Panel at IEEE CCW, Oct 2011

<li>
<a href=talks/dub2011-hni.pptx>HNI: Human network interaction</a>
<br>
dub seminar, University of Washington, Aug 2011

<li>
<a href=talks/homenets2010-panel.pptx>Beyond the super-rich and the super-geeks: Smart homes for the rest of us</a>
<br>
Panel at SIGCOMM workshop on Home Networks (HomeNets), Sep 2010

<li>
<a href=talks/browser-energy-upcrc2010.pptx>Smartphone energy considerations for browser design</a>
<br>
Invited talk at Universal Parallel Computing Research Center (UPCRC) summit, Aug 2010

<li>
<a href=talks/human-2020summit-2010.pptx>Pushing networking research to layer human</a>
<br>
2020 Networking Summit, June 2010

<li>
<a href=talks/wiffler-uw-2010.pptx>Augmenting Mobile 3G using WiFi</a>
<br>
University of Washington, May 2010

<li>
<a href=talks/keynote-conext-2009.pptx>How to build research network systems in your spare time</a>
<br>
Keynote at <i>CoNext 2009</i>, December 2009

<li>
<a href=talks/netmedic-netclinic-2009.pptx>Detailed and understandable network diagnosis</a>
<br>
U Wisconsin, Nov 2009; and Georgia Tech, Oct 2009

<li>
<a href=talks/vanlan-redundancy-2009.pptx>Using redundancy to enable interactive connectivity for moving vehicles</a>
<br>
Keynote at <i>WinMee 2009</i>; KAIST [Daejeon, South Korea]; MPI-SWS [Saarbrucken, Germany]

<li>
<a href=talks/usc2008-clean.pptx>What constitutes a useful experimental result?</a>
<br>
Panel at <i>USC Invited Workshop on Theory & Practice in Wireless Networks 2008</i>

</ul>