{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:45:45Z","timestamp":1772163945290,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":19,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2005,6,15]]},"DOI":"10.1145\/1065910.1065919","type":"proceedings-article","created":{"date-parts":[[2005,8,3]],"date-time":"2005-08-03T04:31:47Z","timestamp":1123043507000},"page":"59-68","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":32,"title":["Nonintrusive precision instrumentation of microcontroller software"],"prefix":"10.1145","author":[{"given":"Ben L.","family":"Titzer","sequence":"first","affiliation":[{"name":"UCLA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jens","family":"Palsberg","sequence":"additional","affiliation":[{"name":"UCLA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2005,6,15]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/996841.996873"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/258915.258924"},{"key":"e_1_3_2_1_3_1","volume-title":"Proceedings of AADEBUG'99","author":"Auguston Mikhail","year":"2000","unstructured":"Mikhail Auguston . Assertion checker for the C programming language based on computations over event traces . In Proceedings of AADEBUG'99 , International Workshop on Automated Debugging , 2000 . Mikhail Auguston. Assertion checker for the C programming language based on computations over event traces. In Proceedings of AADEBUG'99, International Workshop on Automated Debugging, 2000."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.5555\/786769.787013"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/2.982917"},{"key":"e_1_3_2_1_6_1","first-page":"15","volume-title":"Proceedings of USENIX Annual Technical Conference, General Track","author":"Cantrill Bryan M.","year":"2004","unstructured":"Bryan M. Cantrill , Michael W. Shapiro , and Adam H. Leventhal . Dynamic instrumentation of production systems . In Proceedings of USENIX Annual Technical Conference, General Track , pages 15 -- 28 , 2004 . Bryan M. Cantrill, Michael W. Shapiro, and Adam H. Leventhal. Dynamic instrumentation of production systems. In Proceedings of USENIX Annual Technical Conference, General Track, pages 15--28, 2004."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/183018.183032"},{"key":"e_1_3_2_1_8_1","unstructured":"The GDB developers. GDB: The GNU project debugger. http:\/\/www.gnu.org\/software\/gdb.  The GDB developers. GDB: The GNU project debugger. http:\/\/www.gnu.org\/software\/gdb."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/302405.302682"},{"key":"e_1_3_2_1_10_1","volume-title":"Design Patterns: Elements of Reusable Object-Oriented Software","author":"Gamma Erich","year":"1995","unstructured":"Erich Gamma , Richard Helm , Ralph Johnson , and John Vlissides . Design Patterns: Elements of Reusable Object-Oriented Software . Addison-Wesley , 1995 . Erich Gamma, Richard Helm, Ralph Johnson, and John Vlissides. Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley, 1995."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.5555\/522659.825654"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.4380241104"},{"key":"e_1_3_2_1_13_1","volume-title":"Proceedings of ECOOP'01","author":"Kiczales Gregor","year":"2072","unstructured":"Gregor Kiczales , Erik Hilsdale , Jim Hugunin , Mik Kersten , Jeffrey Palm , and William G. Griswold . An overview of AspectJ . In Proceedings of ECOOP'01 , European Conference on Object-Oriented Programming, pages 327--355. Springer-Verlag (LNCS 2072 ), 2001. Gregor Kiczales, Erik Hilsdale, Jim Hugunin, Mik Kersten, Jeffrey Palm, and William G. Griswold. An overview of AspectJ. In Proceedings of ECOOP'01, European Conference on Object-Oriented Programming, pages 327--355. Springer-Verlag (LNCS 2072), 2001."},{"key":"e_1_3_2_1_14_1","first-page":"297","volume-title":"Proceedings of USENIX Annual Technical Conference, FREENIX Track","author":"Moore Richard J.","year":"2001","unstructured":"Richard J. Moore . A universal dynamic trace for Linux and other operating systems . In Proceedings of USENIX Annual Technical Conference, FREENIX Track , pages 297 -- 308 , 2001 . Richard J. Moore. A universal dynamic trace for Linux and other operating systems. In Proceedings of USENIX Annual Technical Conference, FREENIX Track, pages 297--308, 2001."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/SAHCN.2004.1381912"},{"key":"e_1_3_2_1_16_1","unstructured":"Theodore A. Roth. Simulavr: an AVR simulator. http:\/\/savannah.nongnu.org\/projects\/simulavr.  Theodore A. Roth. Simulavr: an AVR simulator. http:\/\/savannah.nongnu.org\/projects\/simulavr."},{"key":"e_1_3_2_1_17_1","volume-title":"Proceedings of OSDI'99","author":"Tamches Ariel","year":"1999","unstructured":"Ariel Tamches and Barton Miller . Fine-grained dynamic instrumentation of commodity operating system kernels . In Proceedings of OSDI'99 , Symposium on Operating Systems Design and Implementation, pages 117--130 , 1999 . Ariel Tamches and Barton Miller. Fine-grained dynamic instrumentation of commodity operating system kernels. In Proceedings of OSDI'99, Symposium on Operating Systems Design and Implementation, pages 117--130, 1999."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.5555\/521138.786886"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.5555\/1147685.1147768"}],"event":{"name":"LCTES05: Languages, Compilers, and Tools for Embedded Systems 2005","location":"Chicago Illinois USA","acronym":"LCTES05","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery","SIGBED ACM Special Interest Group on Embedded Systems"]},"container-title":["Proceedings of the 2005 ACM SIGPLAN\/SIGBED conference on Languages, compilers, and tools for embedded systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1065910.1065919","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,9,4]],"date-time":"2023-09-04T08:40:31Z","timestamp":1693816831000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1065910.1065919"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,6,15]]},"references-count":19,"alternative-id":["10.1145\/1065910.1065919","10.1145\/1065910"],"URL":"https:\/\/doi.org\/10.1145\/1065910.1065919","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1070891.1065919","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2005,6,15]]},"assertion":[{"value":"2005-06-15","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}