Zhichen Xu, Barton P. Miller, Thomas W. Reps
Safety checking of machine code
PLDI, 2000.
@inproceedings{PLDI-2000-XuMR,
author = "Zhichen Xu and Barton P. Miller and Thomas W. Reps",
booktitle = "{Proceedings of the 21st Conference on Programming Language Design and Implementation}",
doi = "10.1145/349299.349313",
editor = "Monica S. Lam",
isbn = "1-58113-199-2",
pages = "70--82",
publisher = "{ACM}",
title = "{Safety checking of machine code}",
year = 2000,
}