Attacking the brain: Races in the SDN control planeLei XuJeff Huanget al.2017USENIX Security 2017Conference paper
CLAP: Recording local executions to reproduce concurrency failuresJeff HuangCharles Zhanget al.2013PLDI 2013Conference paper