{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,4]],"date-time":"2025-12-04T10:02:33Z","timestamp":1764842553833,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":52,"publisher":"ACM","license":[{"start":{"date-parts":[[2021,11,15]],"date-time":"2021-11-15T00:00:00Z","timestamp":1636934400000},"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":[[2021,11,15]]},"DOI":"10.1145\/3485730.3485949","type":"proceedings-article","created":{"date-parts":[[2021,11,11]],"date-time":"2021-11-11T11:41:43Z","timestamp":1636630903000},"page":"261-273","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":14,"title":["ALFRED"],"prefix":"10.1145","author":[{"given":"Andrea","family":"Maioli","sequence":"first","affiliation":[{"name":"Politecnico di Milano, Italy"}]},{"given":"Luca","family":"Mottola","sequence":"additional","affiliation":[{"name":"Politecnico di Milano, Italy and RI.SE Computer Science and Uppsala University, Sweden"}]}],"member":"320","published-online":{"date-parts":[[2021,11,15]]},"reference":[{"volume-title":"Proceedings of the 18th Conference on Embedded Networked Sensor Systems (SenSys '20)","author":"Afanasov M.","key":"e_1_3_2_1_1_1","unstructured":"M. Afanasov , N. A. Bhatti , D. Campagna , G. Caslini , F. M. Centonze , K. Dolui , A. Maioli , E. Barone , M. H. Alizai , J. H. Siddiqui , and L. Mottola . 2020. Battery-Less Zero-Maintenance Embedded Sensing at the Mithr\u00e6um of Circus Maximus . In Proceedings of the 18th Conference on Embedded Networked Sensor Systems (SenSys '20) . M. Afanasov, N. A. Bhatti, D. Campagna, G. Caslini, F. M. Centonze, K. Dolui, A. Maioli, E. Barone, M. H. Alizai, J. H. Siddiqui, and L. Mottola. 2020. Battery-Less Zero-Maintenance Embedded Sensing at the Mithr\u00e6um of Circus Maximus. In Proceedings of the 18th Conference on Embedded Networked Sensor Systems (SenSys '20)."},{"volume-title":"Proceedings of the 20th ACM SIGPLAN\/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES).","author":"Ahmed S.","key":"e_1_3_2_1_2_1","unstructured":"S. Ahmed , A. Bakar , N. A. Bhatti , M. H. Alizai , J. H. Siddiqui , and L. Mottola . 2019. The Betrayal of Constant Power xc Time: Finding the Missing Joules of Transiently-powered Computers . In Proceedings of the 20th ACM SIGPLAN\/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES). S. Ahmed, A. Bakar, N. A. Bhatti, M. H. Alizai, J. H. Siddiqui, and L. Mottola. 2019. The Betrayal of Constant Power xc Time: Finding the Missing Joules of Transiently-powered Computers. In Proceedings of the 20th ACM SIGPLAN\/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES)."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/3316482.3326357"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.126773"},{"key":"e_1_3_2_1_5_1","volume":"197","author":"Anderson J. A.","unstructured":"J. A. Anderson and G. J. Lipovski. 197 4. A Virtual Memory for Microprocessors. In Proceedings of the 2nd Annual Symposium on Computer Architecture (ISCA '75). J. A. Anderson and G. J. Lipovski. 1974. A Virtual Memory for Microprocessors. In Proceedings of the 2nd Annual Symposium on Computer Architecture (ISCA '75).","journal-title":"J. Lipovski."},{"key":"e_1_3_2_1_6_1","volume-title":"RESTOP: Retaining External Peripheral State in Intermittently-Powered Sensor Systems. Sensors","author":"Arreola A. R.","year":"2018","unstructured":"A. R. Arreola , D. Balsamo , G. V. Merrett , and A. S. Weddell . 2018 . RESTOP: Retaining External Peripheral State in Intermittently-Powered Sensor Systems. Sensors (2018). A. R. Arreola, D. Balsamo, G. V. Merrett, and A. S. Weddell. 2018. RESTOP: Retaining External Peripheral State in Intermittently-Powered Sensor Systems. Sensors (2018)."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"crossref","unstructured":"D. Balsamo A. S. Weddell A. Das A. R. Arreola D. Brunelli B. M. Al-Hashimi G. V. Merrett and L. 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).  D. Balsamo A. S. Weddell A. Das A. R. Arreola D. Brunelli B. M. Al-Hashimi G. V. Merrett and L. 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_8_1","volume-title":"Hibernus: Sustaining Computation During Intermittent Supply for Energy-Harvesting Systems","author":"Balsamo D.","year":"2015","unstructured":"D. Balsamo , A. S. Weddell , G. V. Merrett , B. M. Al-Hashimi , D. Brunelli , and L. Benini . 2015 . Hibernus: Sustaining Computation During Intermittent Supply for Energy-Harvesting Systems . IEEE Embedded Systems Letters ( 2015). D. Balsamo, A. S. Weddell, G. V. Merrett, B. M. Al-Hashimi, D. Brunelli, and L. Benini. 2015. Hibernus: Sustaining Computation During Intermittent Supply for Energy-Harvesting Systems. IEEE Embedded Systems Letters (2015)."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"crossref","unstructured":"G. Berthou T. Delizy K. Marquet T. Risset and G. Salagnac. 2018. Sytare: a Lightweight Kernel for NVRAM-Based Transiently-Powered Systems. IEEE Trans. Comput. (2018).  G. Berthou T. Delizy K. Marquet T. Risset and G. Salagnac. 2018. Sytare: a Lightweight Kernel for NVRAM-Based Transiently-Powered Systems. IEEE Trans. Comput. (2018).","DOI":"10.1109\/TC.2018.2889080"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"crossref","unstructured":"N. A. Bhatti M. H. Alizai A. A. Syed and L. Mottola. 2016. Energy Harvesting and Wireless Transfer in Sensor Network Applications: Concepts and Experiences. ACM Transactions on Sensor Networks (2016).  N. A. Bhatti M. H. Alizai A. A. Syed and L. Mottola. 2016. Energy Harvesting and Wireless Transfer in Sensor Network Applications: Concepts and Experiences. ACM Transactions on Sensor Networks (2016).","DOI":"10.1145\/2915918"},{"volume-title":"Proceedings of the 16th ACM\/IEEE International Conference on Information Processing in Sensor Networks (IPSN).","author":"Bhatti N. A.","key":"e_1_3_2_1_11_1","unstructured":"N. A. Bhatti and L. Mottola . 2017. HarvOS: Efficient Code Instrumentation for Transiently-powered Embedded Sensing . In Proceedings of the 16th ACM\/IEEE International Conference on Information Processing in Sensor Networks (IPSN). N. A. Bhatti and L. Mottola. 2017. HarvOS: Efficient Code Instrumentation for Transiently-powered Embedded Sensing. In Proceedings of the 16th ACM\/IEEE International Conference on Information Processing in Sensor Networks (IPSN)."},{"volume-title":"Proceedings of the 17th Conference on Embedded Networked Sensor Systems (SENSYS).","author":"Branco A.","key":"e_1_3_2_1_12_1","unstructured":"A. Branco , L. Mottola , M. H. Alizai , and J. H. Siddiqui . 2019. Intermittent Asynchronous Peripheral Operations . In Proceedings of the 17th Conference on Embedded Networked Sensor Systems (SENSYS). A. Branco, L. Mottola, M. H. Alizai, and J. H. Siddiqui. 2019. Intermittent Asynchronous Peripheral Operations. In Proceedings of the 17th Conference on Embedded Networked Sensor Systems (SENSYS)."},{"key":"e_1_3_2_1_13_1","volume-title":"Water: A Self-Sustained Wireless Water Quality Sensing System. ACM Transactions on Embedded Computing Systems","author":"Chen Q.","year":"2017","unstructured":"Q. Chen , Y. Liu , G. Liu , Q. Yang , X. Shi , H. Gao , L. Su , and Q. Li . 2017 . Harvest Energy from the Water: A Self-Sustained Wireless Water Quality Sensing System. ACM Transactions on Embedded Computing Systems (2017). Q. Chen, Y. Liu, G. Liu, Q. Yang, X. Shi, H. Gao, L. Su, and Q. Li. 2017. Harvest Energy from the Water: A Self-Sustained Wireless Water Quality Sensing System. ACM Transactions on Embedded Computing Systems (2017)."},{"volume-title":"Proceedings of the 20th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL '93)","author":"Choi J.","key":"e_1_3_2_1_14_1","unstructured":"J. Choi , M. Burke , and P. Carini . 1993. Efficient Flow-Sensitive Interprocedural Computation of Pointer-Induced Aliases and Side Effects . In Proceedings of the 20th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL '93) . J. Choi, M. Burke, and P. Carini. 1993. Efficient Flow-Sensitive Interprocedural Computation of Pointer-Induced Aliases and Side Effects. In Proceedings of the 20th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL '93)."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"crossref","unstructured":"A. Colin G. Harvey B. Lucia and A. P. Sample. 2016. An Energy-interference-free Hardware-Software Debugger for Intermittent Energy-harvesting Systems. SIGOPS Operating Systems Review (2016).  A. Colin G. Harvey B. Lucia and A. P. Sample. 2016. An Energy-interference-free Hardware-Software Debugger for Intermittent Energy-harvesting Systems. SIGOPS Operating Systems Review (2016).","DOI":"10.1145\/2872362.2872409"},{"volume-title":"Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA).","author":"Colin A.","key":"e_1_3_2_1_16_1","unstructured":"A. Colin and B. Lucia . 2016. Chain: Tasks and Channels for Reliable Intermittent Programs . In Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA). A. Colin and B. Lucia. 2016. Chain: Tasks and Channels for Reliable Intermittent Programs. In Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA)."},{"key":"e_1_3_2_1_17_1","volume-title":"Proceedings of the 27th International Conference on Compiler Construction (CC","author":"Colin A.","year":"2018","unstructured":"A. Colin and B. Lucia . 2018. Termination Checking and Task Decomposition for Task-based Intermittent Programs . In Proceedings of the 27th International Conference on Compiler Construction (CC 2018 ). A. Colin and B. Lucia. 2018. Termination Checking and Task Decomposition for Task-based Intermittent Programs. In Proceedings of the 27th International Conference on Compiler Construction (CC 2018)."},{"key":"e_1_3_2_1_18_1","volume-title":"Cetus: A Source-to-Source Compiler Infrastructure for Multicores. Computer","author":"Dave C.","year":"2009","unstructured":"C. Dave , H. Bae , S. Min , S. Lee , R. Eigenmann , and S. Midkiff . 2009 . Cetus: A Source-to-Source Compiler Infrastructure for Multicores. Computer (2009). C. Dave, H. Bae, S. Min, S. Lee, R. Eigenmann, and S. Midkiff. 2009. Cetus: A Source-to-Source Compiler Infrastructure for Multicores. Computer (2009)."},{"key":"e_1_3_2_1_19_1","volume":"197","author":"P.","unstructured":"P. J. Denning. 197 0. Virtual Memory. Comput. Surveys (1970). P. J. Denning. 1970. Virtual Memory. Comput. Surveys (1970).","journal-title":"J. Denning."},{"volume-title":"Proceedings of the 5th Conference on Systems for Built Environments (BUILDSYS).","author":"Fraternali F.","key":"e_1_3_2_1_20_1","unstructured":"F. Fraternali , B. Balaji , Y. Agarwal , L. Benini , and R. Gupta . 2018. Pible: Battery-Free Mote for Perpetual Indoor BLE Applications . In Proceedings of the 5th Conference on Systems for Built Environments (BUILDSYS). F. Fraternali, B. Balaji, Y. Agarwal, L. Benini, and R. Gupta. 2018. Pible: Battery-Free Mote for Perpetual Indoor BLE Applications. In Proceedings of the 5th Conference on Systems for Built Environments (BUILDSYS)."},{"key":"e_1_3_2_1_21_1","volume":"201","author":"Furlong M.","unstructured":"M. Furlong , J. Hester , K. Storer , and J. Sorber. 201 6. Realistic Simulation for Tiny Batteryless Sensors. In Proceedings of the 4th International Workshop on Energy Harvesting and Energy-Neutral Sensing Systems (ENSsys'16). M. Furlong, J. Hester, K. Storer, and J. Sorber. 2016. Realistic Simulation for Tiny Batteryless Sensors. In Proceedings of the 4th International Workshop on Energy Harvesting and Energy-Neutral Sensing Systems (ENSsys'16).","journal-title":"J. Sorber."},{"key":"e_1_3_2_1_22_1","volume":"201","author":"Hester J.","unstructured":"J. Hester , T. Scott , and J. Sorber. 201 4. Ekho: Realistic and Repeatable Experimentation for Tiny Energy-harvesting Sensors. In Proceedings of the 12th ACM Conference on Embedded Network Sensor Systems (SenSys '14). J. Hester, T. Scott, and J. Sorber. 2014. Ekho: Realistic and Repeatable Experimentation for Tiny Energy-harvesting Sensors. In Proceedings of the 12th ACM Conference on Embedded Network Sensor Systems (SenSys '14).","journal-title":"J. Sorber."},{"key":"e_1_3_2_1_23_1","volume":"201","author":"Hester J.","unstructured":"J. Hester and J. Sorber. 201 7. The Future of Sensing is Batteryless, Intermittent, and Awesome. In Proceedings of the 15th ACM Conference on Embedded Network Sensor Systems (SENSYS). J. Hester and J. Sorber. 2017. The Future of Sensing is Batteryless, Intermittent, and Awesome. In Proceedings of the 15th ACM Conference on Embedded Network Sensor Systems (SENSYS).","journal-title":"J. Sorber."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/3131672.3131673"},{"key":"e_1_3_2_1_25_1","volume-title":"Oct 15th","author":"Hicks M.","year":"2021","unstructured":"M. Hicks . 2016 (last access : Oct 15th , 2021 ). MiBench2 porting to IoT de vices. https:\/\/github.com\/impedimentToProgress\/MiBench2. M. Hicks. 2016 (last access: Oct 15th, 2021). MiBench2 porting to IoT devices. https:\/\/github.com\/impedimentToProgress\/MiBench2."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/3079856.3080238"},{"key":"e_1_3_2_1_27_1","volume-title":"Proceedings of the ACM on Interactive, Mobile, Wearable and Ubiquitous Technologies (IMWUT)","author":"Ikeda N.","year":"2020","unstructured":"N. Ikeda , R. Shigeta , J. Shiomi , and Y. Kawahara . 2020. Soil-Monitoring Sensor Powered by Temperature Difference between Air and Shallow Underground Soil . Proceedings of the ACM on Interactive, Mobile, Wearable and Ubiquitous Technologies (IMWUT) ( 2020 ). N. Ikeda, R. Shigeta, J. Shiomi, and Y. Kawahara. 2020. Soil-Monitoring Sensor Powered by Temperature Difference between Air and Shallow Underground Soil. Proceedings of the ACM on Interactive, Mobile, Wearable and Ubiquitous Technologies (IMWUT) (2020)."},{"key":"e_1_3_2_1_28_1","volume-title":"Oct 15th","author":"Instruments Texas","year":"2021","unstructured":"Texas Instruments . 2017 (last access : Oct 15th , 2021 ). MSP 430-FR5969 datasheet. https:\/\/www.ti.com\/lit\/ds\/symlink\/msp430fr5969.pdf. Texas Instruments. 2017 (last access: Oct 15th, 2021). MSP430-FR5969 datasheet. https:\/\/www.ti.com\/lit\/ds\/symlink\/msp430fr5969.pdf."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"crossref","unstructured":"H. Jayakumar A. Raha W. S. Lee and V. Raghunathan. 2015. QuickRecall: A HW\/SW Approach for Computing Across Power Cycles in Transiently Powered Computers. ACM Journal on Emerging Technologies in Computing Systems (2015).  H. Jayakumar A. Raha W. S. Lee and V. Raghunathan. 2015. QuickRecall: A HW\/SW Approach for Computing Across Power Cycles in Transiently Powered Computers. ACM Journal on Emerging Technologies in Computing Systems (2015).","DOI":"10.1109\/VLSID.2014.63"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"crossref","unstructured":"H. Jayakumar A. Raha J. R. Stevens and V. Raghunathan. 2017. Energy-Aware Memory Mapping for Hybrid FRAM-SRAM MCUs in Intermittently-Powered IoT Devices. ACM Transactions on Embedded Computing Systems (2017).  H. Jayakumar A. Raha J. R. Stevens and V. Raghunathan. 2017. Energy-Aware Memory Mapping for Hybrid FRAM-SRAM MCUs in Intermittently-Powered IoT Devices. ACM Transactions on Embedded Computing Systems (2017).","DOI":"10.1145\/2983628"},{"volume-title":"Proceedings of the Twenty-Fifth International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS '20)","author":"Kortbeek V.","key":"e_1_3_2_1_31_1","unstructured":"V. Kortbeek , K. S. Yildirim , A. Bakar , J. Sorber , J. Hester , and P. Pawe\u0142czak . 2020. Time-Sensitive Intermittent Computing Meets Legacy Software . In Proceedings of the Twenty-Fifth International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS '20) . V.Kortbeek, K. S. Yildirim, A. Bakar, J. Sorber, J. Hester, and P. Pawe\u0142czak. 2020. Time-Sensitive Intermittent Computing Meets Legacy Software. In Proceedings of the Twenty-Fifth International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS '20)."},{"volume-title":"Proceedings of the ACM SIGPLAN 1992 Conference on Programming Language Design and Implementation (PLDI '92)","author":"Landi W.","key":"e_1_3_2_1_32_1","unstructured":"W. Landi and B. G. Ryder . 1992. A Safe Approximate Algorithm for Interprocedural Aliasing . In Proceedings of the ACM SIGPLAN 1992 Conference on Programming Language Design and Implementation (PLDI '92) . W. Landi and B. G. Ryder. 1992. A Safe Approximate Algorithm for Interprocedural Aliasing. In Proceedings of the ACM SIGPLAN 1992 Conference on Programming Language Design and Implementation (PLDI '92)."},{"volume-title":"Oct 15th","year":"2021","key":"e_1_3_2_1_33_1","unstructured":"llvm 2003 (last access : Oct 15th , 2021 ). The LLVM Compiler Infrastructure . https:\/\/llvm.org\/. llvm 2003 (last access: Oct 15th, 2021). The LLVM Compiler Infrastructure. https:\/\/llvm.org\/."},{"volume-title":"Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI).","author":"Lucia B.","key":"e_1_3_2_1_34_1","unstructured":"B. Lucia and B. Ransford . 2015. A Simpler, Safer Programming and Execution Model for Intermittent Systems . In Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI). B. Lucia and B. Ransford. 2015. A Simpler, Safer Programming and Execution Model for Intermittent Systems. In Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)."},{"key":"e_1_3_2_1_35_1","volume-title":"Proceedings of the ACM Programming Languages","author":"Maeng K.","year":"2017","unstructured":"K. Maeng , A. Colin , and B. Lucia . 2017. Alpaca: Intermittent Execution Without Checkpoints . Proceedings of the ACM Programming Languages ( 2017 ). K. Maeng, A. Colin, and B. Lucia. 2017. Alpaca: Intermittent Execution Without Checkpoints. Proceedings of the ACM Programming Languages (2017)."},{"volume-title":"13th USENIX Symposium on Operating Systems Design and Implementation (OSDI).","author":"Maeng K.","key":"e_1_3_2_1_36_1","unstructured":"K. Maeng and B. Lucia . 2018. Adaptive dynamic checkpointing for safe efficient intermittent computing . In 13th USENIX Symposium on Operating Systems Design and Implementation (OSDI). K. Maeng and B. Lucia. 2018. Adaptive dynamic checkpointing for safe efficient intermittent computing. In 13th USENIX Symposium on Operating Systems Design and Implementation (OSDI)."},{"volume-title":"Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI).","author":"Maeng K.","key":"e_1_3_2_1_37_1","unstructured":"K. Maeng and B. Lucia . 2019. Supporting Peripherals in Intermittent Systems with Just-in-Time Checkpoints . In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI). K. Maeng and B. Lucia. 2019. Supporting Peripherals in Intermittent Systems with Just-in-Time Checkpoints. In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)."},{"key":"e_1_3_2_1_38_1","volume-title":"Oct 15th","author":"Maioli A.","year":"2021","unstructured":"A. Maioli . 2021 (last access : Oct 15th , 2021 ). ScEpTIC documentation and source code. http:\/\/sceptic.neslab.it\/. A. Maioli. 2021 (last access: Oct 15th, 2021). ScEpTIC documentation and source code. http:\/\/sceptic.neslab.it\/."},{"key":"e_1_3_2_1_39_1","volume-title":"Oct 15th","author":"Maioli A.","year":"2021","unstructured":"A. Maioli . 2021 (last access : Oct 15th , 2021 ). ScEpTIC extension implementing a prototype of ALFRED pipeline. http:\/\/alfred.neslab.it\/. A. Maioli. 2021 (last access: Oct 15th, 2021). ScEpTIC extension implementing a prototype of ALFRED pipeline. http:\/\/alfred.neslab.it\/."},{"volume-title":"Proceedings of the 8th International Workshop on Energy Harvesting and Energy-Neutral Sensing Systems (ENSsys '20)","author":"Maioli A.","key":"e_1_3_2_1_40_1","unstructured":"A. Maioli and L. Mottola . 2020. Intermittence Anomalies Not Considered Harmful . In Proceedings of the 8th International Workshop on Energy Harvesting and Energy-Neutral Sensing Systems (ENSsys '20) . A. Maioli and L. Mottola. 2020. Intermittence Anomalies Not Considered Harmful. In Proceedings of the 8th International Workshop on Energy Harvesting and Energy-Neutral Sensing Systems (ENSsys '20)."},{"key":"e_1_3_2_1_41_1","volume-title":"2021 (last access: Oct 15th","author":"Maioli A.","year":"2021","unstructured":"A. Maioli and L. Mottola . 2021 (last access: Oct 15th , 2021 ). ALFRED : Virtual Memory for Intermittent Computing . https:\/\/arxiv.org\/abs\/2110.07542.arXiv:2110.07542 A. Maioli and L. Mottola. 2021 (last access: Oct 15th, 2021). ALFRED: Virtual Memory for Intermittent Computing. https:\/\/arxiv.org\/abs\/2110.07542.arXiv:2110.07542"},{"volume-title":"Proceedings of the 20th ACM SIGPLAN\/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES).","author":"Maioli A.","key":"e_1_3_2_1_42_1","unstructured":"A. Maioli , L. Mottola , M. H. Alizai , and J. H. Siddiqui . 2019. On Intermittence Bugs in the Battery-Less Internet of Things (WIP Paper) . In Proceedings of the 20th ACM SIGPLAN\/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES). A. Maioli, L. Mottola, M. H. Alizai, and J. H. Siddiqui. 2019. On Intermittence Bugs in the Battery-Less Internet of Things (WIP Paper). In Proceedings of the 20th ACM SIGPLAN\/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES)."},{"key":"e_1_3_2_1_43_1","volume-title":"Proceedings of the 2021 International Conference on Embedded Wireless Systems and Networks (EWSN","author":"Maioli A.","year":"2021","unstructured":"A. Maioli , L. Mottola , M. H. Alizai , and J. H. Siddiqui . 2021. Discovering the Hidden Anomalies of Intermittent Computing . In Proceedings of the 2021 International Conference on Embedded Wireless Systems and Networks (EWSN 2021 ). A. Maioli, L. Mottola, M. H. Alizai, and J. H. Siddiqui. 2021. Discovering the Hidden Anomalies of Intermittent Computing. In Proceedings of the 2021 International Conference on Embedded Wireless Systems and Networks (EWSN 2021)."},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"crossref","unstructured":"A. Y. Majid C. Delle Donne K. Maeng A. Colin K. S. Yildirim B. Lucia and P. Pawelczak. 2020. Dynamic Task-Based Intermittent Execution for Energy-Harvesting Devices. ACM Transactions on Sensor Networks (2020).  A. Y. Majid C. Delle Donne K. Maeng A. Colin K. S. Yildirim B. Lucia and P. Pawelczak. 2020. Dynamic Task-Based Intermittent Execution for Energy-Harvesting Devices. ACM Transactions on Sensor Networks (2020).","DOI":"10.1145\/3360285"},{"volume-title":"Proceedings of the Workshop on Memory Systems Performance and Correctness (MSPC '14)","author":"Ransford B.","key":"e_1_3_2_1_45_1","unstructured":"B. Ransford and B. Lucia . 2014. Nonvolatile Memory is a Broken Time Machine . In Proceedings of the Workshop on Memory Systems Performance and Correctness (MSPC '14) . B. Ransford and B. Lucia. 2014. Nonvolatile Memory is a Broken Time Machine. In Proceedings of the Workshop on Memory Systems Performance and Correctness (MSPC '14)."},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/1950365.1950386"},{"volume-title":"Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI).","author":"Ruppel E.","key":"e_1_3_2_1_47_1","unstructured":"E. Ruppel and B. Lucia . 2019. Transactional Concurrency Control for Intermittent, Energy-harvesting Computing Systems . In Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI). E. Ruppel and B. Lucia. 2019. Transactional Concurrency Control for Intermittent, Energy-harvesting Computing Systems. In Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)."},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"crossref","unstructured":"E. Sazonov H. Li D. Curry and P. Pillay. 2009. Self-Powered Sensors for Monitoring of Highway Bridges. IEEE Sensors Journal (2009).  E. Sazonov H. Li D. Curry and P. Pillay. 2009. Self-Powered Sensors for Monitoring of Highway Bridges. IEEE Sensors Journal (2009).","DOI":"10.1109\/JSEN.2009.2019333"},{"volume-title":"Proceedings of the 12th USENIX Conference on Operating Systems Design and Implementation (OSDI).","author":"Woude J. Van Der","key":"e_1_3_2_1_49_1","unstructured":"J. Van Der Woude and M. Hicks . 2016. Intermittent Computation Without Hardware Support or Programmer Intervention . In Proceedings of the 12th USENIX Conference on Operating Systems Design and Implementation (OSDI). J. Van Der Woude and M. Hicks. 2016. Intermittent Computation Without Hardware Support or Programmer Intervention. In Proceedings of the 12th USENIX Conference on Operating Systems Design and Implementation (OSDI)."},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"crossref","unstructured":"K. Vijayaraghavan and R. Rajamani. 2010. Novel Batteryless Wireless Sensor for Traffic-Flow Measurement. IEEE Transactions on Vehicular Technology (2010).  K. Vijayaraghavan and R. Rajamani. 2010. Novel Batteryless Wireless Sensor for Traffic-Flow Measurement. IEEE Transactions on Vehicular Technology (2010).","DOI":"10.1109\/TVT.2010.2050013"},{"volume-title":"Proceedings International Conference on Software Engineering.","author":"Wang T.","key":"e_1_3_2_1_51_1","unstructured":"T. Wang , X. Su , and P. Ma . 2008. Program Normalization for Removing Code Variations . In Proceedings International Conference on Software Engineering. T. Wang, X. Su, and P. Ma. 2008. Program Normalization for Removing Code Variations. In Proceedings International Conference on Software Engineering."},{"key":"e_1_3_2_1_52_1","volume":"201","author":"Yildirim K. S.","unstructured":"K. S. Yildirim , A. Y. Majid , D. Patoukas , K. Schaper , P. Pawelczak , and J. Hester. 201 8. InK: Reactive Kernel for Tiny Batteryless Sensors. In Proceedings of the 16th ACM Conference on Embedded Networked Sensor Systems (SENSYS). K. S. Yildirim, A. Y. Majid, D. Patoukas, K. Schaper, P. Pawelczak, and J. Hester. 2018. InK: Reactive Kernel for Tiny Batteryless Sensors. In Proceedings of the 16th ACM Conference on Embedded Networked Sensor Systems (SENSYS).","journal-title":"J. Hester."}],"event":{"name":"SenSys '21: The 19th ACM Conference on Embedded Networked Sensor Systems","sponsor":["SIGMETRICS ACM Special Interest Group on Measurement and Evaluation","SIGCOMM ACM Special Interest Group on Data Communication","SIGMOBILE ACM Special Interest Group on Mobility of Systems, Users, Data and Computing","SIGOPS ACM Special Interest Group on Operating Systems","SIGBED ACM Special Interest Group on Embedded Systems","SIGARCH ACM Special Interest Group on Computer Architecture"],"location":"Coimbra Portugal","acronym":"SenSys '21"},"container-title":["Proceedings of the 19th ACM Conference on Embedded Networked Sensor Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3485730.3485949","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3485730.3485949","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T20:12:10Z","timestamp":1750191130000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3485730.3485949"}},"subtitle":["Virtual Memory for Intermittent Computing"],"short-title":[],"issued":{"date-parts":[[2021,11,15]]},"references-count":52,"alternative-id":["10.1145\/3485730.3485949","10.1145\/3485730"],"URL":"https:\/\/doi.org\/10.1145\/3485730.3485949","relation":{},"subject":[],"published":{"date-parts":[[2021,11,15]]},"assertion":[{"value":"2021-11-15","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}