BEGIN:VCALENDAR
VERSION:2.0
PRODID:IEEE vTools.Events//EN
CALSCALE:GREGORIAN
BEGIN:VTIMEZONE
TZID:America/New_York
BEGIN:DAYLIGHT
DTSTART:20230312T030000
TZOFFSETFROM:-0500
TZOFFSETTO:-0400
RRULE:FREQ=YEARLY;BYDAY=2SU;BYMONTH=3
TZNAME:EDT
END:DAYLIGHT
BEGIN:STANDARD
DTSTART:20231105T010000
TZOFFSETFROM:-0400
TZOFFSETTO:-0500
RRULE:FREQ=YEARLY;BYDAY=1SU;BYMONTH=11
TZNAME:EST
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTAMP:20231121T223211Z
UID:419DC677-6E9B-4724-A906-C613E60785A0
DTSTART;TZID=America/New_York:20231102T110000
DTEND;TZID=America/New_York:20231102T114500
DESCRIPTION:Batfish is a tool to analyze network configurations that is in 
 use at many large enterprises. This talk describes its journey from a rese
 arch prototype to an industrial-strength product\, guided by scalability\,
  fidelity\, and usability challenges encountered when analyzing complex\, 
 real-world networks. I will share key lessons from this evolution\, includ
 ing how Datalog-based logic programming had significant limitations when g
 enerating and analyzing forwarding state and how binary decision diagrams 
 (BDDs) proved highly versatile. I also describe new techniques for address
 ing real-world challenges\, which increase Batfish performance by three or
 ders of magnitude and enable high-fidelity analysis of networks with thous
 ands of nodes within minutes. I end with observations on key blockers (and
  ongoing work) on broader use of network verification\, including the lack
  of automation inside most networks and lack of feedback on test quality.\
 n\nSpeaker(s): Ratul Mahajan\n\nNiagara Falls\, Ontario\, Canada
LOCATION:Niagara Falls\, Ontario\, Canada
ORGANIZER:rboutaba@uwaterloo.ca
SEQUENCE:13
SUMMARY:From research to product: Lessons from developing a network verific
 ation tool
URL;VALUE=URI:https://events.vtools.ieee.org/m/385228
X-ALT-DESC:Description: <br /><p>Batfish is a tool to analyze network confi
 gurations that is in use at many large enterprises. This talk describes it
 s journey from a research prototype to an industrial-strength product\, gu
 ided by scalability\, fidelity\, and usability challenges encountered when
  analyzing complex\, real-world networks. I will share key lessons from th
 is evolution\, including how Datalog-based logic programming had significa
 nt limitations when generating and analyzing forwarding state and how bina
 ry decision diagrams (BDDs) proved highly versatile. I also describe new t
 echniques for addressing real-world challenges\, which increase Batfish pe
 rformance by three orders of magnitude and enable high-fidelity analysis o
 f networks with thousands of nodes within minutes. I end with observations
  on key blockers (and ongoing work) on broader use of network verification
 \, including the lack of automation inside most networks and lack of feedb
 ack on test quality.</p>
END:VEVENT
END:VCALENDAR