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
Times are displayed in time zone: (GMT-07:00) Tijuana, Baja California change

16:00 - 16:45: Session 4: Benchmarking and In-progress WorksLCTES 2019 at 105A
Chair(s): Hyunok OhHanyang Univ
16:00 - 16:15
Full-paper
LCTES 2019
Kyle DaruwallaUniversity of Wisconsin – Madison, Heng ZhuoUniversity of Wisconsin - Madison, Carly SchulzUniversity of Wisconsin - Madison, Mikko H. Lipasti
16:15 - 16:20
Short-paper
LCTES 2019
Greg StittUniversity of Florida, David CampbellUniversity of Florida
16:20 - 16:25
Short-paper
LCTES 2019
Andrea MaioliPolitecnico di Milano, Italy, Luca MottolaPolitecnico di Milano, Italy and RI.Se SICS, Sweden, Muhammad Hamad AlizaiLUMS, Pakistan, Junaid Haroon SiddiquiLahore University of Management Sciences
16:25 - 16:30
Short-paper
LCTES 2019
16:30 - 16:35
Short-paper
LCTES 2019
Yongseung YuHanyang University, Seokwon KangHanyang University, Yongjun ParkHanyang University
16:35 - 16:40
Short-paper
LCTES 2019
Mostafa MohammedVirginia Tech, Haipeng CaiWashington State University Pullman, Na MengVirginia Tech