Agenda IETF114: anrw
agenda-114-anrw-00

ANRW - Applied Networking Research Workshop
IETF 114 in Philadelphia

Tuesday, July 26, 2022, 10:00-12:00, 15:00-17:00 (UTC - 4)

Meetecho: https://meetings.conf.meetecho.com/ietf114/?group=anrw&short=&item=1
Notes: https://notes.ietf.org/notes-ietf-114-anrw

Chairs:  Taejoong "Tijay" Chung and Marwan Fayed

Session 1: Keynote and Research Papers

10:00 - Welcome and Introduction

10:10 - Keynote: Lucas Pardue "Layer Four and Three Quarters: Fantastic Quirks
and Where to Find Them"

10:45 - Safiqul Islam "Is It Really Necessary to Go Beyond A Fairness Metric
for Next-Generation Congestion Control?"

11:05 - Jan Marius Evang "Cross-layer Network Outage Classification Using
Machine Learning"

11:25 - Aitor Martin "On the Suitability of BBR Congestion Control for QUIC
over GEO SATCOM Networks"

11:45 - Nooshin Eghbal "Priority-aware Forward Error Correction for HTTP"
(Remote presentation)

12:00 - Session 1 Closing

Session 2: Special Session on Protocol Specification Techniques

How should we describe and specify protocols?

How can we ensure that network protocol specifications are consistent and
correct, and how can we verify that specifications are correct and validate
that implementations match the specification?

The IETF community has long used natural language, English, to describe and
specify its protocols, mixed with occasional formal languages such as ABNF,
YANG, and so on. This session will discuss whether this is the right approach,
and to what extent formal methods, structured specification languages, and
natural language processing techniques can help describe network protocols.

15:00 - Introduction
15:10 - Max von Hippel (Northeastern University)
15:40 - Jane Yen (USC)
16:10 - Chris Wood (Cloudflare)
16:40 - Discussion
17:00 - Session 2 closing

Background reading:
* Automated Attack Synthesis by Extracting Finite State Machines from Protocol
Specification Documents https://github.com/RFCNLP * Semi-Automated Protocol
Disambiguation and Code Generation
https://raghavan.usc.edu/papers/sage-sigcomm21.pdf