John Regehr, Alastair Reid
HOIST: a system for automatically deriving static analyzers for embedded systems
ASPLOS, 2004.
@inproceedings{ASPLOS-2004-RegehrR,
author = "John Regehr and Alastair Reid",
booktitle = "{Proceedings of the 11th International Conference on Architectural Support for Programming Languages and Operating Systems}",
doi = "10.1145/1024393.1024410",
isbn = "1-58113-804-0",
pages = "133--143",
publisher = "{ACM}",
title = "{HOIST: a system for automatically deriving static analyzers for embedded systems}",
year = 2004,
}