BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Memento EPFL//
BEGIN:VEVENT
SUMMARY:System seminars : A NICE Way to Test OpenFlow Applications (*NSDI 
 dry run*)
DTSTART:20120330T130000
DTEND:20120330T143000
DTSTAMP:20260408T101526Z
UID:d19ca487745afdb03932b076e4dbfff50ac40ef4d28df6336963b5d2
CATEGORIES:Conferences - Seminars
DESCRIPTION:Marco Canini\, Ph.D.\, Networked Systems Laboratory\, EPFL\nAb
 stract:\n\nThe emergence of OpenFlow-capable switches enables exciting new
  network functionality\, at the risk of programming errors that make commu
 nication less reliable. The centralized programming model\, where a single
  controller program manages the network\, seems to reduce the likelihood o
 f bugs. However\, the system is inherently distributed and asynchronous\, 
 with events happening at different switches and end hosts\, and inevitable
  delays affecting communication with the controller. In this paper\, we pr
 esent efficient\, systematic techniques for testing unmodified controller 
 programs. Our NICE tool applies model checking to explore the state space 
 of the entire system—the controller\, the switches\, and the hosts. Scal
 ability is the main challenge\, given the diversity of data packets\, the 
 large system state\, and the many possible event orderings. To address thi
 s\, we propose a novel way to augment model checking with symbolic executi
 on of event handlers (to identify representative packets that exercise cod
 e paths on the controller). We also present a simplified OpenFlow switch m
 odel (to reduce the state space)\, and effective strategies for generating
  event interleavings likely to uncover bugs. Our prototype tests Python ap
 plications on the popular NOX platform. In testing three real applications
 —a MAC-learning switch\, in-network server load balancing\, and energy-e
 fficient traffic engineering—we uncover eleven bugs.\n\nBio:\nMarco Cani
 ni is a postdoctoral researcher at EPFL\, Switzerland. His research focuse
 s on networked systems\, with emphasis on improving design and operation a
 long two vital properties: reliability and energy-efficiency. He holds a l
 aurea degree with honors and a Ph.D. degree in Computer Science and Engine
 ering from the University of Genoa\, Italy. During his Ph.D.\, he was invi
 ted as a visitor to the University of Cambridge\, Computer Laboratory. He 
 also held positions at Intel Research and Google.
LOCATION:BC 129 https://plan.epfl.ch/?room==BC%20129
STATUS:CONFIRMED
END:VEVENT
END:VCALENDAR