id summary reporter owner description status priority milestone component version resolution keywords cc dependencies 970 VeriFlow Demo peter.stickney@bbn.com peter.stickney@bbn.com " 1. Brief demo description (A few sentences suitable for a GEC15 attendee information page. See http://groups.geni.net/geni/wiki/GEC14Agenda/EveningDemoSession for examples.) a. We will present a demo of VeriFlow, a system to automatically check network-wide invariants in a software-defined network in real-time. More information on this tool can be found at http://www.cs.illinois.edu/~caesar/papers/veriflow-hotsdn12.pdf. 2. List of equipment that will need AC connections (e.g. laptop, switch hardware prototype, monitor). (Just put in the number of connections needed if your demo description already lists the equipment) a. We will need two AC connections - one for a laptop and one for a monitor. 3. Number of wired network connections (include required bandwidth if significant) a. None. 4. Number of wireless network connections (include required bandwidth if significant) a. One. 5. Number of static addresses needed (if any) a. None. 6. Monitor (y/n, specify VGA or DVI) (Specify resolution only if your software has resolution restrictions.) a. One VGA monitor. 7. Number of posters (max size poster boards are 30"" x 40"") a. One. 8. Description of any special requests (include any non-commercial network connectivity needs, projects you'd like to be located near, etc.) a. None. " closed major GPO SPIRAL5 fixed GEC15 khurshi1@illinois.edu