{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,1]],"date-time":"2026-06-01T13:02:01Z","timestamp":1780318921331,"version":"3.54.1"},"publisher-location":"New York, NY, USA","reference-count":62,"publisher":"ACM","license":[{"start":{"date-parts":[[2025,5,6]],"date-time":"2025-05-06T00:00:00Z","timestamp":1746489600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"name":"HEC-NRPU","award":["20-15968\/NRPU\/R&D\/HEC\/2021-2020"],"award-info":[{"award-number":["20-15968\/NRPU\/R&D\/HEC\/2021-2020"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2025,5,6]]},"DOI":"10.1145\/3715014.3722056","type":"proceedings-article","created":{"date-parts":[[2025,5,4]],"date-time":"2025-05-04T23:37:21Z","timestamp":1746401841000},"page":"71-87","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["CheckMate: LLM-Powered Approximate Intermittent Computing"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0005-7748-620X","authenticated-orcid":false,"given":"Abdur-rahman Ibrahim","family":"Sayyid-Ali","sequence":"first","affiliation":[{"name":"Lahore University of Management Sciences, Lahore, Pakistan"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0003-5524-4010","authenticated-orcid":false,"given":"Abdul","family":"Rafay","sequence":"additional","affiliation":[{"name":"Lahore University of Management Sciences, Lahore, Pakistan"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0006-1751-4552","authenticated-orcid":false,"given":"Muhammad Abdullah","family":"Soomro","sequence":"additional","affiliation":[{"name":"Lahore University of Management Sciences, Lahore, Pakistan"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3112-0374","authenticated-orcid":false,"given":"Muhammad Hamad","family":"Alizai","sequence":"additional","affiliation":[{"name":"Lahore University of Management Sciences, Lahore, Pakistan"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4115-9889","authenticated-orcid":false,"given":"Naveed Anwar","family":"Bhatti","sequence":"additional","affiliation":[{"name":"Lahore University of Management Sciences, Lahore, Pakistan"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2025,5,6]]},"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","doi-asserted-by":"publisher","DOI":"10.1145\/3316482.3326357"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.sysarc.2021.102013"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/3624718"},{"key":"e_1_3_2_1_5_1","volume-title":"Proceedings of the 22nd International Conference on Information Processing in Sensor Networks. 316--317","author":"Alharbi Jawaher","year":"2023","unstructured":"Jawaher Alharbi and Arshad Jhumka. 2023. Checkpointing in Transiently Powered IoT Networks. In Proceedings of the 22nd International Conference on Information Processing in Sensor Networks. 316--317."},{"key":"e_1_3_2_1_6_1","volume-title":"To Checkpoint or Not to Checkpoint: That is the Question (EWSN)","author":"Alharbi Jawaher","unstructured":"Jawaher Alharbi, Arshad Jhumka, and Daniele Palossi. 2023. To Checkpoint or Not to Checkpoint: That is the Question (EWSN). ACM, New York, NY, USA, 124--131."},{"key":"e_1_3_2_1_7_1","unstructured":"Anthropic. [n. d.]. Claude 3.5: Introducing a New Era of AI Assistance. https:\/\/www.anthropic.com\/news\/claude-3-5-sonnet. Accessed: 2024-11-07."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2018.2877523"},{"key":"e_1_3_2_1_9_1","unstructured":"Brendan Ashworth. 2019. Fast Fourier Transform. https:\/\/github.com\/brendanashworth\/fft-small."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/IPSN54338.2022.00044"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/3666025.3699364"},{"key":"e_1_3_2_1_12_1","unstructured":"Batronix. 2024. Rigol DG1022 Waveform Generator. https:\/\/www.batronix.com\/shop\/waveform-generator\/Rigol-DG1022.html. Accessed: 2024-11-12."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.5555\/2893711.2893731"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/3055031.3055082"},{"key":"e_1_3_2_1_15_1","unstructured":"Harrison Chase. 2024. LangChain Documentation. https:\/\/www.langchain.com\/. Accessed: 2024-06-28."},{"key":"e_1_3_2_1_16_1","unstructured":"Mark Chen Jerry Tworek Heewoo Jun Qiming Yuan Henrique Pond\u00e9 de Oliveira Pinto Jared Kaplan Harri Edwards Yuri Burda Nicholas Joseph Greg Brockman Alex Ray Raul Puri Gretchen Krueger Michael Petrov Heidy Khlaaf Girish Sastry Pamela Mishkin Brooke Chan Scott Gray Nick Ryder Mikhail Pavlov Alethea Power Lukasz Kaiser Mohammad Bavarian Clemens Winter Philippe Tillet Felipe Petroski Such Dave Cummings Matthias Plappert Fotios Chantzis Elizabeth Barnes Ariel Herbert-Voss William Hebgen Guss Alex Nichol Alex Paino Nikolas Tezak Jie Tang Igor Babuschkin Suchir Balaji Shantanu Jain William Saunders Christopher Hesse Andrew N. Carr Jan Leike Joshua Achiam Vedant Misra Evan Morikawa Alec Radford Matthew Knight Miles Brundage Mira Murati Katie Mayer Peter Welinder Bob McGrew Dario Amodei Sam McCandlish Ilya Sutskever and Wojciech Zaremba. 2021. Evaluating Large Language Models Trained on Code. CoRR abs\/2107.03374 (2021). arXiv:2107.03374 https:\/\/arxiv.org\/abs\/2107.03374"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/2983990.2983995"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/3173162.3173210"},{"key":"e_1_3_2_1_19_1","unstructured":"DeepSeek-AI. 2024. DeepSeek-V2: A Strong Economical and Efficient Mixture-of-Experts Language Model. arXiv:2405.04434 [cs.CL]"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-63092-8_60"},{"key":"e_1_3_2_1_21_1","volume-title":"Poster Abstract: MSPsim-an Extensible Simulator for MSP430-equipped Sensor Boards. (01","author":"Eriksson Joakim","year":"2007","unstructured":"Joakim Eriksson and et al. 2007. Poster Abstract: MSPsim-an Extensible Simulator for MSP430-equipped Sensor Boards. (01 2007)."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/HPCA.2019.00039"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/CCNC49033.2022.9700665"},{"key":"e_1_3_2_1_24_1","volume-title":"unknown. Egypt - Create Call Graph from GCC RTL Dump. https:\/\/www.gson.org\/egypt\/egypt.html. Retrieved","author":"Gustafsson Andreas","year":"2024","unstructured":"Andreas Gustafsson. unknown. Egypt - Create Call Graph from GCC RTL Dump. https:\/\/www.gson.org\/egypt\/egypt.html. Retrieved June 23, 2024."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/WWC.2001.990739"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","unstructured":"Tim Head MechCoder Gilles Louppe et al. 2018. scikit-optimize\/scikit-optimize: v0.5.2. 10.5281\/zenodo.1207017","DOI":"10.5281\/zenodo.1207017"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/3131672.3131674"},{"key":"e_1_3_2_1_28_1","unstructured":"Texas Instruments. [n. d.]. MSP430 MCUs - Ultra-low-power microcontrollers for embedded development. https:\/\/www.ti.com\/design-development\/embedded-development\/msp430-mcus.html. Accessed: 2024-11-07."},{"key":"e_1_3_2_1_29_1","volume-title":"Zygarde: Time-sensitive on-device deep inference and adaptation on intermittently-powered systems. arXiv preprint arXiv:1905.03854","author":"Islam Bashima","year":"2019","unstructured":"Bashima Islam and Shahriar Nirjon. 2019. Zygarde: Time-sensitive on-device deep inference and adaptation on intermittently-powered systems. arXiv preprint arXiv:1905.03854 (2019)."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.sysarc.2023.102850"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/2700249"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/3581791.3596845"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.sysarc.2022.102743"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1007\/s42979-022-01165-2"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1109\/4.996"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/2749469.2750371"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1109\/DAC56929.2023.10247825"},{"key":"e_1_3_2_1_39_1","unstructured":"Brandon Lucia Vignesh Balaji Alexei Colin et al. 2017. Intermittent computing: Challenges and opportunities. 2nd Summit on Advances in Programming Languages (SNAPL 2017) (2017)."},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/3133920"},{"key":"e_1_3_2_1_41_1","volume-title":"13th USENIX Symposium on Operating Systems Design and Implementation (OSDI 18)","author":"Maeng Kiwan","year":"2018","unstructured":"Kiwan Maeng and Brandon Lucia. 2018. Adaptive dynamic checkpointing for safe efficient intermittent computing. In 13th USENIX Symposium on Operating Systems Design and Implementation (OSDI 18). 129--144."},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/3485730.3485949"},{"key":"e_1_3_2_1_43_1","unstructured":"Microsoft. 2024. Language Server Protocol Documentation. https:\/\/microsoft.github.io\/language-server-protocol\/. Accessed: 2024-06-28."},{"key":"e_1_3_2_1_44_1","volume-title":"Enabling Memory Safety of C Programs using LLMs. arXiv preprint arXiv:2404.01096","author":"Mohammed Nausheen","year":"2024","unstructured":"Nausheen Mohammed, Akash Lal, Aseem Rastogi, Subhajit Roy, and Rahul Sharma. 2024. Enabling Memory Safety of C Programs using LLMs. arXiv preprint arXiv:2404.01096 (2024)."},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.softx.2022.101089"},{"key":"e_1_3_2_1_46_1","unstructured":"OpenAI. 2024. OpenAI Platform Documentation: GPT-4 Turbo and GPT-4. https:\/\/platform.openai.com\/docs\/models\/gpt-4-turbo-and-gpt-4. Accessed: 2024-06-28."},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1109\/SC41404.2022.00072"},{"key":"e_1_3_2_1_48_1","unstructured":"DRAGOS -S TEFAN PERJU. 2019. Applying Memoization as an Approximate Computing Method for Transiently Powered Systems. (2019)."},{"key":"e_1_3_2_1_49_1","unstructured":"PyVISA Contributors. 2024. PyVISA Documentation. https:\/\/pyvisa.readthedocs.io\/en\/latest\/. Accessed: 2024-11-12."},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICESC54411.2022.9885429"},{"key":"e_1_3_2_1_51_1","unstructured":"Benjamin Ransford. [n. d.]. Mspsim\/traces at mementos\u00b7 Ransford\/mspsim. https:\/\/github.com\/ransford\/mspsim\/tree\/mementos\/traces"},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","unstructured":"Benjamin Ransford and et al. 2011. Mementos: system support for long-running computation on RFID-scale devices. In ASPLOS (California USA). New York NY USA 159--170. 10.1145\/1950365.1950386","DOI":"10.1145\/1950365.1950386"},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1109\/JIOT.2022.3140465"},{"key":"e_1_3_2_1_54_1","unstructured":"Renode. [n. d.]. Renode\/Renode: Renode - Antmicro's open source simulation and Virtual Development Framework for complex embedded systems. https:\/\/github.com\/renode\/renode"},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1109\/MICRO56248.2022.00034"},{"key":"e_1_3_2_1_57_1","unstructured":"Nicholas D Sanders Richard M Everson Jonathan E Fieldsend and Alma AM Rahat. 2019. Bayesian search for robust optima. arXiv preprint arXiv:1904.11416."},{"key":"e_1_3_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAP.2020.3037659"},{"key":"e_1_3_2_1_59_1","doi-asserted-by":"publisher","DOI":"10.1145\/3316781.3317812"},{"key":"e_1_3_2_1_60_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISPASS48437.2020.00046"},{"key":"e_1_3_2_1_61_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.mfglet.2020.12.004"},{"key":"e_1_3_2_1_62_1","volume-title":"RPL: IPv6 Routing Protocol for Low-Power and Lossy Networks. RFC 6550, https:\/\/datatracker.ietf.org\/doc\/html\/rfc6550. Accessed: 2024-11-07.","author":"Winter T.","year":"2012","unstructured":"T. Winter, P. Thubert, A. Brandt, J. Hui, R. Kelsey, P. Levis, K. Pister, R. Struik, J. Vasseur, and R. Alexander. 2012. RPL: IPv6 Routing Protocol for Low-Power and Lossy Networks. RFC 6550, https:\/\/datatracker.ietf.org\/doc\/html\/rfc6550. Accessed: 2024-11-07."},{"key":"e_1_3_2_1_63_1","doi-asserted-by":"publisher","DOI":"10.1145\/3607918"},{"key":"e_1_3_2_1_64_1","doi-asserted-by":"publisher","DOI":"10.1145\/3274783.3274837"}],"event":{"name":"SenSys '25: 23rd ACM Conference on Embedded Networked Sensor Systems","location":"UC Irvine Student Center. Irvine CA USA","acronym":"SenSys '25","sponsor":["SIGARCH ACM Special Interest Group on Computer Architecture","SIGMETRICS ACM Special Interest Group on Measurement and Evaluation","SIGOPS ACM Special Interest Group on Operating Systems","SIGMOBILE ACM Special Interest Group on Mobility of Systems, Users, Data and Computing","SIGBED ACM Special Interest Group on Embedded Systems"]},"container-title":["Proceedings of the 23rd ACM Conference on Embedded Networked Sensor Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3715014.3722056","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T01:17:57Z","timestamp":1750295877000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3715014.3722056"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,5,6]]},"references-count":62,"alternative-id":["10.1145\/3715014.3722056","10.1145\/3715014"],"URL":"https:\/\/doi.org\/10.1145\/3715014.3722056","relation":{},"subject":[],"published":{"date-parts":[[2025,5,6]]},"assertion":[{"value":"2025-05-06","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}