VeriFlow Demo

[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.)

1. 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)

1. 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)

1. None.

4. Number of wireless network connections (include required

bandwidth if significant)

1. One.

5. Number of static addresses needed (if any)

1. None.

6. Monitor (y/n, specify VGA or DVI) (Specify resolution only if

your software has resolution restrictions.)

1. One VGA monitor.

7. Number of posters (max size poster boards are 30" x 40")

1. One.

8. Description of any special requests (include any non-commercial

network connectivity needs, projects you'd like to be located near, etc.)

1. None.

[peter.stickney@bbn.com]

We can now confirm that the resources you requested will be available for your demo on Oct 23rd.

Please visit ​http://groups.geni.net/geni/wiki/GEC15Agenda/EveningDemoSession/PresenterInfo for more information on the Demo session.

We've added information about the demo session and your demo to ​http://groups.geni.net/geni/wiki/GEC15Agenda/EveningDemoSession. Please feel free to edit the section about your demo, add any participants who you'd like to credit, add links to other relevant pages, and attach any materials (slides, PDFs of posters, etc) about your demo.

If you have any questions or concerns, or need a hand with any of that, just drop a note to ​help@geni.net.

[peter.stickney@bbn.com]

Thanks again for participating in the GEC 15 evening demo session! We hope everything went as planned!

Please feel free to edit those wiki pages mentioned above and drop us a note with any issues.