After a summer hiatus, the Jane Street Tech Talks series is back on for the fall! Last we left it, our very own Dominick LoBraico presented on the evolution of our internal configuration methodology and the systems that support it. For anybody that missed it, you can check out a recording of the talk on YouTube.

To kick off the new season, we’ve invited Nate Foster of Cornell University and Barefoot Networks to brief us on the latest developments in the realm of software-defined networking. In his talk, he’ll present the P4 data plane programming language, and its accompanying verification tool p4v.

Nate, along with a cadre of programming language and systems researchers, have been working on various languages and verification tools for software-defined networking, starting with Frenetic, following it up with NetKAT, and now P4. I had the pleasure of working with Nate on the Frenetic controller platform and the NetKAT compiler a few years back. What’s remarkable about Nate and his colleagues is they not only consistently publish top-tier research results, but also produce working, usable software artifacts and systems.

So join us! The talk will take place on Monday, October 16. Click here to register.

For a full description and speaker bio, check out the talk page.