@inproceedings{brumley:2011,
        author    = {David Brumley and Ivan Jager and Thanassis Avgerinos and Edward J. Schwartz},
        title     = {{BAP}: A Binary Analysis Platform},
        booktitle = {Computer Aided Verification},
        month     = jul,
        year      = {2011}
}