Write a Blog >>
LCTES 2019
Sat 22 - Fri 28 June 2019 Phoenix, Arizona, United States
co-located with PLDI 2019
Sun 23 Jun 2019 15:00 - 15:15 at 105A - Session 3: Applications Chair(s): Wanli Chang

This paper tackles the problem of detecting potential conflicts among independently developed apps that are to be installed into an open Internet of Things (IoT) environment. It provides a new set of definitions and categorizations of the conflicts to more precisely characterize the nature of the problem, and employs a graph representation (named IA Graph) for formally representing IoT controls and inter-app interplays. It provides an efficient conflicts detection algorithm implemented on a SmartThings compiler and shows significantly improved efficacy over prior solutions.

Sun 23 Jun
Times are displayed in time zone: Tijuana, Baja California change

14:45 - 15:30
Session 3: ApplicationsLCTES 2019 at 105A
Chair(s): Wanli ChangUniversity of York
14:45
15m
Full-paper
Automating the Generation of Hardware Component Knowledge Bases
LCTES 2019
Luke HsiaoStanford University, Sen WuStanford University, Nicholas ChiangGunn High School, Christopher RĂ©, Philip LevisStanford University
15:00
15m
Full-paper
IA-Graph Based Inter-App Conflicts Detection in Open IoT Systems
LCTES 2019
Xinyi LiChang'an University, Lei ZhangNorth Carolina State University, Xipeng ShenNorth Carolina State University
15:15
15m
Full-paper
ApproxSymate: Path Sensitive Program Approximation using Symbolic Execution
LCTES 2019
Himeshi Praveeni De Silva, Andrew SantosaNational University of Singapore, Nhut Minh HoNational University of Singapore, Weng-Fai WongNational University of Singapore