Sandeep Chaudhary, Sebastian Fischmeister, Lin Tan. em-SPADE: a compiler extension for checking rules extracted from processor specifications. In Youtao Zhang, Prasad Kulkarni, editors, SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems 2014, LCTES '14, Edinburgh, United Kingdom - June 12 - 13, 2014. pages 105-114, ACM, 2014. [doi]
@inproceedings{ChaudharyFT14,
title = {em-SPADE: a compiler extension for checking rules extracted from processor specifications},
author = {Sandeep Chaudhary and Sebastian Fischmeister and Lin Tan},
year = {2014},
doi = {10.1145/2597809.2597823},
url = {http://doi.acm.org/10.1145/2597809.2597823},
researchr = {https://researchr.org/publication/ChaudharyFT14},
cites = {0},
citedby = {0},
pages = {105-114},
booktitle = {SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems 2014, LCTES '14, Edinburgh, United Kingdom - June 12 - 13, 2014},
editor = {Youtao Zhang and Prasad Kulkarni},
publisher = {ACM},
isbn = {978-1-4503-2877-7},
}