Artwork

Content provided by Ben Pfaff. All podcast content including episodes, graphics, and podcast descriptions are uploaded and provided directly by Ben Pfaff or their podcast platform partner. If you believe someone is using your copyrighted work without your permission, you can follow the process outlined here https://player.fm/legal.
Player FM - Podcast App
Go offline with the Player FM app!

Cocoon-2, with Leonid Ryzhyk from VMware Research

29:09
 
Share
 

Manage episode 190143076 series 1303313
Content provided by Ben Pfaff. All podcast content including episodes, graphics, and podcast descriptions are uploaded and provided directly by Ben Pfaff or their podcast platform partner. If you believe someone is using your copyrighted work without your permission, you can follow the process outlined here https://player.fm/legal.

Leonid Ryzhyk is a senior researcher at VMware Research in Palo Alto. He focuses on applying formal methods to improve operating systems and networks.

This episodes discusses Cocoon-2, a system that Leonid is building to automate the tedious tasks involved in SDN programming. One problem that it aims to solve is incrementality, that is, the need to avoid recomputing all of the state in an SDN system given a small change to its configuration.

Numerous academic SDN programming languages exist. Many of these think of the network in terms of an automaton. NetKAT is a good example, which regards the network as a finite state machine that manipulates network packets. Other languages take a contrary view of the network as a collection of database tables and compute state via views and queries on these tables. Cocoon's innovation is that it takes both views: it supports a relational model with a Datalog engine for reasoning about computation and an imperative language for describing the data plane, and allows the programmer to decide the most appropriate tool for any given part of the implementation.

A publication for Cocoon-2 is planned for submission to SIGCOMM 2018. Until then, you can look at the Cocoon2 Github repository, including a simple example. For information on the prior Cocoon work, consult the NSDI 2017 paper.

For more information on the view of a network as a database, you might listen to Episode 5, about the nlog database language.

You can contact Leonid via email at lryzhyk@vmware.com.

OVS Orbit is produced by Ben Pfaff. The intro music in this episode is Drive, featuring cdk and DarrylJ, copyright 2013, 2016 by Alex. The bumper music is Yeah Ant featuring Wired Ant and Javolenus, copyright 2013 by Speck. The outro music is Space Bazooka featuring Doxen Zsigmond, copyright 2013 by Kirkoid. All content is licensed under a Creative Commons Attribution 3.0 Unported (CC BY 3.0) license.

  continue reading

75 episodes

Artwork
iconShare
 
Manage episode 190143076 series 1303313
Content provided by Ben Pfaff. All podcast content including episodes, graphics, and podcast descriptions are uploaded and provided directly by Ben Pfaff or their podcast platform partner. If you believe someone is using your copyrighted work without your permission, you can follow the process outlined here https://player.fm/legal.

Leonid Ryzhyk is a senior researcher at VMware Research in Palo Alto. He focuses on applying formal methods to improve operating systems and networks.

This episodes discusses Cocoon-2, a system that Leonid is building to automate the tedious tasks involved in SDN programming. One problem that it aims to solve is incrementality, that is, the need to avoid recomputing all of the state in an SDN system given a small change to its configuration.

Numerous academic SDN programming languages exist. Many of these think of the network in terms of an automaton. NetKAT is a good example, which regards the network as a finite state machine that manipulates network packets. Other languages take a contrary view of the network as a collection of database tables and compute state via views and queries on these tables. Cocoon's innovation is that it takes both views: it supports a relational model with a Datalog engine for reasoning about computation and an imperative language for describing the data plane, and allows the programmer to decide the most appropriate tool for any given part of the implementation.

A publication for Cocoon-2 is planned for submission to SIGCOMM 2018. Until then, you can look at the Cocoon2 Github repository, including a simple example. For information on the prior Cocoon work, consult the NSDI 2017 paper.

For more information on the view of a network as a database, you might listen to Episode 5, about the nlog database language.

You can contact Leonid via email at lryzhyk@vmware.com.

OVS Orbit is produced by Ben Pfaff. The intro music in this episode is Drive, featuring cdk and DarrylJ, copyright 2013, 2016 by Alex. The bumper music is Yeah Ant featuring Wired Ant and Javolenus, copyright 2013 by Speck. The outro music is Space Bazooka featuring Doxen Zsigmond, copyright 2013 by Kirkoid. All content is licensed under a Creative Commons Attribution 3.0 Unported (CC BY 3.0) license.

  continue reading

75 episodes

All episodes

×
 
Loading …

Welcome to Player FM!

Player FM is scanning the web for high-quality podcasts for you to enjoy right now. It's the best podcast app and works on Android, iPhone, and the web. Signup to sync subscriptions across devices.

 

Quick Reference Guide