Andrea Maioli, Luca Mottola, Junaid Siddiqui, and Hamad Alizai. Discovering the Hidden Anomalies of Intermittent Computing. 18th ACM International Conference on Embedded Wireless Systems and Networks (EWSN). February 2021. (PDF, Talk Video)
Mikhail Afanasov, Naveed Bhatti, Dennis Campagna, Giacomo Caslini, Fabio Massimo Centonze, Koustabh Dolui, Andrea Maioli, Erica Barone, Muhammad Hamad Alizai, and Junaid Haroon Siddiqui, and Luca Mottola. Battery-less Zero-maintenance Embedded Sensing at the Mithraeum of Circus Maximus. 18th ACM International Conference on Embedded Networked Sensor Systems (SENSYS). November 2020. (PDF, Teaser Video, Talk Video)
Andrea Maioli and Luca Mottola. Intermittence Anomalies not Considered Harmful. 8th ACM International Workshop on Energy Harvesting and Energy-neutral Sensing Systems (ENSSYS - colocated with ACM SENSYS). November 2020. Best Paper Award and Best Pitch Video Award. (PDF, Pitch Video, Talk Video)
Hafiz Areeb Asad, Erik Wouters, Naveed Bhatti, Luca Mottola, and Thiemo Voigt. On Securing Persistent State in Intermittent Computing. 8th ACM International Workshop on Energy Harvesting and Energy-neutral Sensing Systems (ENSSYS - colocated with ACM SENSYS). November 2020. (PDF, Teaser Video)
Phillip van Heerden, Moeketsi Raselimo, Konstantinos Sagonas, and Bernd Fischer. Grammar-Based Testing for Little Languages. 13th ACM SIGPLAN International Conference on Software Language Engineering (SLE ‘20), November 2020. ACM. (DOI, Video)
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Bui Phi Diep, Julian Dolby, Petr Janku, Hsin-Hung Lin, Lukás Holík, and Wei-Cheng Wu. Efficient handling of string-number conversion. 41st ACM SIGPLAN Int. Conf. on Programming Language Design and Implementation (PLDI 2020), June 2020. ACM. (DOI)
Magnus Lång and Konstantinos Sagonas. Parallel Graph-Based Stateless Model Checking. International Symposium on Automated Technology for Verification and Analysis (ATVA 2020), pages 337-393, Volume 12302 in LNCS, October 2020. Springer. (DOI, Video)
Paul Fiterau-Brostean, Bengt Jonsson, Robert Merget, Joeri de Ruiter, Konstantinos Sagonas, and Juraj Somorovsky. Analysis of DTLS Implementations Using Protocol State Fuzzing. 29th USENIX Security Symposium (USENIX Security 20), August 2020. USENIX Association. (@USENIX, PDF, Video, Blog post about CVE-2020-2655)
Saad Ahmed, Qurat Ul Ain, Junaid Siddiqui, Luca Mottola, and Hamad Alizai. Intermittent Computing with Dynamic Voltage and Frequency Scaling. 17th ACM International Conference on Embedded Wireless Systems and Networks (EWSN). February 2020. (PDF)
Adriano Branco, Luca Mottola, Hamad Alizai, and Junaid Siddiqui. Intermittent Asynchronous Peripheral Operations. 17th ACM International Conference on Embedded Networked Sensor Systems (SENSYS). November 2019. (PDF)
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Bengt Jonsson, Magnus Lång, Tuan Phong Ngo, and Konstantinos Sagonas. Optimal stateless model checking for reads-from equivalence under sequential consistency. PACMPL 3(OOPSLA): 150:1-150:29. October 2019. (DOI)
Saad Ahmed, Naveed Bhatti, Hamad Alizai, Junaid Siddiqui, and Luca Mottola. Efficient Intermittent Computing with Differential Checkpointing. 20th ACM International Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES). June 2019. (PDF)
Saad Ahmed, Abu Bhakar, Naveed Bhatti, Hamad Alizai, Junaid Siddiqui, and Luca Mottola. The Betrayal of Constant Power × Time: Finding the Missing Joules of Transiently-powered Computers. 20th ACM International Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES). June 2019. (PDF)
Andrea Maioli, Luca Mottola, Hamad Alizai, and Junaid Siddiqui. On Intermittence Bugs in the Battery-less Internet of Things. 20th ACM International Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES). June 2019. (PDF)