Change #12022
2011-12-09
11:41:46
|
create
Calagator::Event
1250461722
Galois Tech Talk: Frenetic: A Network Programming Language
Roll back
description |
nil |
→ |
Presented by Nate Foster.
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:
* 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.
* Compositional constructs that facilitate modular reasoning
about programs.
* Portability, allowing programs written for one platform to be
used with different devices.
* Rigorous semantic foundations that precisely document the
meaning of the language and provide a basis for building formal
verification tools.
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. |
end_time |
nil |
→ |
2011-12-15 11:30:00 -0800 |
id |
nil |
→ |
1250461722 |
start_time |
nil |
→ |
2011-12-15 10:30:00 -0800 |
title |
nil |
→ |
Galois Tech Talk: Frenetic: A Network Programming Language |
url |
nil |
→ |
http://corp.galois.com/blog/2011/12/9/tech-talk-frenetic-a-network-programming-language.html |
venue_id |
nil |
→ |
202390439 |
|