{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,18]],"date-time":"2026-06-18T15:44:14Z","timestamp":1781797454979,"version":"3.54.5"},"publisher-location":"New York, NY, USA","reference-count":45,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,6,23]],"date-time":"2019-06-23T00:00:00Z","timestamp":1561248000000},"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":[[2019,6,23]]},"DOI":"10.1145\/3316482.3326357","type":"proceedings-article","created":{"date-parts":[[2019,6,7]],"date-time":"2019-06-07T21:02:18Z","timestamp":1559941338000},"page":"70-81","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":53,"title":["Efficient intermittent computing with differential checkpointing"],"prefix":"10.1145","author":[{"given":"Saad","family":"Ahmed","sequence":"first","affiliation":[{"name":"Lahore University of Management Sciences, Pakistan"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Naveed Anwar","family":"Bhatti","sequence":"additional","affiliation":[{"name":"RISE SICS, Sweden"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Muhammad Hamad","family":"Alizai","sequence":"additional","affiliation":[{"name":"Lahore University of Management Sciences, Pakistan"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Junaid Haroon","family":"Siddiqui","sequence":"additional","affiliation":[{"name":"Lahore University of Management Sciences, Pakistan"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Luca","family":"Mottola","sequence":"additional","affiliation":[{"name":"Politecnico di Milano, Italy \/ RISE SICS, Sweden"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2019,6,23]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"9th International Symposium on Reconfigurable and Communication-Centric Systems-on-Chip.","author":"Aouda Faycal Ait","year":"2014"},{"key":"e_1_3_2_1_2_1","unstructured":"ARDUINO. 2018. NANO. https:\/\/store.arduino.cc\/usa\/arduino-nano (accessed 2018-02-28).  ARDUINO. 2018. NANO. https:\/\/store.arduino.cc\/usa\/arduino-nano (accessed 2018-02-28)."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISWPC.2007.342668"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"crossref","unstructured":"Domenico Balsamo Alex S Weddell Anup Das Alberto Rodriguez Arreola Davide Brunelli Bashir M Al-Hashimi Geoff V Merrett and Luca Benini. 2016. Hibernus++: a self-calibrating and adaptive system for transiently-powered embedded devices. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (2016).  Domenico Balsamo Alex S Weddell Anup Das Alberto Rodriguez Arreola Davide Brunelli Bashir M Al-Hashimi Geoff V Merrett and Luca Benini. 2016. Hibernus++: a self-calibrating and adaptive system for transiently-powered embedded devices. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (2016).","DOI":"10.1109\/TCAD.2016.2547919"},{"key":"e_1_3_2_1_5_1","volume-title":"Hibernus: Sustaining computation during intermittent supply for energy-harvesting systems","author":"Balsamo Domenico","year":"2015"},{"key":"e_1_3_2_1_6_1","volume-title":"Proceedings of the International Conference on Embedded Wireless Systems and Networks.","author":"Bhatti Naveed","year":"2016"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/2915918"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/3055031.3055082"},{"key":"e_1_3_2_1_9_1","volume-title":"Proceedings of the 8th USENIX Symposium on Networked Systems Design and Implementation.","author":"Buettner Michael","year":"2011"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/2983990.2983995"},{"key":"e_1_3_2_1_11_1","unstructured":"Canan Dagdeviren Pauline Joe Ozlem L Tuzman Kwi-Il Park Keon Jae Lee Yan Shi Yonggang Huang and John A Rogers. 2016. Recent energy harvesting sensing and actuation. Extreme Mechanics Letters (2016).  Canan Dagdeviren Pauline Joe Ozlem L Tuzman Kwi-Il Park Keon Jae Lee Yan Shi Yonggang Huang and John A Rogers. 2016. Recent energy harvesting sensing and actuation. Extreme Mechanics Letters (2016)."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2016.2519890"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/ECBS.2007.74"},{"key":"e_1_3_2_1_14_1","unstructured":"Abstract Research Group. 2018. Benchmark Applications. www.github. com\/CMUAbstract\/releases#benchmark-applications (accessed 2018-02-28).  Abstract Research Group. 2018. Benchmark Applications. www.github. com\/CMUAbstract\/releases#benchmark-applications (accessed 2018-02-28)."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/2809695.2809707"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/3131672.3131674"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/3079856.3080238"},{"key":"e_1_3_2_1_18_1","unstructured":"Texas Instruments. 2013. MSP430 Solar Energy Harvesting Development Tool. http:\/\/www.ti.com\/tool\/EZ430-RF2500-SEH (accessed 2018-08-03).  Texas Instruments. 2013. MSP430 Solar Energy Harvesting Development Tool. http:\/\/www.ti.com\/tool\/EZ430-RF2500-SEH (accessed 2018-08-03)."},{"key":"e_1_3_2_1_19_1","volume-title":"RPL: The Routing Standard for the Internet of Things... Or Is It? IEEE Communications Magazine","author":"Iova Oana","year":"2016"},{"key":"e_1_3_2_1_20_1","unstructured":"Hrishikesh Jayakumar Arnab Raha Woo Suk Lee and Vijay Raghunathan. 2015. Quick Recall: A HW\/SW Approach for Computing across Power Cycles in Transiently Powered Computers. ACM Journal on Emerging Technologies in Computing Systems (2015).  Hrishikesh Jayakumar Arnab Raha Woo Suk Lee and Vijay Raghunathan. 2015. Quick Recall: A HW\/SW Approach for Computing across Power Cycles in Transiently Powered Computers. ACM Journal on Emerging Technologies in Computing Systems (2015)."},{"key":"e_1_3_2_1_21_1","volume-title":"Proceedings of ACM Fall Joint Computer Conference.","author":"Koo Richard","year":"1986"},{"key":"e_1_3_2_1_22_1","unstructured":"P. Koopman. 2010. Better Embedded System Software. CMU Press.  P. Koopman. 2010. Better Embedded System Software. CMU Press."},{"key":"e_1_3_2_1_23_1","unstructured":"PERSIST Lab. 2018. RF Trace. https:\/\/github.com\/PERSISTLab\/ BatterylessSim\/tree\/master\/traces (accessed 2018-02-28).  PERSIST Lab. 2018. RF Trace. https:\/\/github.com\/PERSISTLab\/ BatterylessSim\/tree\/master\/traces (accessed 2018-02-28)."},{"key":"e_1_3_2_1_24_1","unstructured":"Libelium. 2017. Waspmote. http:\/\/www.libelium.com\/products\/ waspmote\/hardware\/ (accessed 2018-08-06).  Libelium. 2017. Waspmote. http:\/\/www.libelium.com\/products\/ waspmote\/hardware\/ (accessed 2018-08-06)."},{"key":"e_1_3_2_1_25_1","volume-title":"Intermittent Computing: Challenges and Opportunities. In Leibniz International Proceedings in Informatics.","author":"Lucia Brandon","year":"2017"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/2737924.2737978"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/3142992.3142998"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/3133920"},{"key":"e_1_3_2_1_29_1","volume-title":"ACM\/IEEE International Conference on Information Processing in Sensor Networks.","author":"Mihic Kresimir","year":"2007"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISCA.2005.16"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"crossref","first-page":"313","DOI":"10.1145\/178243.178477","article-title":"Optimal tracing and incremental reexecution for debugging long-running programs","volume":"94","author":"Netzer Robert HB","year":"1994","journal-title":"PLDI"},{"key":"e_1_3_2_1_32_1","volume-title":"Pervasive Computing and Communications Workshops.","author":"Nguyen Hoang Anh","year":"2011"},{"key":"e_1_3_2_1_33_1","volume-title":"Data Sheet: X-NUCLEO-NFC02A1. https:\/\/www.st.com\/resource\/en\/data_brief\/ x-nucleo-nfc02a1.pdf (accessed 2018-08-06).","author":"Expansion","year":"2017"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/1952682.1952694"},{"key":"e_1_3_2_1_35_1","unstructured":"Terence Parr. 2013. The Definitive ANTLR 4 Reference. goo.gl\/RR1s .   Terence Parr. 2013. The Definitive ANTLR 4 Reference. goo.gl\/RR1s ."},{"key":"e_1_3_2_1_36_1","volume-title":"Proceedings of the USENIX Technical Conference.","author":"Plank James S.","year":"1995"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/356725.356729"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/1950365.1950386"},{"key":"e_1_3_2_1_39_1","unstructured":"B. Ransford. 2013. Transiently Powered Computers. Ph.D. Dissertation. School of Computer Science UMass Amherst.  B. Ransford. 2013. Transiently Powered Computers. Ph.D. Dissertation. School of Computer Science UMass Amherst."},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1007\/11853565_29"},{"key":"e_1_3_2_1_41_1","volume-title":"USENIX Annual Technical Conference.","author":"Smith Rebecca","year":"2015"},{"key":"e_1_3_2_1_42_1","unstructured":"IXYS SolarMD. 2018. SLMD481H08L. http:\/\/ixapps.ixys.com\/ (accessed 2018-02-28).  IXYS SolarMD. 2018. SLMD481H08L. http:\/\/ixapps.ixys.com\/ (accessed 2018-02-28)."},{"key":"e_1_3_2_1_43_1","volume-title":"Proceedings of the 12th USENIX Conference on Operating Systems Design and Implementation.","author":"Der Woude Joel Van","year":"2016"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"crossref","unstructured":"Guang Yang Bernard H Stark Simon J Hollis and Steve G Burrow. 2014. Challenges for Energy Harvesting Systems Under Intermittent Excitation. IEEE Journal on Emerging and Selected Topics in Circuits and Systems (2014).  Guang Yang Bernard H Stark Simon J Hollis and Steve G Burrow. 2014. Challenges for Energy Harvesting Systems Under Intermittent Excitation. IEEE Journal on Emerging and Selected Topics in Circuits and Systems (2014).","DOI":"10.1109\/JETCAS.2014.2337172"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/1322263.1322282"}],"event":{"name":"LCTES '19: 20th ACM SIGPLAN\/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems","location":"Phoenix AZ USA","acronym":"LCTES '19","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGBED ACM Special Interest Group on Embedded Systems"]},"container-title":["Proceedings of the 20th ACM SIGPLAN\/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3316482.3326357","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3316482.3326357","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T23:53:16Z","timestamp":1750204396000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3316482.3326357"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,6,23]]},"references-count":45,"alternative-id":["10.1145\/3316482.3326357","10.1145\/3316482"],"URL":"https:\/\/doi.org\/10.1145\/3316482.3326357","relation":{},"subject":[],"published":{"date-parts":[[2019,6,23]]},"assertion":[{"value":"2019-06-23","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}