Export to

• Google Calendar
• iCalendar file
• hCalendar markup
  <div class="vevent h-event"> <h1 class="summary p-name">Galois Tech Talk: Frenetic: A Network Programming Language</h1> <div class='date'><time class="dtstart dt-start" title="2011-12-15T10:30:00" datetime="2011-12-15T10:30:00">Thursday, December 15, 2011 from 10:30</time>–<time class="dtend dt-end" title="2011-12-15T11:30:00" datetime="2011-12-15T11:30:00">11:30am</time></div> <div class="location vcard p-location h-card"> <a class="url" href='http://calagator.org/venues/202390439'><span class='fn org p-name'>Galois, Inc</span></a> <div class="adr p-adr h-adr"> <div class="street-address p-street-address">421 SW 6th Ave. Suite 300</div> <span class="locality p-locality">Portland</span> , <span class="region p-region">OR</span> <span class="postal-code p-postal-code">97204</span> <div class="country-name p-country-name">US</div> (<a href='https://maps.google.com/maps?q=421%20SW%206th%20Ave.%20Suite%20300,%20Portland%20OR%2097204%20US'>map</a>) </div> </div> <div class="description p-description"> <p>Presented by Nate Foster.</p> <p>The languages used to program networks today lack modern features. Programming them is a complicated task, and outages and infiltrations are frequent. We believe it is time to develop NETWORK PROGRAMMING LANGUAGES with the following essential features:</p> <ul> <li><p>High-level abstractions that give programmers direct control over the network, allowing them to specify what they want the network to do without worrying about how to implement it.</p></li> <li><p>Compositional constructs that facilitate modular reasoning about programs.</p></li> <li><p>Portability, allowing programs written for one platform to be used with different devices.</p></li> <li><p>Rigorous semantic foundations that precisely document the meaning of the language and provide a basis for building formal verification tools.</p></li> </ul> <p>The Frenetic language addresses these challenges in the context of OpenFlow networks. It combines a streaming declarative query sub-language and a functional reactive sub-language that, together, provide many of the features listed above. Our implementation handles many low-level packet-processing details and keeps traffic in the "fast path" whenever possible.</p> </div> <h3>Links</h3> <ul> <li><a class="url u-url" href="http://corp.galois.com/blog/2011/12/9/tech-talk-frenetic-a-network-programming-language.html">Website</a></li> </ul> </div>