{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:47:26Z","timestamp":1772164046272,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":36,"publisher":"ACM","license":[{"start":{"date-parts":[[2014,6,12]],"date-time":"2014-06-12T00:00:00Z","timestamp":1402531200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100000038","name":"Natural Sciences and Engineering Research Council of Canada","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100000038","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2014,6,12]]},"DOI":"10.1145\/2597809.2597823","type":"proceedings-article","created":{"date-parts":[[2014,6,10]],"date-time":"2014-06-10T08:50:25Z","timestamp":1402390225000},"page":"105-114","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["em-SPADE"],"prefix":"10.1145","author":[{"given":"Sandeep","family":"Chaudhary","sequence":"first","affiliation":[{"name":"University of Waterloo, Waterloo, ON, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sebastian","family":"Fischmeister","sequence":"additional","affiliation":[{"name":"University of Waterloo, Waterloo, ON, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lin","family":"Tan","sequence":"additional","affiliation":[{"name":"University of Waterloo, Waterloo, ON, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2014,6,12]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Dr. Dobb's Journal","author":"Anderson P.","year":"2008"},{"key":"e_1_3_2_1_2_1","unstructured":"Arduino. http:\/\/www.arduino.cc\/.  Arduino. http:\/\/www.arduino.cc\/."},{"key":"e_1_3_2_1_3_1","unstructured":"Avr-gcc. http:\/\/gcc.gnu.org\/wiki\/avr-gcc.  Avr-gcc. http:\/\/gcc.gnu.org\/wiki\/avr-gcc."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1146238.1146267"},{"key":"e_1_3_2_1_5_1","volume-title":"Proceedings of the Fifth International Workshop on Inference in Computational Semantics","author":"Dinesh Nikhil","year":"2006"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/502034.502041"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-95891-8_26"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/512529.512539"},{"key":"e_1_3_2_1_9_1","unstructured":"The LLVM Compiler Infrastructure. http:\/\/llvm.org\/.  The LLVM Compiler Infrastructure. http:\/\/llvm.org\/."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11219-011-9138-7"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1081706.1081755"},{"key":"e_1_3_2_1_12_1","unstructured":"Pololu AVR Library. http:\/\/www.pololu.com\/docs\/0J20.  Pololu AVR Library. http:\/\/www.pololu.com\/docs\/0J20."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1294261.1294272"},{"key":"e_1_3_2_1_14_1","unstructured":"Atmel AVR Microcontrollers. http:\/\/www.atmel.com\/ products\/microcontrollers\/avr\/default.aspx.  Atmel AVR Microcontrollers. http:\/\/www.atmel.com\/ products\/microcontrollers\/avr\/default.aspx."},{"key":"e_1_3_2_1_15_1","unstructured":"Optiboot. https:\/\/code.google.com\/p\/optiboot\/.  Optiboot. https:\/\/code.google.com\/p\/optiboot\/."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2009.5070533"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.5555\/2337223.2337319"},{"key":"e_1_3_2_1_18_1","unstructured":"Pdftk. http:\/\/www.pdflabs.com\/tools\/pdftk-the-pdf-toolkit\/.  Pdftk. http:\/\/www.pdflabs.com\/tools\/pdftk-the-pdf-toolkit\/."},{"key":"e_1_3_2_1_19_1","unstructured":"Pdftotext. http:\/\/linux.die.net\/man\/1\/pdftotext.  Pdftotext. http:\/\/linux.die.net\/man\/1\/pdftotext."},{"key":"e_1_3_2_1_20_1","unstructured":"Boost Regex. http:\/\/www.boost.org\/doc\/libs\/1_53_0\/libs\/regex\/doc\/html\/index.html.  Boost Regex. http:\/\/www.boost.org\/doc\/libs\/1_53_0\/libs\/regex\/doc\/html\/index.html."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.5555\/1776119.1776120"},{"key":"e_1_3_2_1_22_1","unstructured":"ATMEL ATmega48PA\/ATmea88PA\/ATmega168PA\/ATmega328P specification document.  ATMEL ATmega48PA\/ATmea88PA\/ATmega168PA\/ATmega328P specification document."},{"key":"e_1_3_2_1_23_1","unstructured":"ATMEL ATmega48V\/ATmea88V\/ATmega168V specification document.  ATMEL ATmega48V\/ATmea88V\/ATmega168V specification document."},{"key":"e_1_3_2_1_24_1","unstructured":"ATMEL ATmega640\/V specification document.  ATMEL ATmega640\/V specification document."},{"key":"e_1_3_2_1_25_1","unstructured":"ATMEL ATtiny4 specification document.  ATMEL ATtiny4 specification document."},{"key":"e_1_3_2_1_26_1","unstructured":"ATMEL ATtiny84 specification document.  ATMEL ATtiny84 specification document."},{"key":"e_1_3_2_1_27_1","unstructured":"ATMEL ATUC256L3U\/ATUC128L3U specification document.  ATMEL ATUC256L3U\/ATUC128L3U specification document."},{"key":"e_1_3_2_1_28_1","unstructured":"NXP UM10360 specification document.  NXP UM10360 specification document."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/1323293.1294276"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2009.72"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/2351676.2351685"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2011.6100058"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1109\/IPDPS.2008.4536384"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSECOMPANION.2007.50"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/1950365.1950395"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1109\/MICRO.2004.3"}],"event":{"name":"LCTES '14: SIGPLAN\/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems 2014","location":"Edinburgh United Kingdom","acronym":"LCTES '14","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGBED ACM Special Interest Group on Embedded Systems"]},"container-title":["Proceedings of the 2014 SIGPLAN\/SIGBED conference on Languages, compilers and tools for embedded systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2597809.2597823","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2597809.2597823","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T03:00:50Z","timestamp":1750215650000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2597809.2597823"}},"subtitle":["a compiler extension for checking rules extracted from processor specifications"],"short-title":[],"issued":{"date-parts":[[2014,6,12]]},"references-count":36,"alternative-id":["10.1145\/2597809.2597823","10.1145\/2597809"],"URL":"https:\/\/doi.org\/10.1145\/2597809.2597823","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/2666357.2597823","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2014,6,12]]},"assertion":[{"value":"2014-06-12","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}