{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:44:23Z","timestamp":1750308263244,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":35,"publisher":"ACM","license":[{"start":{"date-parts":[[2004,9,22]],"date-time":"2004-09-22T00:00:00Z","timestamp":1095811200000},"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,9,22]]},"DOI":"10.1145\/1023833.1023872","type":"proceedings-article","created":{"date-parts":[[2004,10,7]],"date-time":"2004-10-07T17:39:48Z","timestamp":1097170788000},"page":"280-291","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":12,"title":["Memory overflow protection for embedded systems using run-time checks, reuse and compression"],"prefix":"10.1145","author":[{"given":"Surupa","family":"Biswas","sequence":"first","affiliation":[{"name":"Univ. of MD, College Park, MD"}]},{"given":"Matthew","family":"Simpson","sequence":"additional","affiliation":[{"name":"Clemson University"}]},{"given":"Rajeev","family":"Barua","sequence":"additional","affiliation":[{"name":"Univ. of MD, College Park, MD"}]}],"member":"320","published-online":{"date-parts":[[2004,9,22]]},"reference":[{"volume-title":"Wind River","author":"High","key":"e_1_3_2_1_1_1","unstructured":"High availability design for embedded systems. Technical report , Wind River , Inc . http:\/\/www.windriver.com\/-whitepapers\/high availability design.html. High availability design for embedded systems. Technical report, Wind River, Inc. http:\/\/www.windriver.com\/-whitepapers\/high availability design.html."},{"key":"e_1_3_2_1_2_1","volume-title":"Appel and Maia Ginsburg. Modern Compiler Implementation in C","author":"Andrew","year":"1998","unstructured":"Andrew W. Appel and Maia Ginsburg. Modern Compiler Implementation in C . Cambridge Univ. Press , January 1998 . Andrew W. Appel and Maia Ginsburg. Modern Compiler Implementation in C. Cambridge Univ. Press, January 1998."},{"key":"e_1_3_2_1_3_1","unstructured":"Atmel Microcontrollers based on 8051 Architecture. http:\/\/www.atmel.com\/products\/8051.  Atmel Microcontrollers based on 8051 Architecture. http:\/\/www.atmel.com\/products\/8051."},{"key":"e_1_3_2_1_4_1","volume-title":"DEC Western Research Laboratory","author":"Bartlett Joel F.","year":"1988","unstructured":"Joel F. Bartlett . Compacting Garbage Collection with Ambiguous Roots. Technical report , DEC Western Research Laboratory , Palo Alto, CA , February 1988 . Joel F. Bartlett. Compacting Garbage Collection with Ambiguous Roots. Technical report, DEC Western Research Laboratory, Palo Alto, CA, February 1988."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/945445.945471"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.4380180902"},{"key":"e_1_3_2_1_7_1","volume-title":"Stack-size Estimation for Interrupt-driven Microcontrollers. Technical report","author":"Brylow D.","year":"2000","unstructured":"D. Brylow , N. Damgaard , and J. Palsberg . Stack-size Estimation for Interrupt-driven Microcontrollers. Technical report , Purdue University , June 2000 . http:\/\/www.brics.dk\/ damgaard\/Download\/zilog-test.pdf. D. Brylow, N. Damgaard, and J. Palsberg. Stack-size Estimation for Interrupt-driven Microcontrollers. Technical report, Purdue University, June 2000. http:\/\/www.brics.dk\/ damgaard\/Download\/zilog-test.pdf."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.5555\/874076.876483"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/349299.349309"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/236337.236367"},{"key":"e_1_3_2_1_11_1","volume-title":"October","author":"Document No. ARM DDI","year":"1998","unstructured":"Document No. ARM DDI 0084D, ARM Ltd . ARM7TDMI-S Data sheet , October 1998 . Document No. ARM DDI 0084D, ARM Ltd. ARM7TDMI-S Data sheet, October 1998."},{"key":"e_1_3_2_1_12_1","volume-title":"Running Linux on low cost, low power MMU-less processors","author":"Durrant Michael","year":"2000","unstructured":"Michael Durrant . Running Linux on low cost, low power MMU-less processors . August 2000 . http:\/\/www.linuxdevices.com\/articles\/AT6245686197.html. Michael Durrant. Running Linux on low cost, low power MMU-less processors. August 2000. http:\/\/www.linuxdevices.com\/articles\/AT6245686197.html."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.5555\/520050.828438"},{"issue":"1","key":"e_1_3_2_1_14_1","volume":"5","author":"Game M.","year":"1999","unstructured":"M. Game and A. Booker . Codepack: Code compression for PowerPC processors. MicroNews 5 ( 1 ), 1999 . M. Game and A. Booker. Codepack: Code compression for PowerPC processors. MicroNews 5(1), 1999.","journal-title":"Codepack: Code compression for PowerPC processors. MicroNews"},{"key":"e_1_3_2_1_15_1","volume-title":"Computer Architecture: A Quantitative Approach. Morgan Kaufmann","author":"Hennessy John","year":"2002","unstructured":"John Hennessy and David Patterson . Computer Architecture: A Quantitative Approach. Morgan Kaufmann , Palo Alto, CA , third edition, 2002 . John Hennessy and David Patterson. Computer Architecture: A Quantitative Approach. Morgan Kaufmann, Palo Alto, CA, third edition, 2002."},{"key":"e_1_3_2_1_16_1","unstructured":"Intel i960Sx 32-bit Microprocessor. Intel Corporation. http:\/\/www.intel.com\/design\/i960\/documentation\/docs sx.htm.  Intel i960Sx 32-bit Microprocessor. Intel Corporation. http:\/\/www.intel.com\/design\/i960\/documentation\/docs sx.htm."},{"key":"e_1_3_2_1_17_1","volume-title":"September","author":"Kleidermacher David","year":"2001","unstructured":"David Kleidermacher and Mark Griglock . Safety-Critical Operating Systems. Embedded Systems Programming, 14(10) , September 2001 . http:\/\/www.embedded.com\/story\/OEG20010829S0055. David Kleidermacher and Mark Griglock. Safety-Critical Operating Systems. Embedded Systems Programming, 14(10), September 2001. http:\/\/www.embedded.com\/story\/OEG20010829S0055."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.5555\/827246.827371"},{"key":"e_1_3_2_1_19_1","volume-title":"Haifa","author":"Sergei","year":"1999","unstructured":"Sergei Y. Larin and Thomas M. Conte. Compiler-Driven Cached Code Compression Schemes for Embedded ILP Processors. In 32nd Int'l Symposium on Microarchitecture, pages 82--92 , Haifa , Israel , November 1999 . IEEE. Sergei Y. Larin and Thomas M. Conte. Compiler-Driven Cached Code Compression Schemes for Embedded ILP Processors. In 32nd Int'l Symposium on Microarchitecture, pages 82--92, Haifa, Israel, November 1999. IEEE."},{"key":"e_1_3_2_1_20_1","unstructured":"Doug Lea. A Memory Allocator. April 2000. http:\/\/gee.cs.oswego.edu\/dl\/html\/malloc.html.  Doug Lea. A Memory Allocator. April 2000. http:\/\/gee.cs.oswego.edu\/dl\/html\/malloc.html."},{"key":"e_1_3_2_1_21_1","volume-title":"The 3rd IEEE International Workshop on System-on-Chip for Real-Time Applications","author":"Lo C.D.","year":"2003","unstructured":"C.D. Lo . The Design of a Self-Maintained Memory Module for Real-Time Systems . In The 3rd IEEE International Workshop on System-on-Chip for Real-Time Applications , Alberta, Canada , July 2003 . IEEE. C.D. Lo. The Design of a Self-Maintained Memory Module for Real-Time Systems. In The 3rd IEEE International Workshop on System-on-Chip for Real-Time Applications, Alberta, Canada, July 2003. IEEE."},{"key":"e_1_3_2_1_22_1","unstructured":"Windows CE.NET. Microsoft Corporation. http:\/\/www.microsoft.com\/embedded\/ce.net\/default.aspx.  Windows CE.NET. Microsoft Corporation. http:\/\/www.microsoft.com\/embedded\/ce.net\/default.aspx."},{"volume-title":"M68000 User's Manual","key":"e_1_3_2_1_23_1","unstructured":"Motorola. M68000 User's Manual . Prentice Hall , Englewood Cliffs, NJ . Motorola. M68000 User's Manual. Prentice Hall, Englewood Cliffs, NJ."},{"key":"e_1_3_2_1_24_1","volume-title":"MMC2001 Reference Manual. Motorola Corporation","author":"M-CORE","year":"1998","unstructured":"M-CORE - MMC2001 Reference Manual. Motorola Corporation , 1998 . http:\/\/www.motorola.com\/SPS\/-MCORE\/info documentation.htm. M-CORE - MMC2001 Reference Manual. Motorola Corporation, 1998. http:\/\/www.motorola.com\/SPS\/-MCORE\/info documentation.htm."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/644254.644264"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/314403.314440"},{"key":"e_1_3_2_1_27_1","unstructured":"Wind River. High Availability Design for Embedded Systems. http:\/\/www.windriver.com\/whitepapers\/-highavailability design.html.  Wind River. High Availability Design for Embedded Systems. http:\/\/www.windriver.com\/whitepapers\/-highavailability design.html."},{"key":"e_1_3_2_1_28_1","volume-title":"U. of Maryland, ECE department","author":"Simpson Matthew","year":"2003","unstructured":"Matthew Simpson , Surupa Biswas , and Rajeev Barua . Analysis of Compression Algorithms for Program Data. Technical report , U. of Maryland, ECE department , August 2003 . http:\/\/www.ece.umd.edu\/ barua\/matt-compress-tr.pdf. Matthew Simpson, Surupa Biswas, and Rajeev Barua. Analysis of Compression Algorithms for Program Data. Technical report, U. of Maryland, ECE department, August 2003. http:\/\/www.ece.umd.edu\/ barua\/matt-compress-tr.pdf."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-86092-8","volume-title":"Data Compression: The Complete Reference","author":"Solomon David","year":"2000","unstructured":"David Solomon . Data Compression: The Complete Reference . Springer-Verlag Inc ., New York, 2000 . David Solomon. Data Compression: The Complete Reference. Springer-Verlag Inc., New York, 2000."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/237721.237727"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.5555\/851035.856373"},{"key":"e_1_3_2_1_32_1","volume-title":"Texas Instruments","author":"Us Low-Power","year":"2004","unstructured":"MSP430 Ultra- Low-Power MC Us . Texas Instruments , 2004 . http:\/\/focus.ti.com\/lit\/ml\/slab034g\/slab034g.pdf. MSP430 Ultra-Low-Power MCUs. Texas Instruments, 2004. http:\/\/focus.ti.com\/lit\/ml\/slab034g\/slab034g.pdf."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/951710.951747"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.5555\/1268708.1268716"},{"key":"e_1_3_2_1_35_1","first-page":"14","volume-title":"Zhang and Rajiv Gupta. Data Compression Transformations for Dynamically Allocated Data Structures. In Proceedings of the International Conference on Compiler Construction LNCS 2304","author":"Youtao","year":"2002","unstructured":"Youtao Zhang and Rajiv Gupta. Data Compression Transformations for Dynamically Allocated Data Structures. In Proceedings of the International Conference on Compiler Construction LNCS 2304 , pages 14 -- 28 , April 2002 . Youtao Zhang and Rajiv Gupta. Data Compression Transformations for Dynamically Allocated Data Structures. In Proceedings of the International Conference on Compiler Construction LNCS 2304, pages 14--28, April 2002."}],"event":{"name":"CASES04: 2004 International Conference on Compilers, Architectures and Synthesis for Embedded Systems","sponsor":["SIGBED ACM Special Interest Group on Embedded Systems","SIGMICRO ACM Special Interest Group on Microarchitectural Research and Processing"],"location":"Washington DC USA","acronym":"CASES04"},"container-title":["Proceedings of the 2004 international conference on Compilers, architecture, and synthesis for embedded systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1023833.1023872","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1023833.1023872","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T17:23:53Z","timestamp":1750267433000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1023833.1023872"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004,9,22]]},"references-count":35,"alternative-id":["10.1145\/1023833.1023872","10.1145\/1023833"],"URL":"https:\/\/doi.org\/10.1145\/1023833.1023872","relation":{},"subject":[],"published":{"date-parts":[[2004,9,22]]},"assertion":[{"value":"2004-09-22","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}