# Jane Street Tech Talk, Verifying Network Data Planes

DevFeed: [Jane Street Tech Talk, Verifying Network Data Planes](<https://devfeed.tech/articles/jane-street-tech-talk-verifying-network-data-planes-20186.md>)

Original publisher: [Read original article](<https://blog.janestreet.com/jane-street-tech-talk-verifying-network-data-planes/>)

Author: Spiros Eliopoulos

Published: 2017-09-26T00:00:00Z

Content type: news

Language: en

Sources: [Jane Street](<https://devfeed.tech/sources/jane-street.md>)

Topics: [Software-defined networking](<https://devfeed.tech/topics/sdn.md>), [networking](<https://devfeed.tech/topics/networking.md>), [Programming](<https://devfeed.tech/topics/programming.md>)

Tags: [network](<https://devfeed.tech/tags/network.md>), [networking](<https://devfeed.tech/tags/networking.md>), [programming](<https://devfeed.tech/tags/programming.md>), [software](<https://devfeed.tech/tags/software.md>), [talks](<https://devfeed.tech/tags/talks.md>), [tech](<https://devfeed.tech/tags/tech.md>), [tech-talk](<https://devfeed.tech/tags/tech-talk.md>)

## AI overview

Jane Street announces the return of its Tech Talks series with a presentation by Nate Foster on software-defined networking, the P4 data plane programming language, and the p4v verification tool.

## Source excerpt

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.