Hi,

I’m Jérémie Miserez, you can reach me at jeremie@miserez.org.

Links

Publications

2016

SDNRacer: Concurrency Analysis for Software-Defined Networks

Ahmed El-Hassany, Jeremie Miserez, Pavol Bielik, Martin Vechev, and Laurent Vanbever
PLDI’16, Santa Barbara, CA, USA June 2016. (paper, doi, bibtex, slides, source code, artifact)

2015

SDNRacer: Detecting Concurrency Violations in Software-Defined Networks

Jeremie Miserez, Pavol Bielik, Ahmed El-Hassany, Martin Vechev, and Laurent Vanbever
SOSR’15, Santa Clara, CA, USA June 2015. (paper, doi, bibtex, source code)