"Tierless Programming and Reasoning for Software-Defined Networks"

Prof. Shriram Krishnamurthi will be talking about his recent research on software defined networks and around the paper he co-authored "Tierless Programming and Reasoning for Software-Defined Networks". A link to the paper is here: http://cs.brown.edu/~adf/work/NSDI2014-paper.pdf

Some material to understand the paper better:

1. Introduction to the domain, helps to get a brief idea before diving into the paper. http://blog.brownplt.org/2014/09/30/flowlog1.html

2. Video lecture: https://www.usenix.org/conference/nsdi14/technical-sessions/presentation/nelson

3. The paper's web page: http://cs.brown.edu/~sk/Publications/Papers/Published/nfsk-flowlog-tierless/