Looking for motivated students (undergrads and grads) interested in working on embedded software and systems research. Mail Sebastian Fischmeister for further information.
Title | em-SPADE: A Compiler Extension for Checking Rules Extracted from Processor Specifications |
Publication Type | Conference Paper |
Year of Publication | 2014 |
Authors | Chaudhary, S., S. Fischmeister, and L. Tan |
Conference Name | SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems (LCTES) |
Pagination | 105--114 |
Publisher | ACM |
Conference Location | New York, NY, USA |
ISBN Number | 978-1-4503-2877-7 |
Keywords | compiler, embedded systems, llvm, static analysis |
Abstract | Traditional compilers ignore processor specifications, thousands of pages of which are available for modern processors. To bridge this gap, em-SPADE analyzes processor specifications and creates processor-specific rules to reduce low-level programming er- rors. This work shows the potential of automatically analyzing processor- and other hardware specifications to detect low-level programming errors at compile time. |
URL | http://doi.acm.org/10.1145/2597809.2597823 |
DOI | 10.1145/2597809.2597823 |
Refereed Designation | Refereed |