Hi,

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

Links

Academic research

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. (pdf / paper, doi, bibtex, slides, source code, PLDI '16 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. (pdf / paper, doi, bibtex, source code)