@inproceedings{
Burtsev16Abstractions,
Author = {Anton Burtsev and David Johnson and Mike Hibler and Eric Eide and John Regehr},
Title = {Abstractions for Practical Virtual Machine Replay},
Booktitle = {VEE},
DOI = {10.1145/2892242.2892257},
Year = {2016}
}