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, 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)