{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,5]],"date-time":"2026-03-05T15:46:41Z","timestamp":1772725601240,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":45,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,6,24]],"date-time":"2017-06-24T00:00:00Z","timestamp":1498262400000},"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":[[2017,6,24]]},"DOI":"10.1145\/3079856.3080238","type":"proceedings-article","created":{"date-parts":[[2017,6,15]],"date-time":"2017-06-15T15:40:01Z","timestamp":1497541201000},"page":"228-240","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":82,"title":["Clank"],"prefix":"10.1145","author":[{"given":"Matthew","family":"Hicks","sequence":"first","affiliation":[{"name":"Virginia Tech"}]}],"member":"320","published-online":{"date-parts":[[2017,6,24]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"ARM. 2016. DesignStart for Processor IP. (2016). http:\/\/www.arm.com\/products\/processors\/designstart-processor-ip\/"},{"key":"e_1_3_2_1_2_1","first-page":"15","article-title":"Hibernus: Sustaining Computation during Intermittent Supply for Energy-Harvesting Systems. Embedded Systems Letters","volume":"7","author":"Balsamo D.","year":"2014","unstructured":"D. Balsamo, A.S. Weddell, G.V. Merrett, B.M. Al-Hashimi, D. Brunelli, and L. Benini. 2014. Hibernus: Sustaining Computation during Intermittent Supply for Energy-Harvesting Systems. Embedded Systems Letters, IEEE 7 (2014), 15--18. Issue 1.","journal-title":"IEEE"},{"key":"e_1_3_2_1_3_1","volume-title":"International Solid-State Circuits Conference. 432--433","author":"Bartling S. C.","unstructured":"S. C. Bartling, S. Khanna, M. P. Clinton, S. R. Summerfelt, J. A. Rodriguez, and H. P. McAdams. 2013. An 8MHz 75 uA\/MHz zero-leakage non-volatile logic-based Cortex-M0 MCU SoC exhibiting 100% digital state retention at VDD=0V with <400ns wakeup and sleep transitions. In International Solid-State Circuits Conference. 432--433."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1460412.1460468"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/2983990.2983995"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.5555\/1481318"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1815961.1816026"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/2155620.2155637"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/CGO.2013.6495002"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/2254064.2254120"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/2517351.2517363"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/12.142678"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/2155620.2155667"},{"key":"e_1_3_2_1_14_1","unstructured":"Matthew Hicks. 2016. MiBench port targeted at IoT devices. https:\/\/github.com\/impedimentToProgress\/MiBench2. (2016)."},{"key":"e_1_3_2_1_15_1","volume-title":"Thumbulator: Cycle accurate ARMv6-m instruction set simulator. https:\/\/github.com\/impedimentToProgress\/thumbulator.","author":"Hicks Matthew","year":"2016","unstructured":"Matthew Hicks. 2016. Thumbulator: Cycle accurate ARMv6-m instruction set simulator. https:\/\/github.com\/impedimentToProgress\/thumbulator. (2016)."},{"key":"e_1_3_2_1_16_1","unstructured":"Matthew Hicks. 2017. Clank research artifact code repository. https:\/\/github.com\/impedimentToProgress\/ClankRepo. (2017)."},{"key":"e_1_3_2_1_17_1","unstructured":"Texas Instruments. 2015. MSP432P401R. (March 2015)."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/VLSID.2014.63"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/313451.313558"},{"key":"e_1_3_2_1_20_1","first-page":"1","article-title":"An FRAM-Based Nonvolatile Logic MCU SoC Exhibiting 100% Digital State Retention at VDD= 0 V Achieving Zero Leakage With < 400-ns Wakeup Time for ULP Applications. Solid-State Circuits","volume":"49","author":"Khanna S.","year":"2014","unstructured":"S. Khanna, S.C. Bartling, M. Clinton, S. Summerfelt, J.A. Rodriguez, and H.P. McAdams. 2014. An FRAM-Based Nonvolatile Logic MCU SoC Exhibiting 100% Digital State Retention at VDD= 0 V Achieving Zero Leakage With < 400-ns Wakeup Time for ULP Applications. Solid-State Circuits, IEEE Journal of 49, 1 (Jan 2014), 95--106.","journal-title":"IEEE Journal of"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/1152649.1152653"},{"key":"e_1_3_2_1_22_1","volume-title":"EBMC: The Enhanced Bounded Model Checker.","author":"Kroening Daniel","year":"2016","unstructured":"Daniel Kroening and Mitra Purandare. 2016. EBMC: The Enhanced Bounded Model Checker. (2016). http:\/\/www.cprover.org\/ebmc\/"},{"key":"e_1_3_2_1_23_1","unstructured":"Silicon Labs. 2016. EFM32 Zero Gecko 32-bit Microcontroller. (2016). http:\/\/www.silabs.com\/products\/mcu\/32-bit\/efm32-zero-gecko\/Pages\/efm32-zero-gecko.aspx"},{"key":"e_1_3_2_1_24_1","volume-title":"Solid-State Circuits Conference Digest of Technical Papers (ISSCC)","author":"Lee Yoonmyung","year":"2012","unstructured":"Yoonmyung Lee, Gyouho Kim, Suyoung Bang, Yejoong Kim, Inhee Lee, P. Dutta, D. Sylvester, and D. Blaauw. 2012. A modular 1mm3 die-stacked sensing platform with optical communication and multi-modal energy harvesting. In Solid-State Circuits Conference Digest of Technical Papers (ISSCC), 2012 IEEE International. 402--404."},{"key":"e_1_3_2_1_25_1","volume-title":"Symposium on Fault-Tolerant Computing (FTCS). 74--81","author":"Li C.-C.J.","unstructured":"C.-C.J. Li and W.K. Fuchs. 1990. CATCH-compiler-assisted techniques for checkpointing. In Symposium on Fault-Tolerant Computing (FTCS). 74--81."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.5555\/3014904.3014931"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/2737924.2737978"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"crossref","unstructured":"Kaisheng Ma Yang Zheng Shuangchen Li K. Swaminathan Xueqing Li Yongpan Liu J. Sampson Yuan Xie and V. Narayanan. 2015. Architecture exploration for ambient energy harvesting nonvolatile processors. In High Performance Computer Architecture (HPCA). 526--537.","DOI":"10.1109\/HPCA.2015.7056060"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/161541.159765"},{"key":"e_1_3_2_1_30_1","volume-title":"International Conference on Pervasive Computing and Communications (Per-CoM). 216--224","author":"Mirhoseini A.","unstructured":"A. Mirhoseini, E.M. Songhori, and F. Koushanfar. 2013. Idetic: A high-level synthesis approach for enabling long computations on transiently-powered ASICs. In International Conference on Pervasive Computing and Communications (Per-CoM). 216--224."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISCA.2005.16"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.5555\/545215.545228"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1109\/NVMSA.2016.7547183"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/356725.356729"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.5555\/1855610.1855615"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/2618128.2618136"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/1950365.1950386"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1561\/2500000014"},{"key":"e_1_3_2_1_39_1","unstructured":"Texas Instruments. MSP430FR59xx Datasheet. Texas Instruments. http:\/\/www.ti.com\/lit\/ds\/symlink\/msp430fr5969.pdf"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.5555\/3026877.3026880"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1109\/DASC.2009.136"},{"key":"e_1_3_2_1_42_1","unstructured":"Xilinx. 2016. Xilinx Virtex-7 FPGA VC709 Connectivity Kit. (2016). http:\/\/www.xilinx.com\/products\/boards-and-kits\/dk-v7-vc709-g.html"},{"key":"e_1_3_2_1_43_1","unstructured":"Xilinx. 2016. Xilinx Vivado Design Suite. (2016). https:\/\/www.xilinx.com\/products\/design-tools\/vivado.html"},{"key":"e_1_3_2_1_44_1","volume-title":"Moo: A Batteryless Computational RFID and Sensing Platform. Technical Report UM-CS-2011-020. Department of Computer Science","author":"Zhang Hong","year":"2011","unstructured":"Hong Zhang, Jeremy Gummeson, Benjamin Ransford, and Kevin Fu. 2011. Moo: A Batteryless Computational RFID and Sensing Platform. Technical Report UM-CS-2011-020. Department of Computer Science, University of Massachusetts Amherst, Amherst, MA. http:\/\/www.cs.umass.edu\/publication\/details.php?id=2114"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/2451116.2451129"}],"event":{"name":"ISCA '17: The 44th Annual International Symposium on Computer Architecture","location":"Toronto ON Canada","acronym":"ISCA '17","sponsor":["IEEE IEEE Computer Society Technical Committee on Design Automation","SIGARCH ACM Special Interest Group on Computer Architecture"]},"container-title":["Proceedings of the 44th Annual International Symposium on Computer Architecture"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3079856.3080238","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3079856.3080238","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T23:37:15Z","timestamp":1750203435000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3079856.3080238"}},"subtitle":["Architectural Support for Intermittent Computation"],"short-title":[],"issued":{"date-parts":[[2017,6,24]]},"references-count":45,"alternative-id":["10.1145\/3079856.3080238","10.1145\/3079856"],"URL":"https:\/\/doi.org\/10.1145\/3079856.3080238","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/3140659.3080238","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2017,6,24]]},"assertion":[{"value":"2017-06-24","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}