• Publications

            • A Formally-Verified Migration Protocol For Mobile, Multi-Homed Hosts. By Matvey Arye, Erik Nordström, Robert Kiefer, Jennifer Rexford, and Michael J. Freedman. In Proc. 20th IEEE International Conference on Network Protocols (ICNP ’12), Austin, TX, October 2012.
              • Paper [pdf]
              • SPIN code for formal verification of ECCP model [link]
            • Serval: An End-Host Stack for Service-Centric Networking. By Erik Nordström, David Shue, Prem Gopalan, Rob Kiefer, Matvey Arye, Steven Ko, Jennifer Rexford, and Michael J. Freedman. In Proc. 9th Symposium on Networked Systems Design and Implementation (NSDI ’12), San Jose, CA, April 2012.
              • Paper [pdf]  -  Slides [pptx|pdf]  -  Video [link]  -  Data Traces [tar.bz2]
              • Community Award for NSDI ’12, Honorable Mention
              • Older manuscript: Princeton University Technical Report TR-885-10. September 2010. [link]

    (The project was formerly known as SCAFFOLD.)

    Presentations

              • “Serval: An End-Host Stack for Service-Centric Networking” (at NSDI Conference, 2012).  Broad introduction to Serval’s design, mechanisms, and implementation.
                Conference version [pptx|pdf] - Extended version [pptx|pdf] - Video [link]
              • “Software Defined Service-Centric Networking” (at Open Networking Summit, 2012).  Introduction to Serval’s design and mechanisms, and connection to how it extends software-defined networking to include services and hosts. [pptx|pdf]
              • “Software-Defined Networking for Services” (at SDN Meetup, NYC). Higher-level presentation motivating how Serval extends the ideas of software-defined networking to include services and hosts. [pptx|pdf]
              • “Service-Centric Networking with the Serval Network Stack” (at DIMACS workshop). Broad introduction to Serval’s design, mechanisms, and implementation. [pptx|pdf]

    Posters

    The left poster appeared at NSDI 2012. The other two both appeared at the 9th and 10th GENI Engineering Conferences (November 2010 and March 2011, respectively).