On Intermittence Bugs in the Battery-less Internet of Things (Work in progress)
The resource-constrained devices of the battery-less Internet of Things are powered off energy harvesting and compute intermittently, as energy is available. Forward progress of programs is ensured by creating persistent state. Mixed-volatile platforms are thus an asset, as they map slices of the address space onto non-volatile memory. However, these platforms also possibly introduce intermittence bugs, where intermittent and continuous executions differ. Our ongoing work on intermittence bugs includes (i) an analysis that demonstrates their presence in settings that current literature overlooks; (ii) the design of efficient testing techniques to check their presence in arbitrary code, which would be otherwise prohibitive given the sheer number of different executions to check; (iii) the implementation of an offline tool called SCEpTIC that implements these techniques. SCEpTIC finds the same bugs as a brute-force approach, but is six orders of magnitude faster.
Sun 23 JunDisplayed time zone: Tijuana, Baja California change
16:00 - 16:45 | |||
16:00 15mFull-paper | BitBench: A Benchmark for Bitstream Computing LCTES 2019 Kyle Daruwalla University of Wisconsin – Madison, Heng Zhuo University of Wisconsin - Madison, Carly Schulz University of Wisconsin - Madison, Mikko H. Lipasti | ||
16:15 5mShort-paper | PANDORA: A Parallelizing Approximation-Discovery Framework (Work in progress) LCTES 2019 | ||
16:20 5mShort-paper | On Intermittence Bugs in the Battery-less Internet of Things (Work in progress) LCTES 2019 Andrea Maioli Politecnico di Milano, Italy, Luca Mottola Politecnico di Milano, Italy and RI.Se SICS, Sweden, Muhammad Hamad Alizai LUMS, Pakistan, Junaid Haroon Siddiqui | ||
16:25 5mShort-paper | Raising Binaries to LLVM IR with MCTOLL (Work in progress) LCTES 2019 | ||
16:30 5mShort-paper | A Compiler-based Approach for GPGPU Performance Calibration using TLP Modulation (Work in progress) LCTES 2019 | ||
16:35 5mShort-paper | An Empirical Comparison between Monkey Testing and Human Testing (Work in progress) LCTES 2019 |