Write a Blog >>
LCTES 2019
Sat 22 - Fri 28 June 2019 Phoenix, Arizona, United States
co-located with PLDI 2019
Sun 23 Jun 2019 16:20 - 16:25 at 105A - Session 4: Benchmarking and In-progress Works Chair(s): Hyunok Oh

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 Jun

Displayed time zone: Tijuana, Baja California change

16:00 - 16:45
Session 4: Benchmarking and In-progress WorksLCTES 2019 at 105A
Chair(s): Hyunok Oh Hanyang Univ
16:00
15m
Full-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
5m
Short-paper
PANDORA: A Parallelizing Approximation-Discovery Framework (Work in progress)
LCTES 2019
Greg Stitt University of Florida, David Campbell University of Florida
16:20
5m
Short-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 Lahore University of Management Sciences
16:25
5m
Short-paper
Raising Binaries to LLVM IR with MCTOLL (Work in progress)
LCTES 2019
16:30
5m
Short-paper
A Compiler-based Approach for GPGPU Performance Calibration using TLP Modulation (Work in progress)
LCTES 2019
Yongseung Yu Hanyang University, Seokwon Kang Hanyang University, Yongjun Park Hanyang University
16:35
5m
Short-paper
An Empirical Comparison between Monkey Testing and Human Testing (Work in progress)
LCTES 2019
Mostafa Mohammed Virginia Tech, Haipeng Cai Washington State University, USA, Na Meng Virginia Tech