Event-Driven Network Programming

Software-defined networking (SDN) programs must simultaneously describe static forwarding behavior and dynamic updates in response to events. Event-driven updates are critical to get right, but difficult to implement correctly due to the high degree of concurrency in networks. Existing SDN platforms offer weak guarantees that can break application invariants, leading to problems such as dropped packets, degraded performance, security violations, etc. This paper introduces EVENT-DRIVEN CONSISTENT UPDATES that are guaranteed to preserve well-defined behaviors when transitioning between configurations in response to events. We propose NETWORK EVENT STRUCTURES (NESs) to model constraints on updates, such as which events can be enabled simultaneously and causal dependencies between events. We define an extension of the NetKAT language with mutable state, give semantics to stateful programs using NESs, and discuss provably-correct strategies for implementing NESs in SDNs. Finally, we evaluate our approach empirically, demonstrating that it gives well-defined consistency guarantees while avoiding expensive synchronization and packet buffering

The Formation and Evolution of Planetary Systems: Description of the Spitzer Legacy Science Database

We present the science database produced by the Formation and Evolution of Planetary Systems (FEPS) Spitzer Legacy program. Data reduction and validation procedures for the IRAC, MIPS, and IRS instruments are described in detail. We also derive stellar properties for the FEPS sample from available broad-band photometry and spectral types, and present an algorithm to normalize Kurucz synthetic spectra to optical and near-infrared photometry. The final FEPS data products include IRAC and MIPS photometry for each star in the FEPS sample and calibrated IRS spectra.Comment: 64 pages, 12 figures, 5 tables; accepted for publication in ApJ

Kim Stanley Robinson: "Martian Trilogy" "This Is Where We Start Again"

This record consists of the transcript of an interview with Kim Stanley Robinson