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: LCTES 2019 - Session 4: Benchmarking and In-progress Works at 105A
Chair(s): Hyunok OhHanyang Univ
LCTES-2019-papers16:00 - 16:15
Kyle DaruwallaUniversity of Wisconsin – Madison, Heng ZhuoUniversity of Wisconsin - Madison, Carly SchulzUniversity of Wisconsin - Madison, Mikko H. Lipasti
LCTES-2019-papers16:15 - 16:20
Greg StittUniversity of Florida, David CampbellUniversity of Florida
LCTES-2019-papers16:20 - 16:25
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
LCTES-2019-papers16:25 - 16:30
LCTES-2019-papers16:30 - 16:35
Yongseung YuHanyang University, Seokwon KangHanyang University, Yongjun ParkHanyang University
LCTES-2019-papers16:35 - 16:40
Mostafa MohammedVirginia Tech, Haipeng CaiWashington State University Pullman, Na MengVirginia Tech