{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,9]],"date-time":"2026-05-09T04:28:44Z","timestamp":1778300924128,"version":"3.51.4"},"reference-count":77,"publisher":"Association for Computing Machinery (ACM)","issue":"1","license":[{"start":{"date-parts":[[2020,2,4]],"date-time":"2020-02-04T00:00:00Z","timestamp":1580774400000},"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":["ACM Trans. Sen. Netw."],"published-print":{"date-parts":[[2020,2,29]]},"abstract":"<jats:p>Energy-neutral Internet of Things requires freeing embedded devices from batteries and powering them from ambient energy. Ambient energy is, however, unpredictable and can only power a device intermittently. Therefore, the paradigm of intermittent execution is to save the program state into non-volatile memory frequently to preserve the execution progress. In task-based intermittent programming, the state is saved at task transition. Tasks are fixed at compile time and agnostic to energy conditions. Thus, the state may be saved either more often than necessary or not often enough for the program to progress and terminate. To address these challenges, we propose Coala, an adaptive and efficient task-based execution model. Coala progresses on a multi-task scale when energy permits and preserves the computation progress on a sub-task scale if necessary. Coala\u2019s specialized memory virtualization mechanism ensures that power failures do not leave the program state in non-volatile memory inconsistent. Our evaluation on a real energy-harvesting platform not only shows that Coala reduces runtime by up to 54% as compared to a state-of-the-art system, but also it is able to progress where static systems fail.<\/jats:p>","DOI":"10.1145\/3360285","type":"journal-article","created":{"date-parts":[[2020,2,5]],"date-time":"2020-02-05T01:06:53Z","timestamp":1580864813000},"page":"1-24","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":65,"title":["Dynamic Task-based Intermittent Execution for Energy-harvesting Devices"],"prefix":"10.1145","volume":"16","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-8225-6410","authenticated-orcid":false,"given":"Amjad Yousef","family":"Majid","sequence":"first","affiliation":[{"name":"Delft University of Technology, The Netherlands, Zuid Holland, CD"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Carlo Delle","family":"Donne","sequence":"additional","affiliation":[{"name":"QuTech, Delft University of Technology, The Netherlands, Zuid Holland, CJ"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kiwan","family":"Maeng","sequence":"additional","affiliation":[{"name":"Carnegie Mellon University, Pittsburgh, PA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexei","family":"Colin","sequence":"additional","affiliation":[{"name":"Carnegie Mellon University, Pittsburgh, PA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kasim Sinan","family":"Yildirim","sequence":"additional","affiliation":[{"name":"University of Trento and Ege University, Povo (TN), Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4130-1099","authenticated-orcid":false,"given":"Brandon","family":"Lucia","sequence":"additional","affiliation":[{"name":"Carnegie Mellon University, Pittsburgh, PA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Przemys\u0142aw","family":"Pawe\u0142czak","sequence":"additional","affiliation":[{"name":"Delft University of Technology, The Netherlands, Zuid Holland, CD"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2020,2,4]]},"reference":[{"key":"e_1_2_1_1_1","volume-title":"Proceedings of the IEEE International Conference on Computer Communications (INFOCOM\u201917)","author":"Aantjes Henko"},{"key":"e_1_2_1_2_1","volume-title":"Proceedings of the International Symposium on Code Generation and Optimization (CGO\u201918)","author":"Sara"},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2016.2547919"},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/LES.2014.2371494"},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1002\/elan.201400537"},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/1640089.1640096"},{"key":"e_1_2_1_7_1","volume-title":"Proceedings of the International Conference on Information Processing in Sensor Networks (IPSN\u201917)","author":"Bhatti Naveed","year":"2017"},{"key":"e_1_2_1_8_1","volume-title":"Proceedings of the Symposium on Networked Systems Design and Implementation (NSDI\u201911)","author":"Buettner Michael","year":"2011"},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1168857.1168901"},{"key":"e_1_2_1_10_1","volume-title":"Retrieved","author":"Project Coala","year":"2018"},{"key":"e_1_2_1_11_1","volume-title":"Proceedings of the International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS\u201916)","author":"Colin Alexei"},{"key":"e_1_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/2983990.2983995"},{"key":"e_1_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/3178372.3179525"},{"key":"e_1_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/3173162.3173210"},{"key":"e_1_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1322263.1322283"},{"key":"e_1_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/LCN.2004.38"},{"key":"e_1_2_1_17_1","volume-title":"Retrieved","year":"2017"},{"key":"e_1_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/781131.781133"},{"key":"e_1_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2013.404"},{"key":"e_1_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/2591971.2591986"},{"key":"e_1_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/TMC.2012.154"},{"key":"e_1_2_1_22_1","volume-title":"Proceedings of the ACM Conference on Embedded Networked Sensor Systems (SenSys\u201906)","author":"Gu Lin"},{"key":"e_1_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/MCOM.2014.6710085"},{"key":"e_1_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/1067170.1067188"},{"key":"e_1_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/2668332.2668382"},{"key":"e_1_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/2809695.2809707"},{"key":"e_1_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/3131672.3131674"},{"key":"e_1_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/3131672.3131673"},{"key":"e_1_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/3079856.3080238"},{"key":"e_1_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1109\/BIOCAS.2008.4696868"},{"key":"e_1_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/MCOM.2015.7120022"},{"key":"e_1_2_1_32_1","volume-title":"IXOLAR\u2122 High Efficiency SLMD121H04L Solar Module. Retrieved","author":"IXYS Corporation","year":"2019"},{"key":"e_1_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1109\/VLSID.2014.63"},{"key":"e_1_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1109\/MCOM.2015.7120024"},{"key":"e_1_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1109\/COMST.2015.2497324"},{"key":"e_1_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/1272996.1273012"},{"key":"e_1_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/605397.605407"},{"key":"e_1_2_1_38_1","volume-title":"TinyOS: An operating system for sensor networks","author":"Levis Philip"},{"key":"e_1_2_1_39_1","volume-title":"Proceedings of the ACM Special Interest Group on Data Communications Conference (SIGCOMM\u201913)","author":"Liu Vincent"},{"key":"e_1_2_1_40_1","volume-title":"Proceedings of the Summit on Advances in Programming Languages (SNAPL\u201917)","author":"Lucia Brandon","year":"2017"},{"key":"e_1_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/2737924.2737978"},{"key":"e_1_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1109\/HPCA.2015.7056060"},{"key":"e_1_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/3133920"},{"key":"e_1_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1109\/INFOCOM.2019.8737551"},{"key":"e_1_2_1_45_1","unstructured":"Zachary Manchester. 2016. KickSat. Retrieved October 2 2019 from https:\/\/kicksat.github.io\/.  Zachary Manchester. 2016. KickSat. Retrieved October 2 2019 from https:\/\/kicksat.github.io\/."},{"key":"e_1_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/2831236"},{"key":"e_1_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1109\/INFOCOM.2016.7524505"},{"key":"e_1_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1109\/PerCom.2013.6526735"},{"key":"e_1_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1038\/s41551-016-0022"},{"key":"e_1_2_1_50_1","volume-title":"Proceedings of the IEEE Conference on Radio Frequency Identification (RFID\u201915)","author":"Naderiparizi Saman"},{"key":"e_1_2_1_51_1","volume-title":"Retrieved","author":"Parks Aaron","year":"2017"},{"key":"e_1_2_1_52_1","volume-title":"Smith","author":"Parks Aaron N.","year":"2014"},{"key":"e_1_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1109\/MPRV.2017.2940955"},{"key":"e_1_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1145\/3279755.3279761"},{"key":"e_1_2_1_55_1","first-page":"1","article-title":"Reincarnation in the ambiance: Devices and networks with energy harvesting","volume":"11","author":"Prasad R. Venkatesha","year":"2014","journal-title":"IEEE Commun. Surv. Tuts."},{"key":"e_1_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1145\/2618128.2618136"},{"key":"e_1_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.1145\/2248487.1950386"},{"key":"e_1_2_1_58_1","volume-title":"S9028 Technical Specification. Retrieved from","author":"RFMAX.","year":"2018"},{"key":"e_1_2_1_59_1","doi-asserted-by":"publisher","DOI":"10.1109\/TBCAS.2015.2456242"},{"key":"e_1_2_1_60_1","volume-title":"Logic 16 Analyzer. Retrieved from","year":"2017"},{"key":"e_1_2_1_61_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2013.2252453"},{"key":"e_1_2_1_62_1","doi-asserted-by":"publisher","DOI":"10.1109\/TIM.2008.925019"},{"key":"e_1_2_1_63_1","doi-asserted-by":"publisher","DOI":"10.1109\/MCAS.2015.2510198"},{"key":"e_1_2_1_64_1","doi-asserted-by":"publisher","DOI":"10.23919\/DATE.2017.7927131"},{"key":"e_1_2_1_65_1","doi-asserted-by":"publisher","DOI":"10.1145\/3090090"},{"key":"e_1_2_1_66_1","volume-title":"Proceedings of the IEEE International Conference on Computer Communications (INFOCOM\u201916)","author":"Tan Jethro"},{"key":"e_1_2_1_67_1","volume-title":"Boost Charger Nanopowered Buck Converter Evaluation Module. Retrieved","author":"Instruments Texas","year":"2019"},{"key":"e_1_2_1_68_1","unstructured":"Texas Instruments Inc.[n.d.]. MSP-EXP430FR5969 Launchpad. Retrieved April 13 2018 from http:\/\/www.ti.com\/tool\/MSP-EXP430FR5969.  Texas Instruments Inc.[n.d.]. MSP-EXP430FR5969 Launchpad. Retrieved April 13 2018 from http:\/\/www.ti.com\/tool\/MSP-EXP430FR5969."},{"key":"e_1_2_1_69_1","volume-title":"Retrieved","author":"Texas Instruments Inc.","year":"2014"},{"key":"e_1_2_1_70_1","doi-asserted-by":"publisher","DOI":"10.1109\/TBCAS.2012.2222881"},{"key":"e_1_2_1_71_1","volume-title":"Retrieved","author":"TI Inc.","year":"2017"},{"key":"e_1_2_1_72_1","volume-title":"Retrieved","author":"TI Inc.","year":"2018"},{"key":"e_1_2_1_73_1","volume-title":"Proceedings of the USENIX Symposium on Operating Systems Design and Implementation (OSDI\u201916)","author":"Der Woude Joel Van","year":"2016"},{"key":"e_1_2_1_74_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2013.2250891"},{"key":"e_1_2_1_75_1","doi-asserted-by":"publisher","DOI":"10.1145\/3274783.3274837"},{"key":"e_1_2_1_76_1","volume-title":"Moo: A Batteryless Computational RFID and Sensing Platform. Technical Report UM-CS-2011-020. UMass Amherst.","author":"Zhang Hong","year":"2011"},{"key":"e_1_2_1_77_1","doi-asserted-by":"publisher","DOI":"10.1109\/RFID.2015.7113089"}],"container-title":["ACM Transactions on Sensor Networks"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3360285","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3360285","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T23:44:32Z","timestamp":1750203872000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3360285"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,2,4]]},"references-count":77,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2020,2,29]]}},"alternative-id":["10.1145\/3360285"],"URL":"https:\/\/doi.org\/10.1145\/3360285","relation":{},"ISSN":["1550-4859","1550-4867"],"issn-type":[{"value":"1550-4859","type":"print"},{"value":"1550-4867","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020,2,4]]},"assertion":[{"value":"2019-01-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2019-09-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2020-02-04","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}