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
• 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
• SWAN: Software-driven wide area network
  MSR Cambridge, July 2013
• Systematically exploring control programs
  Summer School on Formal Methods in Networking, Cornell, June 2013
  Shorter version UCL, July 2013
• Towards commodity smarthomes
  Duke University, Nov 2011
  ETH, Zurich, Nov 2011
  MPI-SWS, Saarbrucken, Germany, Nov 2011
• View the home as a computer
  Panel at IEEE CCW, Oct 2011
• HNI: Human network interaction
  dub seminar, University of Washington, Aug 2011
• Beyond the super-rich and the super-geeks: Smart homes for the rest of us
  Panel at SIGCOMM workshop on Home Networks (HomeNets), Sep 2010
• Smartphone energy considerations for browser design
  Invited talk at Universal Parallel Computing Research Center (UPCRC) summit, Aug 2010
• Pushing networking research to layer human
  2020 Networking Summit, June 2010
• Augmenting Mobile 3G using WiFi
  University of Washington, May 2010
• How to build research network systems in your spare time
  Keynote at CoNext 2009, December 2009
• Detailed and understandable network diagnosis
  U Wisconsin, Nov 2009; and Georgia Tech, Oct 2009
• Using redundancy to enable interactive connectivity for moving vehicles
  Keynote at WinMee 2009; KAIST [Daejeon, South Korea]; MPI-SWS [Saarbrucken, Germany]
• What constitutes a useful experimental result?
  Panel at USC Invited Workshop on Theory & Practice in Wireless Networks 2008