@inproceedings {crash:popl16,
        author = {Eric Koskinen and Junfeng Yang},
        title = {Reducing Crash Recoverability to Reachability},
        year = {2016},
        month = {January},
        booktitle = {Proceedings of the 39th Annual Symposium on Principles of Programming Languages (POPL '16)},
        pages  = {267--283},
}