{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,9]],"date-time":"2026-05-09T17:32:15Z","timestamp":1778347935542,"version":"3.51.4"},"publisher-location":"New York, NY, USA","reference-count":61,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,6,9]],"date-time":"2022-06-09T00:00:00Z","timestamp":1654732800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2022,6,9]]},"DOI":"10.1145\/3519939.3523454","type":"proceedings-article","created":{"date-parts":[[2022,6,2]],"date-time":"2022-06-02T21:05:05Z","timestamp":1654203905000},"page":"777-791","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":19,"title":["WARio: efficient code generation for intermittent computing"],"prefix":"10.1145","author":[{"given":"Vito","family":"Kortbeek","sequence":"first","affiliation":[{"name":"Delft University of Technology, Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Souradip","family":"Ghosh","sequence":"additional","affiliation":[{"name":"Carnegie Mellon University, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Josiah","family":"Hester","sequence":"additional","affiliation":[{"name":"Northwestern University, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Simone","family":"Campanoni","sequence":"additional","affiliation":[{"name":"Northwestern University, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Przemys\u0142aw","family":"Pawe\u0142czak","sequence":"additional","affiliation":[{"name":"Delft University of Technology, Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2022,6,9]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/3384419.3430722"},{"key":"e_1_3_2_1_2_1","volume-title":"Cortex-M4 Revision r0p0 Technical Reference Manual. https:\/\/documentation-service.arm.com\/static\/5f19da2a20b7cf4bc524d99a Last accessed","author":"Ambiq Micro Inc.","year":"2021","unstructured":"Ambiq Micro Inc. . 2010. Cortex-M4 Revision r0p0 Technical Reference Manual. https:\/\/documentation-service.arm.com\/static\/5f19da2a20b7cf4bc524d99a Last accessed : Nov. 10, 2021 Ambiq Micro Inc.. 2010. Cortex-M4 Revision r0p0 Technical Reference Manual. https:\/\/documentation-service.arm.com\/static\/5f19da2a20b7cf4bc524d99a Last accessed: Nov. 10, 2021"},{"key":"e_1_3_2_1_3_1","volume-title":"Apollo4 Blue Ultra-Low Power Microcontroller. https:\/\/ambiq.com\/apollo4-blue\/ Last accessed","author":"Ambiq Micro Inc.","year":"2021","unstructured":"Ambiq Micro Inc. . 2021. Apollo4 Blue Ultra-Low Power Microcontroller. https:\/\/ambiq.com\/apollo4-blue\/ Last accessed : Nov. 10, 2021 Ambiq Micro Inc.. 2021. Apollo4 Blue Ultra-Low Power Microcontroller. https:\/\/ambiq.com\/apollo4-blue\/ Last accessed: Nov. 10, 2021"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/3385412.3386028"},{"key":"e_1_3_2_1_5_1","volume-title":"https:\/\/documentation-service.arm.com\/static\/5e8e116188295d1e18d34a29 Last accessed","author":"Limited Arm","year":"2021","unstructured":"Arm Limited . 2007. https:\/\/documentation-service.arm.com\/static\/5e8e116188295d1e18d34a29 Last accessed : Nov. 5, 2021 Arm Limited. 2007. https:\/\/documentation-service.arm.com\/static\/5e8e116188295d1e18d34a29 Last accessed: Nov. 5, 2021"},{"key":"e_1_3_2_1_6_1","volume-title":"Arm Cortex-M Series Processors. https:\/\/developer.arm.com\/ip-products\/processors\/cortex-m Last accessed","author":"Limited Arm","year":"2021","unstructured":"Arm Limited . 2021. Arm Cortex-M Series Processors. https:\/\/developer.arm.com\/ip-products\/processors\/cortex-m Last accessed : Nov. 4, 2021 Arm Limited. 2021. Arm Cortex-M Series Processors. https:\/\/developer.arm.com\/ip-products\/processors\/cortex-m Last accessed: Nov. 4, 2021"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/3478077"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2016.2547919"},{"key":"e_1_3_2_1_9_1","first-page":"2022","article-title":"Why is There a Chip Shortage? https:\/\/www.bbc.com\/news\/business-58230388 Last accessed","volume":"18","author":"Baraniuk Chris","year":"2021","unstructured":"Chris Baraniuk . 2021 . Why is There a Chip Shortage? https:\/\/www.bbc.com\/news\/business-58230388 Last accessed : Mar. 18 , 2022 Chris Baraniuk. 2021. Why is There a Chip Shortage? https:\/\/www.bbc.com\/news\/business-58230388 Last accessed: Mar. 18, 2022","journal-title":"Mar."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/3352460.3358279"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/2254064.2254120"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/3373376.3378464"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/3411839"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1006\/jpdc.1998.1441"},{"key":"e_1_3_2_1_15_1","unstructured":"Kristina Edstr\u00f6m (Executive Publisher). 2020. Horizon 2020 EU Program Battery 2030+: Inventing the Sustainable Batteries of the Future: Research Needs and Future Actions. https:\/\/battery2030.eu\/digitalAssets\/861\/c_861350-l_1-k_roadmap-27-march.pdf Last accessed: Jun. 29 2021  Kristina Edstr\u00f6m (Executive Publisher). 2020. Horizon 2020 EU Program Battery 2030+: Inventing the Sustainable Batteries of the Future: Research Needs and Future Actions. https:\/\/battery2030.eu\/digitalAssets\/861\/c_861350-l_1-k_roadmap-27-march.pdf Last accessed: Jun. 29 2021"},{"key":"e_1_3_2_1_16_1","volume-title":"https:\/\/github.com\/eembc\/coremark\/releases\/tag\/v1.01 Last accessed","author":"Embedded Microprocessor Benchmark Consortium","year":"2021","unstructured":"Embedded Microprocessor Benchmark Consortium . 2018. CoreMark Benchmark . https:\/\/github.com\/eembc\/coremark\/releases\/tag\/v1.01 Last accessed : Jun. 29, 2021 Embedded Microprocessor Benchmark Consortium. 2018. CoreMark Benchmark. https:\/\/github.com\/eembc\/coremark\/releases\/tag\/v1.01 Last accessed: Jun. 29, 2021"},{"key":"e_1_3_2_1_17_1","volume-title":"picojpeg: Plain C JPEG Decompressor. https:\/\/github.com\/richgel999\/picojpeg Last accessed","author":"Geldreich Rich","year":"2021","unstructured":"Rich Geldreich . 2020. picojpeg: Plain C JPEG Decompressor. https:\/\/github.com\/richgel999\/picojpeg Last accessed : Nov. 5, 2021 Rich Geldreich. 2020. picojpeg: Plain C JPEG Decompressor. https:\/\/github.com\/richgel999\/picojpeg Last accessed: Nov. 5, 2021"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/3297858.3304011"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/wwc.2001.990739"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/3131672.3131699"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/3140659.3080238"},{"key":"e_1_3_2_1_22_1","volume-title":"https:\/\/github.com\/impedimentToProgress\/Ratchet Last accessed","author":"Hicks Matthew","year":"2021","unstructured":"Matthew Hicks . 2017. Ratchet ( Source Code from OSDI 2016). https:\/\/github.com\/impedimentToProgress\/Ratchet Last accessed : Nov. 5, 2021 Matthew Hicks. 2017. Ratchet (Source Code from OSDI 2016). https:\/\/github.com\/impedimentToProgress\/Ratchet Last accessed: Nov. 5, 2021"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/2700249"},{"key":"e_1_3_2_1_24_1","volume-title":"Proc. NSDI. USENIX, Virtual Event. 955\u2013972","author":"Katanbaf Mohamad","year":"2021","unstructured":"Mohamad Katanbaf , Anthony Weinand , and Vamsi Talla . 2021 . Simplifying Backscatter Deployment: Full-Duplex LoRa Backscatter . In Proc. NSDI. USENIX, Virtual Event. 955\u2013972 . https:\/\/www.usenix.org\/system\/files\/nsdi21spring-katanbaf.pdf Mohamad Katanbaf, Anthony Weinand, and Vamsi Talla. 2021. Simplifying Backscatter Deployment: Full-Duplex LoRa Backscatter. In Proc. NSDI. USENIX, Virtual Event. 955\u2013972. https:\/\/www.usenix.org\/system\/files\/nsdi21spring-katanbaf.pdf"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/3432191"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/3373376.3378476"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/3241539.3241578"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/207110.207132"},{"key":"e_1_3_2_1_29_1","first-page":"1","article-title":"Intermittent Computing: Challenges and Opportunities. In Proc. SNAPL. Alisomar","volume":"8","author":"Lucia Brandon","year":"2017","unstructured":"Brandon Lucia , Vignesh Balaji , Alexei Colin , Kiwan Maeng , and Emily Ruppel . 2017 . Intermittent Computing: Challenges and Opportunities. In Proc. SNAPL. Alisomar , CA, USA. 8 : 1 \u2013 8 :14. https:\/\/drops.dagstuhl.de\/opus\/volltexte\/2017\/7131\/pdf\/LIPIcs-SNAPL-2017-8.pdf Brandon Lucia, Vignesh Balaji, Alexei Colin, Kiwan Maeng, and Emily Ruppel. 2017. Intermittent Computing: Challenges and Opportunities. In Proc. SNAPL. Alisomar, CA, USA. 8:1\u20138:14. https:\/\/drops.dagstuhl.de\/opus\/volltexte\/2017\/7131\/pdf\/LIPIcs-SNAPL-2017-8.pdf","journal-title":"CA, USA."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1109\/MM.2016.35"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/3133920"},{"key":"e_1_3_2_1_32_1","volume-title":"Proc. OSDI. USENIX","author":"Maeng Kiwan","year":"2018","unstructured":"Kiwan Maeng , Alexei Colin , and Brandon Lucia . 2018 . Adaptive Dynamic Checkpointing for Safe Efficient Intermittent Computing . In Proc. OSDI. USENIX , Carlsbad, CA, USA. 129\u2013144. https:\/\/www.usenix.org\/system\/files\/osdi18-maeng.pdf Kiwan Maeng, Alexei Colin, and Brandon Lucia. 2018. Adaptive Dynamic Checkpointing for Safe Efficient Intermittent Computing. In Proc. OSDI. USENIX, Carlsbad, CA, USA. 129\u2013144. https:\/\/www.usenix.org\/system\/files\/osdi18-maeng.pdf"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/3485730.3485949"},{"key":"e_1_3_2_1_34_1","volume-title":"Muhammad Hamad Alizai, and Junaid Haroon Siddiqui","author":"Maioli Andrea","year":"2021","unstructured":"Andrea Maioli , Luca Mottola , Muhammad Hamad Alizai, and Junaid Haroon Siddiqui . 2021 . Discovering the Hidden Anomalies of Intermittent Computing. https:\/\/www.ewsn.org\/file-repository\/ewsn2021\/Article1.pdf In Proc. EWSN. Delft, The Netherlands . Andrea Maioli, Luca Mottola, Muhammad Hamad Alizai, and Junaid Haroon Siddiqui. 2021. Discovering the Hidden Anomalies of Intermittent Computing. https:\/\/www.ewsn.org\/file-repository\/ewsn2021\/Article1.pdf In Proc. EWSN. Delft, The Netherlands."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/3360285"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1109\/CGO53902.2022.9741276"},{"key":"e_1_3_2_1_37_1","volume-title":"Last accessed","author":"Delft University of Technology Sustainable Systems Lab. 2022. Artifact.","year":"2022","unstructured":"Delft University of Technology Sustainable Systems Lab. 2022. Artifact. Last accessed : Apr. 07, 2022 Delft University of Technology Sustainable Systems Lab. 2022. Artifact. Last accessed: Apr. 07, 2022"},{"key":"e_1_3_2_1_38_1","first-page":"2022","article-title":"Source Code Repository.  Last accessed","volume":"18","author":"Delft University of Technology Sustainable Systems Lab.","year":"2022","unstructured":"Delft University of Technology Sustainable Systems Lab. 2022 . Source Code Repository. Last accessed : Mar. 18 , 2022 Delft University of Technology Sustainable Systems Lab. 2022. Source Code Repository. Last accessed: Mar. 18, 2022","journal-title":"Mar."},{"key":"e_1_3_2_1_39_1","volume-title":"C Language Family Front-end. https:\/\/github.com\/llvm\/llvm-project\/tree\/main\/clang Last accessed","author":"Community Contributors Open Source","year":"2021","unstructured":"Open Source Community Contributors . 2021. C Language Family Front-end. https:\/\/github.com\/llvm\/llvm-project\/tree\/main\/clang Last accessed : Nov. 10, 2021 Open Source Community Contributors. 2021. C Language Family Front-end. https:\/\/github.com\/llvm\/llvm-project\/tree\/main\/clang Last accessed: Nov. 10, 2021"},{"key":"e_1_3_2_1_40_1","volume-title":"GNU Compiler Collection. https:\/\/gcc.gnu.org\/git.html Last accessed","author":"Community Contributors Open Source","year":"2021","unstructured":"Open Source Community Contributors . 2021. GNU Compiler Collection. https:\/\/gcc.gnu.org\/git.html Last accessed : Jul. 21, 2021 Open Source Community Contributors. 2021. GNU Compiler Collection. https:\/\/gcc.gnu.org\/git.html Last accessed: Jul. 21, 2021"},{"key":"e_1_3_2_1_41_1","volume-title":"The LLVM Compiler Infrastructure. https:\/\/github.com\/llvm\/llvm-project Last accessed","author":"Community Contributors Open Source","year":"2021","unstructured":"Open Source Community Contributors . 2021. The LLVM Compiler Infrastructure. https:\/\/github.com\/llvm\/llvm-project Last accessed : Jun. 28, 2021 Open Source Community Contributors. 2021. The LLVM Compiler Infrastructure. https:\/\/github.com\/llvm\/llvm-project Last accessed: Jun. 28, 2021"},{"key":"e_1_3_2_1_42_1","volume-title":"QEMU: a Generic and Open Source Machine and Userspace Emulator and Virtualizer. https:\/\/gitlab.com\/qemu-project\/qemu Last accessed","author":"Community Contributors Open Source","year":"2021","unstructured":"Open Source Community Contributors . 2021. QEMU: a Generic and Open Source Machine and Userspace Emulator and Virtualizer. https:\/\/gitlab.com\/qemu-project\/qemu Last accessed : Nov. 5, 2021 Open Source Community Contributors. 2021. QEMU: a Generic and Open Source Machine and Userspace Emulator and Virtualizer. https:\/\/gitlab.com\/qemu-project\/qemu Last accessed: Nov. 5, 2021"},{"key":"e_1_3_2_1_43_1","volume-title":"Tiny AES in C. https:\/\/github.com\/kokke\/tiny-aes-c Last accessed","author":"Community Contributors Open Source","year":"2021","unstructured":"Open Source Community Contributors . 2021. Tiny AES in C. https:\/\/github.com\/kokke\/tiny-aes-c Last accessed : Nov. 5, 2021 Open Source Community Contributors. 2021. Tiny AES in C. https:\/\/github.com\/kokke\/tiny-aes-c Last accessed: Nov. 5, 2021"},{"key":"e_1_3_2_1_44_1","volume-title":"Multi-platform, Multi-architecture CPU Emulator Framework based on QEMU. https:\/\/github.com\/unicorn-engine\/unicorn Last accessed","author":"Community Contributors Open Source","year":"2021","unstructured":"Open Source Community Contributors . 2021. Unicorn: a Lightweight , Multi-platform, Multi-architecture CPU Emulator Framework based on QEMU. https:\/\/github.com\/unicorn-engine\/unicorn Last accessed : Nov. 5, 2021 Open Source Community Contributors. 2021. Unicorn: a Lightweight, Multi-platform, Multi-architecture CPU Emulator Framework based on QEMU. https:\/\/github.com\/unicorn-engine\/unicorn Last accessed: Nov. 5, 2021"},{"key":"e_1_3_2_1_45_1","volume-title":"Whole Program LLVM in Go. https:\/\/github.com\/SRI-CSL\/gllvm Last accessed","author":"Community Contributors Open Source","year":"2021","unstructured":"Open Source Community Contributors . 2021. Whole Program LLVM in Go. https:\/\/github.com\/SRI-CSL\/gllvm Last accessed : Nov. 10, 2021 Open Source Community Contributors. 2021. Whole Program LLVM in Go. https:\/\/github.com\/SRI-CSL\/gllvm Last accessed: Nov. 10, 2021"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/2740070.2626312"},{"key":"e_1_3_2_1_47_1","volume-title":"Traces repository used in \u2018Mementos: System Support for Long-running Computation on RFID-scale Devices\u2018 paper. https:\/\/github.com\/ransford\/mspsim\/tree\/mementos\/traces Last accessed","author":"Ransford Benjamin","year":"2021","unstructured":"Benjamin Ransford . 2011. Traces repository used in \u2018Mementos: System Support for Long-running Computation on RFID-scale Devices\u2018 paper. https:\/\/github.com\/ransford\/mspsim\/tree\/mementos\/traces Last accessed : Nov. 1, 2021 Benjamin Ransford. 2011. Traces repository used in \u2018Mementos: System Support for Long-running Computation on RFID-scale Devices\u2018 paper. https:\/\/github.com\/ransford\/mspsim\/tree\/mementos\/traces Last accessed: Nov. 1, 2021"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1145\/2618128.2618136"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1145\/1950365.1950386"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1145\/3314221.3314583"},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1145\/3464937"},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.23919\/DATE.2017.7927131"},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1145\/2892208.2892235"},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1145\/3090090"},{"key":"e_1_3_2_1_55_1","unstructured":"Texas Instruments Inc.. 2017. MSP430FR59xx Mixed-Signal Microcontrollers (Rev. F). http:\/\/www.ti.com\/lit\/ds\/symlink\/msp430fr5969.pdf Last accessed: Nov. 4 2021  Texas Instruments Inc.. 2017. MSP430FR59xx Mixed-Signal Microcontrollers (Rev. F). http:\/\/www.ti.com\/lit\/ds\/symlink\/msp430fr5969.pdf Last accessed: Nov. 4 2021"},{"key":"e_1_3_2_1_56_1","volume-title":"Wireless Identification and Sensing Platform GitHub Page. https:\/\/github.com\/wisp Last accessed","author":"University of Washington, Seattle, WA, USA. 2010.","year":"2021","unstructured":"University of Washington, Seattle, WA, USA. 2010. Wireless Identification and Sensing Platform GitHub Page. https:\/\/github.com\/wisp Last accessed : Nov. 1, 2021 University of Washington, Seattle, WA, USA. 2010. Wireless Identification and Sensing Platform GitHub Page. https:\/\/github.com\/wisp Last accessed: Nov. 1, 2021"},{"key":"e_1_3_2_1_57_1","volume-title":"Proc. OSDI. ACM","author":"Der Woude Joel Van","year":"2016","unstructured":"Joel Van Der Woude and Matthew Hicks . 2016 . Intermittent Computation Without Hardware Support or Programmer Intervention . In Proc. OSDI. ACM , Savannah, GA, USA. 17\u201332. https:\/\/www.usenix.org\/system\/files\/conference\/osdi16\/osdi16-van-der-woude.pdf Joel Van Der Woude and Matthew Hicks. 2016. Intermittent Computation Without Hardware Support or Programmer Intervention. In Proc. OSDI. ACM, Savannah, GA, USA. 17\u201332. https:\/\/www.usenix.org\/system\/files\/conference\/osdi16\/osdi16-van-der-woude.pdf"},{"key":"e_1_3_2_1_58_1","volume-title":"Wiliot Battery Free IoT Pixel BLE Tags Website. https:\/\/www.wiliot.com\/product\/iot-pixel Last accessed","year":"2021","unstructured":"Wiliot. 2021. Wiliot Battery Free IoT Pixel BLE Tags Website. https:\/\/www.wiliot.com\/product\/iot-pixel Last accessed : Jul. 22, 2021 Wiliot. 2021. Wiliot Battery Free IoT Pixel BLE Tags Website. https:\/\/www.wiliot.com\/product\/iot-pixel Last accessed: Jul. 22, 2021"},{"key":"e_1_3_2_1_59_1","doi-asserted-by":"publisher","DOI":"10.1145\/3493229.3493300"},{"key":"e_1_3_2_1_60_1","doi-asserted-by":"publisher","DOI":"10.1145\/3274783.3274837"},{"key":"e_1_3_2_1_61_1","volume-title":"The Search for a Better Battery. https:\/\/spectrum.ieee.org\/at-work\/innovation\/the-search-for-a-better-battery Last accessed","author":"Zachary G. Pascal","year":"2021","unstructured":"G. Pascal Zachary . 2016. The Search for a Better Battery. https:\/\/spectrum.ieee.org\/at-work\/innovation\/the-search-for-a-better-battery Last accessed : Jun. 29, 2021 G. Pascal Zachary. 2016. The Search for a Better Battery. https:\/\/spectrum.ieee.org\/at-work\/innovation\/the-search-for-a-better-battery Last accessed: Jun. 29, 2021"}],"event":{"name":"PLDI '22: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation","location":"San Diego CA USA","acronym":"PLDI '22","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3519939.3523454","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3519939.3523454","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T18:10:30Z","timestamp":1750183830000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3519939.3523454"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,6,9]]},"references-count":61,"alternative-id":["10.1145\/3519939.3523454","10.1145\/3519939"],"URL":"https:\/\/doi.org\/10.1145\/3519939.3523454","relation":{},"subject":[],"published":{"date-parts":[[2022,6,9]]},"assertion":[{"value":"2022-06-09","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}