Preliminary Agenda IRTF Open Meeting @ IETF-85 Atlanta, GA, USA Slot lengths below indicate presentation+discussion time. State of the IRTF Lars Eggert 15+15 min Applied Networking Prize (ANRP) Award Talks 25+10 min each *** SRIKANTH SUNDARESAN *** for his measurement study of access link performance on home gateway devices: Srikanth Sundaresan, Walter de Donato, Nick Feamster, Renata Teixeira, Sam Crawford and Antonio Pescape. Broadband Internet Performance: A View From the Gateway. Proc. ACM SIGCOMM,August 2011, Toronto, Canada. We present a snapshot of access network performance across the United States using data from the Federal Communication Commission’s study of broadband Internet access measured directly from home routers. The study investigates the throughput and latency of network access links and offers insights on how access network performance should be measured, evaluated, and presented to users. *** PEYMAN KAZEMIAN *** for developing a general and protocol-agnostic framework for statically checking network specifications and configurations: Peyman Kazemian, George Varghese and Nick McKeown. Header Space Analysis: Static Checking For Networks. Proc. USENIX Symposium on Networked Systems Design and Implementation (NSDI), April 2012, San Jose, CA, USA. Header Space Analysis is a static, protocol agnostic framework for verifying the compliance of network state with policies such as reachability and isolation and invariants such as lack of loops and black holes. This talks introduces the framework, its algebra and the algorithms and present some experimental results on real networks.