{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:45:53Z","timestamp":1772163953844,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":41,"publisher":"ACM","license":[{"start":{"date-parts":[[2004,10,7]],"date-time":"2004-10-07T00:00:00Z","timestamp":1097107200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2004,10,7]]},"DOI":"10.1145\/1024393.1024410","type":"proceedings-article","created":{"date-parts":[[2004,10,7]],"date-time":"2004-10-07T13:39:48Z","timestamp":1097156388000},"page":"133-143","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":22,"title":["HOIST"],"prefix":"10.1145","author":[{"given":"John","family":"Regehr","sequence":"first","affiliation":[{"name":"University of Utah"}]},{"given":"Alastair","family":"Reid","sequence":"additional","affiliation":[{"name":"University of Utah"}]}],"member":"320","published-online":{"date-parts":[[2004,10,7]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"A sensor network emulator\/simulator\/debugger","author":"Atemu","year":"2004","unstructured":"Atemu : A sensor network emulator\/simulator\/debugger . Center for Satellite and Hybrid Communication Networks , University of Maryland, 2004 . http:\/\/www.cshcn.umd.edu\/research\/atemu\/.]] Atemu: A sensor network emulator\/simulator\/debugger. Center for Satellite and Hybrid Communication Networks, University of Maryland, 2004. http:\/\/www.cshcn.umd.edu\/research\/atemu\/.]]"},{"key":"e_1_3_2_1_2_1","unstructured":"Atmel Inc. ATmega128 datasheet 2002. http: \/\/www.atmel.com\/atmel\/acrobat\/doc2467.pdf.]]  Atmel Inc. ATmega128 datasheet 2002. http: \/\/www.atmel.com\/atmel\/acrobat\/doc2467.pdf.]]"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24723-4_2"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1986.1676819"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.5555\/381473.381478"},{"key":"e_1_3_2_1_6_1","volume-title":"Proc. of the 12th USENIX Security Symp.","author":"Christodorescu Mihai","year":"2003","unstructured":"Mihai Christodorescu and Somesh Jha . Static analysis of executables to detect malicious patterns . In Proc. of the 12th USENIX Security Symp. , Washington, DC , August 2003 .]] Mihai Christodorescu and Somesh Jha. Static analysis of executables to detect malicious patterns. In Proc. of the 12th USENIX Security Symp., Washington, DC, August 2003.]]"},{"issue":"2","key":"e_1_3_2_1_7_1","first-page":"77","article-title":"Interprocedural data flow decompilation","volume":"4","author":"Cifuentes Cristina","year":"1996","unstructured":"Cristina Cifuentes . Interprocedural data flow decompilation . Journal of Programming Languages , 4 ( 2 ): 77 -- 99 , 1996 .]] Cristina Cifuentes. Interprocedural data flow decompilation. Journal of Programming Languages, 4(2):77--99, 1996.]]","journal-title":"Journal of Programming Languages"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/258915.258922"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.5555\/113938.113929"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/512950.512973"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/512760.512770"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/268946.268948"},{"key":"e_1_3_2_1_13_1","first-page":"554","volume-title":"Proc. of the 18th Intl. Conf. on Software Engineering (ICSE)","author":"Matthew","year":"1996","unstructured":"Matthew B. Dwyer and Lori A. Clarke. A flexible architecture for building data flow analyzers . In Proc. of the 18th Intl. Conf. on Software Engineering (ICSE) , pages 554 -- 564 , Berlin, Germany , March 1996 .]] Matthew B. Dwyer and Lori A. Clarke. A flexible architecture for building data flow analyzers. In Proc. of the 18th Intl. Conf. on Software Engineering (ICSE), pages 554--564, Berlin, Germany, March 1996.]]"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.5555\/520050.828438"},{"key":"e_1_3_2_1_15_1","volume-title":"August","author":"Engblom Jakob","year":"2003","unstructured":"Jakob Engblom , Andreas Ermedahl , Mikael Nolin , Jan Gustafsson , and Hans Hansson . Worst-case execution-time analysis for embedded real-time systems. Journal of Software Tool and Transfer Technology (STTT), 4(4):437--455 , August 2003 .]] Jakob Engblom, Andreas Ermedahl, Mikael Nolin, Jan Gustafsson, and Hans Hansson. Worst-case execution-time analysis for embedded real-time systems. Journal of Software Tool and Transfer Technology (STTT), 4(4):437--455, August 2003.]]"},{"key":"e_1_3_2_1_16_1","volume-title":"Proc. of the 2003 Workshop on Compilers and Tools for Constrained Embedded Systems (CTCES)","author":"Fritz Nicolas","year":"2003","unstructured":"Nicolas Fritz , Daniel K\u00e4stner , and Florian Martin . Automatically generating value analyzers for assembly code . In Proc. of the 2003 Workshop on Compilers and Tools for Constrained Embedded Systems (CTCES) , San Jose, CA , October 2003 .]] Nicolas Fritz, Daniel K\u00e4stner, and Florian Martin. Automatically generating value analyzers for assembly code. In Proc. of the 2003 Workshop on Compilers and Tools for Constrained Embedded Systems (CTCES), San Jose, CA, October 2003.]]"},{"key":"e_1_3_2_1_17_1","volume-title":"Proc. of the 19th Australian Computer Science Conf.","author":"John","year":"1996","unstructured":"John K. Gough and Herbert Klaeren. Eliminating range checks using static single assignment form . In Proc. of the 19th Australian Computer Science Conf. , Melbourne, Australia , January 1996 .]] John K. Gough and Herbert Klaeren. Eliminating range checks using static single assignment form. In Proc. of the 19th Australian Computer Science Conf., Melbourne, Australia, January 1996.]]"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.5555\/646830.707569"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/2166.357217"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/378993.379006"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.5555\/647055.715903"},{"key":"e_1_3_2_1_22_1","volume-title":"Proc. of the ACM SIGPLAN Workshop on Languages, Compilers, and Tools for Embedded Systems (LCTES)","author":"K\u00e4stner Daniel","year":"2000","unstructured":"Daniel K\u00e4stner . PROPAN : A retargetable system for postpass optimizations and analyses . In Proc. of the ACM SIGPLAN Workshop on Languages, Compilers, and Tools for Embedded Systems (LCTES) , Vancouver, Canada , June 2000 .]] Daniel K\u00e4stner. PROPAN: A retargetable system for postpass optimizations and analyses. In Proc. of the ACM SIGPLAN Workshop on Languages, Compilers, and Tools for Embedded Systems (LCTES), Vancouver, Canada, June 2000.]]"},{"key":"e_1_3_2_1_23_1","volume-title":"Electronic Business","author":"Lawton Stephen","year":"2002","unstructured":"Stephen Lawton . Eternally yours at 8 bits . Electronic Business , October 2002 .]] Stephen Lawton. Eternally yours at 8 bits. Electronic Business, October 2002.]]"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/503272.503298"},{"key":"e_1_3_2_1_25_1","unstructured":"J\u00f8rn Lind-Nielsen. BuDDy--A binary decision diagram package. http:\/\/www.itu.dk\/research\/buddy\/.]]  J\u00f8rn Lind-Nielsen. BuDDy--A binary decision diagram package. http:\/\/www.itu.dk\/research\/buddy\/.]]"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/948109.948149"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008138407139"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/36206.36194"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.5555\/832308.837141"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.5555\/646905.710481"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/192724.192749"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-45212-6_20"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24622-0_21"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/964001.964002"},{"key":"e_1_3_2_1_35_1","unstructured":"Simulavr: An AVR simulator. http:\/\/savannah.nongnu.org\/projects\/simulavr.]]  Simulavr: An AVR simulator. http:\/\/savannah.nongnu.org\/projects\/simulavr.]]"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/349299.349317"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/73141.74819"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/168619.168635"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/349299.349313"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/158511.158642"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24730-2_39"}],"event":{"name":"ASPLOS04: Architectural Support for Programming Languages and Operating Systems","location":"Boston MA USA","acronym":"ASPLOS04","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGOPS ACM Special Interest Group on Operating Systems","ACM Association for Computing Machinery","SIGARCH ACM Special Interest Group on Computer Architecture"]},"container-title":["Proceedings of the 11th international conference on Architectural support for programming languages and operating systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1024393.1024410","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1024393.1024410","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T12:31:35Z","timestamp":1750249895000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1024393.1024410"}},"subtitle":["a system for automatically deriving static analyzers for embedded systems"],"short-title":[],"issued":{"date-parts":[[2004,10,7]]},"references-count":41,"alternative-id":["10.1145\/1024393.1024410","10.1145\/1024393"],"URL":"https:\/\/doi.org\/10.1145\/1024393.1024410","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1037947.1024410","asserted-by":"object"},{"id-type":"doi","id":"10.1145\/1037187.1024410","asserted-by":"object"},{"id-type":"doi","id":"10.1145\/1037949.1024410","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2004,10,7]]},"assertion":[{"value":"2004-10-07","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}