@inproceedings{
Lin13DEFINED,
Author = {Chia-Chi Lin and Virajith Jalaparti and Matthew Caesar and Jacobus (Kobus) Van der Merwe},
Title = {{DEFINED:} Deterministic Execution for Interactive {Control-Plane} Debugging},
Booktitle = {USENIX ATC},
Year = {2013}
}