Philip Brighten Godfrey

Associate ProfessorDepartment of Computer Science

University of Illinois at Urbana-Champaign

June 3, 2020

Contact Information

Department of Computer Science Email: pbg@illinois.eduUniversity of Illinois at Urbana-Champaign Cell: 650-814-1962201 North Goodwin Avenue Web: http://pbg.cs.illinois.eduUrbana, IL 61801-2302

Research Interests

Design and analysis of networked systems and algorithms. Current focuses include network verifi-cation, high performance transport protocols, low latency networked systems, data center networkarchitectures, and software-defined networks.

Education

University of California at BerkeleyPh.D., Computer Science, May 2009Dissertation title: Designing Distributed Systems for HeterogeneityAdvisor: Professor Ion StoicaMajor in CS Systems, minors in CS Theory and Statistics

University of California at BerkeleyM.S., Computer Science, December 2006Thesis title: Minimizing Churn in Distributed SystemsAdvisor: Professor Ion Stoica

Carnegie Mellon UniversityB.S., Computer Science, May 2002Minors in Jazz Performance and Trumpet Performance

Employment

Department of Computer Science, University of Illinois at Urbana-ChampaignAssociate professor, August 2015 - presentAssistant professor, August 16, 2009 - August 15, 2015Affiliate faculty, Department of Electrical and Computer EngineeringAffiliate faculty, Computational Science and Engineering, 2013 - presentMember, Information Trust Institute, 2012 - presentMember, Parallel Computing Institute, 2012 - present

VMware, Inc. (through acquisition of Veriflow)Technical Director, VMware, August 2019 - present

1 of 24

Veriflow (acquired by VMware, Inc.)Co-founder and Chief Technology Officer, Veriflow, December 2015 - August 2019Co-founder and Chief Executive Officer, Veriflow, September 2012 - December 2015

Compira LabsAdvisory Board, January 2020 - present

Visiting ResearcherIntel Labs BerkeleyFebruary - July 2009

Graduate Student ResearcherUniversity of California - BerkeleyAugust 2002-May 2009

ConsultantRinera Networks, Inc. (now Conviva)December 2006-March 2007

Research internIntel Research PittsburghMay-August 2004

Engineering internGoogle Inc.May-August 2002

Undergraduate researcherCAPTCHA project, Carnegie Mellon UniversityAugust 2001 - May 2002

Engineering internCray Inc.May-August 2001

Engineering internCray Inc.May-August 2000

2 of 24

AWARDS

For research

Best Dataset Award, Passive and Active Measurement Conference, 2020

Best Dataset Award, Passive and Active Measurement Conference, 2017

ACM SIGCOMM Rising Star Award, 2015

Dean’s Award for Excellence in Research, UIUC College of Engineering, 2015

Best paper, Workshop on Hot Topics in Software Defined Networking (HotSDN), 2014

Alfred P. Sloan Research Fellow in Computer Science, 2014

UIUC Center for Advanced Study Beckman Fellow, 2014-2015

Internet2 Innovative Application Award, 2013

Best paper, Workshop on Hot Topics in Software Defined Networking (HotSDN), 2012

IEEE Communications Society & Information Theory Society Joint Paper Award, 2012

National Science Foundation CAREER Award, 2012

IEEE Communications Society Data Storage 2010 Best Paper Award

NSF Graduate Research Fellowship, 2004-2007

California Microelectronics Fellowship, 2002-2003

For teaching and advising

Ranked as Excellent Teacher, Fall 2019 CS 498 Cloud Networking

Ranked as Outstanding Teacher, Spring 2019 CS 538 Advanced Computer Networks

Ranked as Excellent Teacher, Spring 2018 CS 538 Advanced Computer Networks

Ranked as Excellent Teacher, Spring 2017 CS 538 Advanced Computer Networks

Engineering Council Outstanding Advising Award, 2015

Ranked as Excellent Teacher, Spring 2014 CS 241 Systems Programming

Ranked as Outstanding Teacher, Fall 2013 CS 538 Advanced Computer Networks

Ranked as Outstanding Teacher, Fall 2012 CS 538 Advanced Computer Networks

Ranked as Excellent Teacher, Spring 2012 CS 241 Systems Programming

Ranked as Outstanding Teacher, Fall 2011 CS 538 Advanced Computer Networks

Ranked as Excellent Teacher, Fall 2010 CS 598 Advanced Computer Networks

Audience Choice Award for most popular lecturer, UIUC Department of Computer Science ResearchSeminar, Fall 2009 (weekly colloquium for first-year graduate students)

3 of 24

FUNDING

NeTS: Medium: Collaborative Research: The Internet at the Speed of LightPI at Illinois, with Bruce Maggs (Duke) and Gregory Laughlin (Yale)National Science Foundation CNS Award 1763841$275,000 of $800,000 total; 2018 - 2021

A Next Generation Transport LayerPI, with Michael Schapira (Hebrew University)Huawei research grant$580,000 of $600,000 total; September 2017 - December 2019

Towards High Performance Congestion Control on the InternetPI at UIUC with Michael Schapira (Hebrew University)Google Research Award (unrestricted gift)$26,756 of $53,512; February 2017

From Verification to Synthesis in Software Defined NetworksPI, with co-PI Matthew CaesarNational Science Foundation CNS Award #1513906$600,000 of $1,200,000 total; October 2015 - September 2020

The Internet at Speed of LightSingle PIGoogle Research Award (unrestricted gift)$84,081; August 2014

Designing networks for high throughputPI, with co-PI Alexandra KollaNational Science Foundation CNS Award 1423452$250,000 of $500,000 total; 2014 - 2017

High-throughput routing for unstructured data center networksSingle PICisco Research Council CG#580729 unrestricted gift$100,000; April 2014 - October 31, 2015

Alfred P. Sloan Research Fellowship in Computer ScienceSingle PI$50,000 total; 2014 - 2016

Hypothesis Testing for Network SecurityPI, with co-PIs Matthew Caesar, David Nicol, Bill Sanders, and Kevin Jin (Illinois Institute ofTechnology)NSA Science of Security grant$300,000 of $1,410,000 total; 2014 - 2017

Designing data center networks for high throughput and incremental expandabilityPI, with Sariel Har-Peled (co-PI)Cisco Research Council CG#573665 unrestricted gift$50,000 of $100,000 total; August 2012 - July 2013

CAREER: Flexible Networks with Source ControlSingle PINational Science Foundation CNS Award 1149895$500,000; January 2012 - December 2016

4 of 24

Towards a Science of Securing Network ForwardingPI, with Matthew Caesar (co-PI)Subgrant of Army Sub CM W911NF-09-0273, NSA UIUC Science of Security Lablet$49,100 of $98,199 total; August 2011 - December 2012

Enabling Responsive Web Applications with ASAPSingle PIVerisign, Inc. Internet Infrastructure Grant Program; one of four winners$75,000; March 2011 - September 2011

FIA: Collaborative Research: Architecting for InnovationPI at UIUC, with Scott Shenker (UC Berkeley, lead PI), Nick McKeown (Stanford), NickFeamster (Georgia Tech), Jennifer Rexford (Princeton), Hari Balakrishnan (MIT)National Science Foundation CNS Award 1040396$200,000 of $3,808,178 total; October 2010 - September 2013

EAGER: Adaptive Source Routing on GENISingle PINational Science Foundation CNS Award 1050146$135,000; September 2010 - August 2012

Scaling Routing: From Theory to Practice (and Back Again)Single PINational Science Foundation CNS Award 1017069$450,000; July 2010 - June 2013

5 of 24

PROFESSIONAL ACTIVITIES

Professional society memberships

Association for Computing Machinery (ACM), 2008-present

ACM SIGCOMM, 2008-present

Institute of Electrical and Electronics Engineers (IEEE), 2011-present

IEEE Communications Society, 2011-present

USENIX, 2013-present

ACM SIGMETRICS, 2013-present

Organization committees and PC chair

Selection Committee, ACM SOSR Software Systems Award 2020

Selection Committee, ACM SIGCOMM Networking Systems Award 2018

Program Co-Chair, SOSR 2016 (ACM SIGCOMM Symposium on SDN Research)

Co-organizer, 23rd GENI Engineering Conference, June 15-18, 2015

Co-organizer, Dagstuhl Seminar on Formal Foundations for Networks, February 9-13, 2015

Program Co-Chair, HotNets 2014 (ACM Workshop on Hot Topics in Networks)

Organization Committee – Web Chair, ACM SIGCOMM 2014

Workshop Chair, CoNEXT 2013 (9th ACM International Conference on emerging Networking Ex-periments and Technologies)

Co-organizer, DIMACS Workshop on Software Defined Networking, December 2012

Co-Chair, 7th ACM International Conference on emerging Networking Experiments and Technolo-gies (CoNEXT) 2010 Student Workshop

Advisory committee, Midwest University-Industry Summit 2010

Technical program committees

ACM CoNEXT 2020

ACM SIGCOMM 2018

ACM SIGMETRICS 2017

ACM HotNets 2017

ACM SIGCOMM 2017 Workshop on Virtual Reality and Augmented Reality Network (VR/ARNetwork 2017)

ACM SIGCOMM 2015

Symposium and Bootcamp on the Science of Security (HotSoS) 2015

IRTF Software Defined Networking Research Group, 2013 - present

ACM SIGMETRICS 2014

ACM SIGCOMM 2014 (“heavy” PC)

6 of 24

USENIX NSDI 2014

HotNets 2013 (ACM Workshop on Hot Topics in Networks)

IEEE SafeConfig 2013 (6th Symposium on Security Analytics and Automation)

ANCS 2013 (ACM/IEEE Symposium on Architectures for Networking and Communications Sys-tems)

HotSDN 2013 (SIGCOMM Workshop on Hot Topics in Software Defined Networking)

WWW 2013 (22nd International World Wide Web Conference), Social Network and Graph Analysistrack

HotNets 2011 (ACM Workshop on Hot Topics in Networks)

SIGMETRICS 2011 (ACM International Conference on Measurement and Modeling of ComputerSystems)

IFIP Networking 2010

Grant proposal panels

NSF NeTS, 2017

NSF SBIR/STTR, 2017

NSF SBIR/STTR, 2016

NSF NeTS, 2014 ×2

NSF NeTS, 2012

NSF NeTS, 2011

External reviewer

Grant proposals: European Research Council (2010), Air Force Office of Scientific Research (2009)

Conferences and workshops: ACM Symposium on Cloud Computing (2012), ACM SOSP (2011),HotDep (2011), USENIX NSDI (2010, 2004), IEEE INFOCOM (2010), STACS (2010), IEEEInternational Symposium on Information Theory (2009), ACM SIGCOMM (2008, 2005, 2004),ACM-SIAM SODA (2008), IPTPS (2005), EuroPar (2006), ACM HotNets (2005), ACM/IEEEANCS (2005), DISC (2003), ACM TRIDENTCOM (2008)

Journals: Communications of the ACM (2013), IEEE Communications Letters (2013, 2011), IEEECommunications Magazine (2011), IEEE/ACM Transactions on Networking (2006-10, 2012-14),ACM Transactions on Sensor Networks (2008), Operations Research (2004-06), IEEE Trans-actions on Parallel and Distributed Systems (2006-10), Elsevier Journal on Ad Hoc Networks(2007, 2005), Elsevier Computer Networks (2006), Elsevier Performance Evaluation (2004), andothers

UIUC College-Level Service

Engineering IT Working Group on Research Needs, Spring 2014

Information Trust Institute Distinguished Lecture Series committee chair, 2013-2014

Graduate College review panel for Global Young Scientists Summit travel award, July 2013

7 of 24

UIUC Departmental Service

2019-20 academic year: FAA (Fellowships, Assistantships and Admissions) committee, AcademicAppeals committee

2019 summer: CS Strategic Planning Committee

2018-19 academic year: Advisory (chair), FAA, Graduate Study, and undergraduate mentoringcommittees; Area Chair for Systems and Networking

2017-18 academic year: Advisory, Grainger (GEBI) Search, Online Education, Instructional FacultyRecruiting, Undergraduate Mentoring committees

2016-17 academic year (on leave): Undergraduate Mentoring

2015-16 academic year (on leave): Undergraduate Mentoring

Computer Science Advisory Committee, elected by faculty for 2012-14 term

Ad Hoc Grainger (GEBI) Chair Support Committee, 2013-2014

CS 100 series of 5 small group discussion sections on computer science, Fall 2012

Undergraduate curriculum committee, December 2010 - May 2012

Fellowships, Assistantships and Admissions (FAA) committee (graduate admissions), 2010-2014

Faculty recruiting committee, 2012-2013

Teaching Evaluation and Improvement (TEI) committee, 2012-2014

Graduate Advisor (for incoming students), 2011-2014

Undergraduate advisor, 2011-2014, 2017-

8 of 24

TEACHING

Courses Taught

Semester Course Size Instructor, courseevaluation scores

2019 Fall CS 498: Cloud Networking (online MCS) 66 4.85, 4.69 Ranked Excellent

2019 Spr. CS 538: Advanced Computer Networks 47 4.9, 4.9 Ranked Outstanding

2018 Fall CS 498: Cloud Networking (online MCS) 37 4.4, 3.7

2018 Spr. CS 538: Advanced Computer Networks 24 4.8, 4.7 Ranked Excellent

2017 Spr. CS 538: Advanced Computer Networks 24 4.8, 4.7 Ranked Excellent

2014 Spr. CS 241: Systems Programmingwith Marco Caccamo

200 4.5, 4.3 Ranked Excellent

2013 Fall CS 538: Advanced Computer Networks 48 4.9, 4.8 Ranked Outstanding

CS 538 online section 4

2012 Fall CS 538: Advanced Computer Networks 23 4.8, 4.8 Ranked Outstanding

CS 538 online section 5

2012 Spr. CS 241: Systems Programming 184 4.5, 4.5 Ranked Excellent

2011 Fall CS 538: Advanced Computer Networks 22 4.8, 4.9 Ranked Outstanding

2011 Spr. CS/ECE 438: Communication Networks 38 4.6, 4.3

CS 438 online section 12 4.2, 4.2

2010 Fall CS 598: Advanced Computer Networks 15 4.7, 4.7 Ranked Excellent

2010 Spr. CS 241: System Programmingwith Robin Kravets

141 3.8, 2.7

CS 591: Foundations of Systems & Networkingseminar with Klara Nahrstedt, Indy Gupta

28 4.4, 4.4

2009 Fall CS 598: Advanced Internet 14 4.3, 4.3

Course Development

Online MCS course, CS 498 Cloud Networking, introduced Fall 2018Ranked as Excellent, Fall 2019

Coursera MOOC, “Cloud Networking”, October 2015, and on-demand December 2016-presentDeveloped new online course with Ankit Singla

CS 538 Advanced Computer Networks, Fall 2010 - presentNew course; Ranked as Outstanding or Excellent in every semester

CS 241 Systems Programming, Spring 2012Extensive changes to existing course; ranked as Excellent (2012 and 2014)

CS 591 Foundations of Systems and Networking, Spring 2010New seminar; with Klara Nahrstedt and Indranil Gupta

9 of 24

Tutorials, Educational Lectures

“Network Verification From Algorithms To Deployment”, Half-day tutorial at the 2nd Hebrew Uni-versity Networking Summer, June 21, 2017; and at 32nd IEEE/ACM International Conferenceon Automated Software Engineering (ASE 2017), November 2017.

“Networks and Games”, talks at UIUC Worldwide Youth in Science and Engineering (WYSE)Exploring Your Options Camp, July 8, 2013; WYSE Discover Engineering Camp, July 25,2013; WYSE Discover Engineering Camp, July 24, 2012.

“Data Plane Verification”, Invited series of three lectures, Summer School on Formal Methods andNetworking, Cornell University, Ithaca, NY, June 2013.

“Current Directions in Networking and Cloud Computing”, seminar at Imam University Futures inInformation Technology Program, held at UIUC for visiting students from Imam University,Saudi Arabia; July 10, 2012.

10 of 24

MENTORING

Postdoctoral researchers

Anduo Wang (2013-2015), now assistant professor at Temple UniversityCo-advised with Matthew Caesar

Ph.D. students

William Sentosa (August 2019 - present)• Ranked as Excellent Teacher, fall 2019

Ali Kheradmand (August 2018 - present)

Vipul Harsh (August 2017 - present)

Tong Meng (August 2016 - present)

Soudeh Ghorbani (2013-2016), now assistant professor at Johns Hopkins University• Best paper, Workshop on Hot Topics in Software Defined Networking (HotSDN), 2014• VMware Graduate Fellowship, 2015

Sangeetha Abdu Jyothi (2013-August 2019), now assistant professor at UC Irvine• Facebook Graduate Fellowship, 2017 (one of just 13 winners of over 800 global applicants)

Mo Dong (2012-2017), now CEO and co-founder of Celer Network• Internet2 Innovative Application Award, 2013

Chi-Yao Hong (2012-2014), now at GoogleCo-advised with Matthew Caesar

• UIUC CS Graduate Outstanding Research Project Award, 2013• Symantec Graduate Fellowship, 2012

Qingxi Li (2010-2016), now at Google• Internet2 Innovative Application Award, 2013

Ankit Singla (2009-2015), now assistant professor at ETH Zurich• UIUC CS Graduate Outstanding Research Project Award, 2013• Google Ph.D. Fellowship, 2012 (one of 14 US/Canada awardees)

Ashish Vulimiri (2009-2015), now researcher at Samsung ResearchCo-advised with Gul Agha

Rachit Agarwal (2009-2013), now assistant professor at Cornell UniversityCo-advised with Matthew CaesarDefense July 18, 2013Preliminary exam April 5, 2012

• UIUC Rambus Research Fellowship, 2012• Yi-Min Wang and Pi-Yu Chung Research Award, 2010• Ranked as Excellent Teacher, spring 2010

M.S. students

Aditi Partap (August 2019 - present), co-advised with Radhika Mittal

Nathan Jay (Fall 2017 - December 2019)• Honorable Mention, NSF Graduate Research Fellowship, 2019

Fatima Tariq, February 2018 - May 2019

11 of 24

Fan Yang, April 2014 - 2015

Kyle Fang-Kai Jao, Jan 2013 - December 2014 (now at Yahoo)

Abhishek Sharma, M.S., July 2013 (now at Yelp)Dissertation title: High Throughput Path Selection for Unstructured Data Center Networks

Sam Mussmann, M.S., December 2012 (now at Google)Dissertation title: Making Short Flows Finish Faster with TCP

Undergraduate researchers

Yinan Hu, January 2019 - August 2019

Jae Wook Lee, January 2019 - August 2019

Mingzhe Wang, January 2019 - May 2019

Ruiyang Chen, May 2018 - May 2019

Tiancheng Wu, August - December 2017

Shekar Brahma, August 2016 - May 2017

Zibin Yang, June 2016 - December 2016 (coauthor of conference paper [12])

Xueyuan Michelle Mei, July 2015 - May 2016 (coauthor of paper [18]; then to masters program atStanford University)

Bei Zhang, May 2015 - August 2015

Xuefeng Zhu, May 2014 - December 2015

Vijay Bhattiprolu, August 2013 - May 2014

Thasphon Chuenchujit, August 2013 - 2014

Mohd Irtefa, August 2013 - 2014

Zitian Liu, August 2013 - 2014

Peter Changhua Zhu, January - December 2013; now at Bloomberg

Kelvin Xuan Zou, June 2012 - May 2013; coauthor of conference paper [34]; now PhD student atPrinceton University

Sri Varsha Gorge, August 2012 - January 2013 (now at Salesforce)

Oliver Michel, August 2012 - August 2013; coauthor of conference paper [37]; now Ph.D. student atthe University of Colorado

Ted Pacyga, February - May 2011, January - May 2013

Michael Robertson, February - May 2011

Lucas Pfister, February - May 2011

Tim Sally, August - December 2010

12 of 24

Student Preliminary exam Defense Advisor

Dissertation and preliminary exam committee membership

Student Preliminary exam Defense Advisor

Santhosh Prabhu 2019.05.24 2020.03.12 Matthew Caesar

Hadi Hashemi 2019.02.22 2019.08.20 Roy Campbell

Ashutosh Dhekne 2018.11.27 2019.05.10 Romit Roy Choudhury

Wenxuan Zhou 2017.03.07 2017.11.15 Matthew Caesar

Giang Nguyen 2015.12.14 2017.04.07 Nikita Borisov

Ilker Nadi Bozkurt (Duke U.) 2015.09 2018.10.25 Bruce Maggs

Ahmed Khurshid 2013.05.20 2015.07.02 Matthew Caesar

David Morrison 2013.01.17 2014.04.22 Sheldon Jacobson

Ji Zhu 2012.11.06 2013.08.28 Bruce Hajek

Haohui Mai 2012.10.25 2013.06.28 Samuel King

Jason Sauppe 2012.06.06 2015.06.30 Sheldon Jacobson

Alina Ene 2012.02.03 2013.07.12 Chandra Chekuri

Debessay Fesehaye Kassa 2012.01.26 2013.05.13 Klara Nahrstedt

Yusuf Sarwar 2012.01.10 2012.07.31 Tarek Abdelzaher

Brian Cho 2011.04.18 2012.09.28 Indranil Gupta

Ray Kong Lam 2010.12.06 2011.06.21 P.R. Kumar

13 of 24

PRESENTATIONS

Invited Talks

1. Intent-Based Verification: Taking a Practical Step Towards Autonomous NetworksInterop ITX Network Transformation Summit, May 1, 2018

2. Networking at the Speed of LightUC Berkeley Half Baked Talk Series, April 20, 2018

3. Network Verification From Algorithms to the Real WorldVMware Future:Net, August 30, 2017

4. Network Verification From Algorithms to DeploymentInvited tutorial, 2nd Hebrew University Networking Summer, June 21, 2017

5. Network Verification From Algorithms to the Real WorldWorkshop on Network Verification, organized by the Cornell-Princeton Center for NetworkProgramming, Barefoot Networks, and VMWare Research, April 28, 2017

6. Networking at the Speed of LightInvited talk, Wireless@MIT Seminar Series, November 6 2014Invited talk, Boston University, November 7 2014

7. Networking at the Speed of LightInvited talk, Initiative for Mathematical Sciences and Engineering Symposium: Hot Topics atthe Interface of Mathematics and Engineering (Hot TIME), University of Illinois at Urbana-Champaign, February 24-25, 2014.

8. Networking Data Centers RandomlyInvited talk, Fish Bowl Seminar Series, Texas A&M University, November 14, 2013

9. Networking Data Centers RandomlyInvited talk, Cisco Inc., September 2013

10. Data Plane VerificationInvited series of three lectures, Summer School on Formal Methods and Networking, CornellUniversity, Ithaca, NY, June 2013

11. Cutting Through Network Complexity with Data Plane VerificationIMDEA Annual International Workshop, Madrid, Spain, June 2013

12. Networking Data Centers RandomlyNeustar Tech Summit, Sterling, VA, May 2013

13. Networking Data Centers RandomlyCalifornia Institute of Technology, Pasadena, CA, April 2013

14. Veriflow: Verifying Network-Wide Invariants In Real TimeSeminar, Department of Computer Science, University of Wisconsin-Madison, April 2013

15. Networking Data Centers RandomlyInformation Theory and Applications (ITA) Workshop, San Diego, CA, February 2013

16. Networking Data Centers RandomlyCAIDA/UCSD Complex Network Seminar, University of California - San Diego, February2013

14 of 24

17. Verifying the Data PlaneMicrosoft Research Mini-Summit on New Directions in Networked Systems Design, Redmond,WA, October 2012

18. Verifying Network-Wide Invariants in the Data PlaneUIUC Information Trust Institute (ITI) Trust and Security Seminar, September 12, 2012

19. Debugging the Data PlaneIBM, San Jose, CA, June 2012

20. Networking in the Cloud EraSecond Workshop on Network Coding and Data Storage: Communication Theory and SignalProcessing in the Cloud Era, UC Berkeley, June 2012

21. Networks for Scientific Big Data AnalyticsEighth Annual Microsoft Research Networking Summit, June 2012

22. Abstractions for Network RoutingDIMACS Working Group on Abstractions for Network Services, Architecture, and Implemen-tation, May 2012

23. Jellyfish: Networking Data Centers RandomlyDIMACS Workshop on Systems and Networking Advances in Cloud Computing, December2011

24. Accelerating the Web with ASAPPanelist and speaker, Verisign Internet Infrastructure Grant Symposium, October 2011

25. Two Ways to Make the Internet FasterCornell Systems Lunch, February 2011

26. Building a Highly Flexible InternetStanford University Networking Seminar, March 11 2010

27. Challenges for Internet Architecture, and Some SolutionsUniversity of Minnesota Computer Science & Engineering Colloquium, February 22 2010

28. Distributed Compact RoutingColumbia University, February 8 2010

29. Distributed Compact RoutingPrinceton University, February 4 2010

30. Challenges for Internet Architecture, and Some SolutionsUIUC Department of Computer Science Research Seminar, September 14 2009Audience Choice Award for most popular lecturer

31. Pathlet RoutingPrinceton University Systems Lunch, April 14 2009Rutgers Computer Science Department Colloquium and DIMACS Algorithmic Foundations ofthe Internet Joint Seminar, April 9 2009New York University, April 8 2009

32. Stabilizing Internet Routing: or, A Story of HeterogeneityUniversity of Cambridge, Computer Lab Systems Seminar, March 2008University College London, March 2008AT&T Labs, March 2008Intel Research Pittsburgh, March 2008University of Southern California, March 2008Columbia University, March 2008University of Illinois at Urbana-Champaign, March 2008

15 of 24

33. Stable Internet Route SelectionCisco Systems Tech Talk, July 2007

34. Minimizing Churn in Distributed SystemsCarnegie Mellon University SDI/LCS Seminar Series, August 2006

Conference and Workshop Presentations

1. Protecting Networks From Change-Induced Outages and Breaches with Mathematical NetworkVerificationSC Congress Toronto, June 2016

2. Resilient Routing in the Pathlet Architecture (with Ashish Vulimiri)9th GENI Engineering Conference, November 2010

3. Pathlet RoutingACM SIGCOMM Conference, August 2009

4. Pathlet RoutingSeventh ACM Workshop on Hot Topics in Networks (HotNets), October 2008

5. Balls and Bins with StructureACM-SIAM Symposium on Discrete Algorithms (SODA), January 2008

6. Stable Internet Route SelectionNorth American Network Operators’ Group (NANOG 40), June 2007

7. Minimizing Churn in Distributed SystemsACM SIGCOMM Conference, September 2006

8. On the Price of Heterogeneity in Parallel Systems18th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA), July 2006

9. Heterogeneity and Load Balance in Distributed Hash Tables24th Annual IEEE Conference on Computer Communications (INFOCOM), March 2005

10. Naps: Scalable, Robust Topology Management in Wireless Ad Hoc NetworksThird IEEE/ACM International Symposium on Information Processing in Sensor Networks(IPSN), April 2004

11. Text Oriented CAPTCHAsFirst Workshop on Human Interactive Proofs, Xerox PARC, January 2002

16 of 24

RESEARCH

Theses

[1] P. Brighten Godfrey. Designing Distributed Systems for Heterogeneity. Ph.D. Thesis, EECSDepartment, University of California, Berkeley, Technical Report No. UCB/EECS-2009-82,May 2009.

[2] P. Brighten Godfrey. Minimizing Churn in Distributed Systems. M.S. Thesis, EECS Depart-ment, University of California, Berkeley, December 2006.

Refereed Journal Publications

[1] P. Brighten Godfrey, Matthew Caesar, Ian Haken, Yaron Singer, Scott Shenker, and Ion Stoica.Stabilizing Route Selection in BGP. IEEE/ACM Transactions on Networking, February 2014.

[2] Ahmed Khurshid, Wenxuan Zhou, Matthew Caesar, and P. Brighten Godfrey. VeriFlow: Ver-ifying Network-Wide Invariants in Real Time. ACM SIGCOMM Computer CommunicationReview, Volume 42, Number 4, October 2012.

• Republication of HotSDN paper [38] (Best paper award)

[3] Igor Ganichev, Bin Dai, P. Brighten Godfrey, and Scott Shenker. YAMR: Yet Another Multi-path Routing Protocol. ACM SIGCOMM Computer Communication Review, Vol. 40, No. 5,October 2010.

[4] Alexandros G. Dimakis, P. Brighten Godfrey, Yunnan Wu, Martin J. Wainwright, and Kan-nan Ramchandran. Network Coding for Distributed Storage Systems. IEEE Transactions onInformation Theory, vol. 56, no. 9, September 2010.

• IEEE Communications Society & Information Theory Society Joint PaperAward, 2012

• IEEE ComSoc Data Storage Technical Committee Best Paper Award

[5] P. Brighten Godfrey and Richard Karp. On the Price of Heterogeneity in Parallel Systems.Theory of Computing Systems, Volume 45, Number 2, pps. 280-301, August 2009.

• Invited version of conference paper [60]

[6] Sonesh Surana, P. Brighten Godfrey, Karthik Lakshminarayanan, Richard Karp, and Ion Stoica.Load Balancing in Dynamic Structured P2P Systems. Performance Evaluation, Vol. 63, no. 6,pps. 217-240, March 2006.

Refereed Conference and Workshop Publications

[1] Tong Meng, Neta Rozen Schiff, P. Brighten Godfrey, and Michael Schapira. Proteus: ScavengerTransport And Beyond. ACM SIGCOMM, August 2020.Acceptance rate: 22% (54/250)

[2] Sangeetha Abdu Jyothi, Sayed Hadi Hashemi, Roy H. Campbell, and P. Brighten Godfrey.Towards An Application Objective-Aware Network Interface. 12th USENIX Workshop on HotTopics in Cloud Computing, July 2020.Acceptance rate: 23% (22/95)

[3] Waqar Aqeel, Debopam Bhattacherjee, Balakrishnan Chandrasekaran, P. Brighten Godfrey,Gregory Laughlin, Bruce Maggs, and Ankit Singla. Untangling Header Bidding Lore. Passiveand Active Measurement Conference (PAM), March 2020.Acceptance rate: 29% (19/65)

• Best Dataset Award

17 of 24

[4] Santhosh Prabhu, Kuan Yen Chou, Ali Kheradmand, P. Brighten Godfrey, and Matthew Caesar.Plankton: Scalable network configuration verification through model checking. 17th USENIXSymposium on Networked Systems Design and Implementation (NSDI), February 2020.Acceptance rate: 18% (65/354)

[5] Tomer Gilad, Nathan H. Jay, Michael Shnaiderman, P. Brighten Godfrey, and Michael Schapira.Robustifying Network Protocols with Adversarial Examples. Eighteenth ACM Workshop onHot Topics in Networks (HotNets), November 2019.Acceptance rate: 20% (20/98)

[6] Nathan Jay, Noga H. Rotman, P. Brighten Godfrey, Michael Schapira, and Aviv Tamar. A DeepReinforcement Learning Perspective on Internet Congestion Control. Thirty-sixth InternationalConference on Machine Learning, June 2019.

[7] Debopam Bhattacherjee, Waqar Aqeel, Ilker Nadi Bozkurt, Anthony Aguirre, BalakrishnanChandrasekaran, P. Brighten Godfrey, Gregory P. Laughlin, Bruce M. Maggs, and Ankit Singla.Gearing up for the 21st century space race. Seventeeth ACM Workshop on Hot Topics inNetworks (HotNets), November 2018.Acceptance rate: 21% (26/125)

[8] Simone Mangiante, Michael Schapira, Amit Navon, Marco Dias Silva, P. Brighten Godfrey,Weiguang Wang, Kevin Smith, and Itzcak Pechtalt. Congestion Control for Future MobileNetworks. Proceedings of the 13th Workshop on Challenged Networks, October 2018.Acceptance rate: 33% (9/27)

[9] Nathan Jay, Noga H. Rotman, P. Brighten Godfrey, Michael Schapira, and Aviv Tamar. InternetCongestion Control via Deep Reinforcement Learning. NeurIPS Deep Reinforcement LearningWorkshop, October 2018.

[10] Santhosh Prabhu, Gohar Irfan Chaudhry, P. Brighten Godfrey, and Matthew Caesar. HighCoverage Testing of Softwarized Networks. ACM SIGCOMM 2018 Workshop on Security inSoftwarized Networks: Prospects and Challenges, August 2018.Acceptance rate: 38% (8/21)

[11] Nathan Jay, Tong Meng, Tomer Gilad, P. Brighten Godfrey, Michael Schapira, Jamal HadiSalim, Jae Won Chung, and Vikram Siwach. A PCC-Vivace Kernel Module for CongestionControl. Netdev 0x12: The Technical Conference on Linux Networking, July 2018.

[12] Mo Dong, Tong Meng, Doron Zarchy, Engin Arslan, Yossi Gilad, P. Brighten Godfrey, andMichael Schapira. PCC Vivace: Online-Learning Congestion Control. 15th USENIX Sympo-sium on Networked Systems Design and Implementation (NSDI), April 2018.Acceptance rate: 16% (40/252)

[13] Soudeh Ghorbani, Zibin Yang, P. Brighten Godfrey, Yashar Ganjali, and Amin Firoozshahian.DRILL: Micro Load Balancing for Low-latency Data Center Neworks. ACM SIGCOMM, Au-gust 2017.Acceptance rate: 14% (36/250)

[14] Santhosh Prabhu, Ali Kheradmand, P. Brighten Godfrey, and Matthew Caesar. PredictingNetwork Futures with Plankton. 1st Asia-Pacific Workshop on Networking (APNet), August2017.Acceptance rate: 35% (17/48)

[15] Soudeh Ghorbani and P. Brighten Godfrey. COCONUT: Seamless Scale-out of Network Ele-ments. European Conference on Computer Systems (EuroSys), April 2017.Acceptance rate: 20% (41/200)

18 of 24

[16] Santhosh Prabhu, Mo Dong, Tong Meng, P. Brighten Godfrey, and Matthew Caesar. Letme rephrase that: Transparent optimization in SDNs. ACM SIGCOMM Symposium on SDNResearch (SOSR), April 2017.Acceptance rate: 23% (18/77)

[17] Ilker Nadi Bozkurt, Balakrishnan Chandrasekaran, Anthony Aguirre, P. Brighten Godfrey, Gre-gory Laughlin, Bruce Maggs, and Ankit Singla. Why is the Internet so slow?!. Passive andActive Measurement Conference, March 2017.Acceptance rate: 23% (20/87)

• Best Dataset Award

[18] Sangeetha Abdu Jyothi, Ankit Singla, P. Brighten Godfrey, and Alexandra Kolla. Measuringand Understanding Throughput of Network Topologies. ACM/IEEE International Conferencefor High Performance Computing, Networking, Storage and Analysis (SC), November 2016.Acceptance rate: 18% (82/446)

[19] Anduo Wang, Xueyuan Mei, Jason Croft, Matthew Caesar, and P. Brighten Godfrey. Ravel: ADatabase-Defined Network. ACM SIGCOMM Symposium on SDN Research (SOSR), March2016.Acceptance rate: 25% (17/68)

[20] Qingxi Li, Mo Dong, and P. Brighten Godfrey. Halfback: Running Short Flows Quicklyand Safely. International Conference on emerging Networking EXperiments and Technologies(CoNEXT), December 2015.Acceptance rate: 21% (41/196)

[21] Soudeh Ghorbani, P. Brighten Godfrey, Yashar Ganjali, and Amin Firoozshahian. Micro LoadBalancing in Data Centers with DRILL. Fourteenth ACM Workshop on Hot Topics in Networks(HotNets), November 2015.Acceptance rate: 19% (26/140)

[22] Sangeetha Abdu Jyothi, Mo Dong, and P. Brighten Godfrey. Towards a Flexible Data CenterFabric with Source Routing. ACM SIGCOMM Symposium on SDN Research (SOSR), June2015.Acceptance rate: 20% (27/137)

[23] Ashish Vulimiri, Carlo Curino, P. Brighten Godfrey, Thomas Jungblut, Konstantinos Karana-sos, Jitu Padhye, and George Varghese. WANalytics: Geo-Distributed Analytics for a DataIntensive World. Demo at ACM SIGMOD International Conference on Management of Data(SIGMOD), May 2015.

[24] Mo Dong, Qingxi Li, Doron Zarchy, P. Brighten Godfrey, and Michael Schapira. PCC: Re-architecting Congestion Control for Consistent High Performance. 12th USENIX Symposiumon Networked Systems Design and Implementation (NSDI), April 2015.Acceptance rate: 20% (42/213)

[25] Wenxuan Zhou, Dong Jin, Jason Croft, Matthew Caesar, and P. Brighten Godfrey. EnforcingCustomizable Consistency Properties in Software-Defined Networks. 12th USENIX Symposiumon Networked Systems Design and Implementation (NSDI), April 2015.Acceptance rate: 20% (42/213)

[26] Ashish Vulimiri, Carlo Curino, P. Brighten Godfrey, Thomas Jungblut, Jitu Padhye, and GeorgeVarghese. Global analytics in the face of bandwidth and regulatory constraints. 12th USENIXSymposium on Networked Systems Design and Implementation (NSDI), April 2015.Acceptance rate: 20% (42/213)

[27] Ashish Vulimiri, Carlo Curino, P. Brighten Godfrey, Konstantinos Karanasos, and GeorgeVarghese. WANalytics: Analytics for a Geo-Distributed Data-Intensive World. Conferenceon Innovative Data Systems Research (CIDR 2015), January 2015.

19 of 24

[28] Ankit Singla, Balakrishnan Chandrasekaran, P. Brighten Godfrey, and Bruce Maggs. TheInternet at the Speed of Light. Thirteenth ACM Workshop on Hot Topics in Networks (HotNets2014), October 2014.Acceptance rate: 22% (26/118)

[29] Soudeh Ghorbani and P. Brighten Godfrey. Towards Correct Network Virtualization. Workshopon Hot Topics in Software Defined Networking (HotSDN), August 2014.Acceptance rate: 29% (33/114)

• Best paper award

[30] Ankit Singla, P. Brighten Godfrey, and Alexandra Kolla. High Throughput Data Center Topol-ogy Design. 11th USENIX Symposium on Networked Systems Design and Implementation(NSDI), April 2014.Acceptance rate: 18% (38/213)

[31] Chi-Yao Hong, Matthew Caesar, and P. Brighten Godfrey. Software Defined Transport: Flexibleand Deployable Flow Rate Control. Open Networking Summit (ONS), March 2014.Acceptance rate: 28% (26/92)

[32] Anduo Wang, Wenchao Zhou, P. Brighten Godfrey, and Matthew Caesar. Software-DefinedNetworks as Databases. Open Networking Summit (ONS), March 2014.Acceptance rate: 28% (26/92)

[33] Ashish Vulimiri, P. Brighten Godfrey, Radhika Mittal, Justine Sherry, Sylvia Ratnasamy, andScott Shenker. Low Latency via Redundancy. 9th ACM International Conference on emergingNetworking Experiments and Technologies (CoNEXT), December 2013.Acceptance rate: 20% (29/143)

[34] Rachit Agarwal and P. Brighten Godfrey. A Simple Stretch 2 Distance Oracle. Brief an-nouncement, 32nd Annual ACM SIGACT-SIGOPS Symposium on Principles of DistributedComputing (PODC), July 2013.

[35] Ahmed Khurshid, Xuan Zou, Wenxuan Zhou, Matthew Caesar, and P. Brighten Godfrey. Ver-iFlow: Verifying Network-Wide Invariants in Real Time. 10th USENIX Symposium on Net-worked Systems Design and Implementation (NSDI), April 2013.Acceptance rate: 22% (38/171)

[36] Junda Liu, Aurojit Panda, Ankit Singla, P. Brighten Godfrey, Michael Schapira, and ScottShenker. Ensuring Connectivity via Data Plane Mechanisms. 10th USENIX Symposium onNetworked Systems Design and Implementation (NSDI), April 2013.Acceptance rate: 22% (38/171)

[37] Rachit Agarwal and P. Brighten Godfrey. Distance Oracles for Stretch Less Than 2. ACM-SIAM Symposium on Discrete Algorithms (SODA), January 2013.Acceptance rate: 30% (135/454)

[38] Ashish Vulimiri, Oliver Michel, P. Brighten Godfrey, and Scott Shenker. More is Less: ReducingLatency via Redundancy. Eleventh ACM Workshop on Hot Topics in Networks (HotNets-XI),October 2012.Acceptance rate: 19% (23/120)

[39] Ahmed Khurshid, Wenxuan Zhou, Matthew Caesar, and P. Brighten Godfrey. VeriFlow: Veri-fying Network-Wide Invariants in Real Time. First Workshop on Hot Topics in Software DefinedNetworking (HotSDN), August 2012.Acceptance rate: 31% (22/71)

• Best paper award; republished as journal article [2]• UIUC Dept. of CS Feng Chen Memorial Award

20 of 24

[40] Chi-Yao Hong, Matthew Caesar, and P. Brighten Godfrey. Finishing Flows Quickly with Pre-emptive Scheduling. ACM SIGCOMM, August 2012.Acceptance rate: 14% (32/235)

[41] Rachit Agarwal, Matthew Caesar, P. Brighten Godfrey, and Ben Y. Zhao. Shortest Paths inLess Than a Millisecond. Workshop on Online Social Networks (WOSN), August 2012.Acceptance rate: 34% (12/35)

[42] Joan Feigenbaum, P. Brighten Godfrey, Aurojit Panda, Michael Schapira, Scott Shenker, andAnkit Singla. On the Resilience of Routing Tables. Brief announcement, 31st Annual ACMSIGACT-SIGOPS Symposium on Principles of Distributed Computing (PODC), July 2012.

[43] Ashish Vulimiri, P. Brighten Godfrey, Karthik Lakshminarayanan, and Gul Agha. How wellcan congestion pricing neutralize denial-of-service attacks?. ACM International Conference onMeasurement and Modeling of Computer Systems (SIGMETRICS), June 2012.Acceptance rate: 15% (31/203)

[44] Ankit Singla, Chi-Yao Hong, Lucian Popa, and P. Brighten Godfrey. Jellyfish: NetworkingData Centers Randomly. 9th USENIX Symposium on Networked Systems Design and Imple-mentation (NSDI), April 2012.Acceptance rate: 18% (30/169)

• UIUC CS Graduate Outstanding Research Project Award, 2013

[45] Wenxuan Zhou, Qingxi Li, Matthew Caesar, and P. Brighten Godfrey. ASAP: A Low-LatencyTransport Layer. 7th ACM International Conference on emerging Networking Experiments andTechnologies (CoNEXT), December 2011.Acceptance rate: 19% (30/159)

[46] Haohui Mai, Ahmed Khurshid, Rachit Agarwal, Matthew Caesar, P. Brighten Godfrey, andSamuel T. King. Debugging the Data Plane with Anteater. ACM SIGCOMM, August 2011.Acceptance rate: 14% (32/223)

[47] Ankit Singla, Chi-Yao Hong, Lucian Popa, and P. Brighten Godfrey. Jellyfish: Networking DataCenters Randomly. 3rd USENIX Workshop on Hot Topics in Cloud Computing (HotCloud),June 2011.Acceptance rate: 32% (23/72)

[48] Giang Nguyen, Rachit Agarwal, Junda Liu, Matthew Caesar, P. Brighten Godfrey, and ScottShenker. Slick Packets. ACM International Conference on Measurement and Modeling ofComputer Systems (SIGMETRICS), June 2011.Acceptance rate: 15% (26/177)

[49] Rachit Agarwal, P. Brighten Godfrey, and Sariel Har-Peled. Approximate Distance Queries andCompact Routing in Sparse Graphs. 30th Annual IEEE Conference on Computer Communica-tions (INFOCOM), Shanghai, China, April 2011.Acceptance rate: 16% (291/1823)

[50] Ankit Singla, P. Brighten Godfrey, Kevin Fall, Gianluca Iannaccone, and Sylvia Ratnasamy.Scalable Routing on Flat Names. 6th ACM International Conference on emerging NetworkingExperiments and Technologies (CoNEXT), December 2010.Acceptance rate: 19% (28/147)

[51] Md. Yusuf Sarwar Uddin, P. Brighten Godfrey, and Tarek Abdelzaher. RELICS: In-networkRealization of Incentives to Combat Selfishness in DTNs. 18th IEEE International Conferenceon Network Protocols (ICNP), October 2010.Acceptance rate: 18% (31/170)

21 of 24

[52] Rachit Agarwal, Virajith Jalaparti, Matthew Caesar, and P. Brighten Godfrey. GuaranteeingBGP Stability With a Few Extra Paths. 30th IEEE International Conference on DistributedComputing Systems (ICDCS), June 2010.Acceptance rate: 14% (84/585)

[53] P. Brighten Godfrey, Michael Schapira, Aviv Zohar, and Scott Shenker. Incentive Compatibilityand Dynamics of Congestion Control. ACM International Conference on Measurement andModeling of Computer Systems (SIGMETRICS), June 2010.Acceptance rate: 16% (29/184)

[54] Kevin Fall, P. Brighten Godfrey, Gianluca Iannaccone, and Sylvia Ratnasamy. Routing Tables:Is Smaller Really Much Better?. Eighth ACM Workshop on Hot Topics in Networks (HotNets),October 2009.Acceptance rate: 16% (21/131)

[55] P. Brighten Godfrey, Igor Ganichev, Scott Shenker, and Ion Stoica. Pathlet Routing. Proc.ACM SIGCOMM, Barcelona, Spain, August 2009.Acceptance rate: 10% (27/270)

[56] P. Brighten Godfrey, Scott Shenker, and Ion Stoica. Pathlet Routing. Seventh ACM Workshopon Hot Topics in Networks (HotNets), October 2008.Acceptance rate: 20% (22/110)

[57] P. Brighten Godfrey. Balls and Bins with Structure: Balanced Allocations on Hypergraphs.ACM-SIAM Symposium on Discrete Algorithms (SODA), January 2008.Acceptance rate: 30% (136/458)

[58] Alexandros G. Dimakis, P. Brighten Godfrey, Martin J. Wainwright, and Kannan Ramchandran.Network Coding for Distributed Storage Systems. 26th Annual IEEE Conference on ComputerCommunications (INFOCOM), Anchorage, Alaska, May 2007.Acceptance rate: 18% (252/1400)

[59] Alexandros G. Dimakis, P. Brighten Godfrey, Martin J. Wainwright, and Kannan Ramchandran.The Benefits of Network Coding for Peer-to-Peer Storage Systems. Third Workshop on NetworkCoding, Theory, and Applications (NETCOD), January 2007.

[60] P. Brighten Godfrey, Scott Shenker, and Ion Stoica. Minimizing Churn in Distributed Systems.ACM SIGCOMM, September 2006.Acceptance rate: 12% (37/298)

[61] P. Brighten Godfrey and Richard Karp. On the Price of Heterogeneity in Parallel Systems.18th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA), Cambridge,MA, July 2006.

• Invited to special journal issue [5]

[62] Sean Rhea, P. Brighten Godfrey, Brad Karp, John Kubiatowicz, Sylvia Ratnasamy, ScottShenker, Ion Stoica, and Harlan Yu. OpenDHT: A Public DHT Service and Its Uses. ACMSIGCOMM, August 2005.Acceptance rate: 11% (27/255)

[63] P. Brighten Godfrey and Ion Stoica. Heterogeneity and Load Balance in Distributed HashTables. 24th Annual IEEE Conference on Computer Communications (INFOCOM), Miami,FL, March 2005.Acceptance rate: 17% (244/1419)

[64] P. Brighten Godfrey and David Ratajczak. Naps: Scalable, Robust Topology Managementin Wireless Ad Hoc Networks. Third IEEE/ACM International Symposium on InformationProcessing in Sensor Networks (IPSN), April 2004.Acceptance rate: 17% (25/145)

22 of 24

[65] Sonesh Surana, P. Brighten Godfrey, Karthik Lakshminarayanan, Richard Karp, and Ion Sto-ica. Load Balancing in Dynamic Structured P2P Systems. 23rd Annual IEEE Conference onComputer Communications (INFOCOM), Hong Kong, March 2004.Acceptance rate: 18% (261/1420)

[66] Kamalika Chaudhuri, P. Brighten Godfrey, Satish Rao, and Kunal Talwar. Paths, Trees andMinimum Latency Tours. 44th Annual IEEE Symposium on Foundations of Computer Science(FOCS), October 2003.

Non-Refereed Papers

[1] Debopam Bhattacherjee, Sangeetha Abdu Jyothi, Ilker Nadi Bozkurt, Muhammad Tirmazi,Waqar Aqeel, Anthony Aguirre, Balakrishnan Chandrasekaran, P. Brighten Godfrey, GregoryP. Laughlin, Bruce M. Maggs, and Ankit Singla. cISP: A Speed-of-Light Internet ServiceProvider. arXiv:1809.10897, October 2018.

[2] Nikolaj Bjorner, Nate Foster, P. Brighten Godfrey, and Pamela Zave. Report from DagstuhlSeminar 15071: Formal Foundations for Networking. Dagstuhl Reports, July 2015.

[3] Sangeetha Abdu Jyothi, Ankit Singla, P. Brighten Godfrey, and Alexandra Kolla. Measuringand Understanding Throughput of Network Topologies. arXiv:1402.2531, February 2014.

[4] Rachit Agarwal, Matthew Caesar, P. Brighten Godfrey, and Ben Y. Zhao. Shortest Paths inMicroseconds. arXiv:1309.0874, September 2013.

[5] P. Brighten Godfrey. HotNets 2012 Highlights. ACM SIGCOMM Computer CommunicationReview, Vol. 43, No. 1, January 2013.

[6] P. Brighten Godfrey. BGP Stability is Precarious. arXiv:1108.0192, August 2011.

[7] Teemu Koponen, Scott Shenker, Hari Balakrishnan, Nick Feamster, Igor Ganichev, Ali Ghodsi,P. Brighten Godfrey, Nick McKeown, Guru Parulkar, Barath Raghavan, Jennifer Rexford, So-maya Arianfar, and Dmitriy Kuptsov. Architecting for Innovation. ACM SIGCOMM ComputerCommunication Review, Vol. 41, No. 2, July 2011.

[8] P. Brighten Godfrey, Matthew Caesar, Ian Haken, Scott Shenker, and Ion Stoica. Stable InternetRoute Selection. NANOG 40, June 2007.

[9] Kamalika Chaudhuri, P. Brighten Godfrey, David Ratajczak, and Hoeteck Wee. On the Com-plexity of the Game of Set. Manuscript, June 2003.

Patents

Ahmed Khurshid, Matthew Chapman Caesar, and Philip Brighten Godfrey. Network-Wide Verifi-cation of Invariants. U.S. Patent No. US9225601B2. Filed 2013.06.17, granted 2015.12.29.

Software and Data Releases

PCC: Performance-oriented Congestion Control. 2015 and subsequent releases. http://pccproject.net

Ankit Singla, Sangeetha Abdu Jyothi, Chi-Yao Hong, P. Brighten Godfrey, Alexandra Kolla, andLucian Popa. A throughput benchmarking tool for network topologies. February 2014. https://github.com/ankitsingla/topobench

Sam Mussmann and P. Brighten Godfrey. Simulator code for “Finishing flows faster without a newprotocol: Closing the gap between TCP and RCP using local changes”. December 2013. http://www.cs.illinois.edu/~pbg/papers/mussmann-finishing_flows_faster-code.tar.bz2.

23 of 24

Ahmed Khurshid, Xuan Zou, Wenxuan Zhou, Matthew Caesar, and P. Brighten Godfrey. Veri-Flow — Real-Time Network Property Verifier. June 2013. http://web.engr.illinois.edu/

~khurshi1/projects/veriflow/

Haohui Mai, Ahmed Khurshid, Rachit Agarwal, Matthew Caesar, P. Brighten Godfrey, and SamuelT. King. Anteater network bug detection tool. August 2011. http://code.google.com/p/

anteater/

P. Brighten Godfrey. Repository of Availability Traces. October 2006. http://www.cs.illinois.

edu/~pbg/availability

Selected External Press Coverage

VMware Buys Veriflow for Network Monitoring, Verification, SDxCentral, August 16, 2019; alsocovered in TechTarget, Crunchbase News, Light Reading, IDC, VMblog, Fierce Telecom, PacketPushers, Silicon Angle, Channel E2E, etc.

Startup CTO explains why tech leaders should always keep an eye on academia, The EnterprisersProject, February 23, 2017.

How microwaves could help you surf the Internet at the speed of light, ITworld, May 19, 2015.

Microwave Comms Betwen Population Centers Could Be Key To Easing Internet Bottlenecks, Slash-dot, May 19, 2015.

Music at the speed of light is researchers’ goal, top story in San Jose Mercury News (CA), Decem-ber 1, 2014; also covered in Minneapolis Star Tribune (Minnesota), Oakland Tribune (CA),Stars and Stripes (US Department of Defense), Contra Costa Times (CA), Valley News (NewHampshire), The Bulletin (Oregon), Newsela

VeriFlow Aims to Verify Application-Defined Networks in Real Time, Enterprise Networking Planet,Aug 8, 2013.

SDN Awards Seek University, Research Potential, InformationWeek, June 26, 2013; The VAR Guy,June 28, 2013; ACM TechNews, July 1, 2013.

Five SDN use cases: From video to service orchestration, SearchSDN / TechTarget, July 1, 2013.

Using SDN switches to flexibly scale data center networks, SearchSDN / TechTarget, June 26, 2013.

Jellyfish: Networking Data Centers Randomly, CRA/CCC Computing Research Highlight of theWeek, 16 June 2012. http://www.cra.org/ccc-old/rh-jellyfish.php

Verisign “Building a Better Internet” Symposium to Highlight Internet Leaders and Visionaries,Verisign, Inc. press release, October 17, 2011.

VeriSign Awards $75,000 to Four Universities for Promoting Internet Innovation, TMCnet, March21, 2011.

24 of 24