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: (GMT-07:00) Tijuana, Baja California change

14:45 - 15:30: LCTES 2019 - Session 3: Applications at 105A
Chair(s): Wanli ChangUniversity of York
LCTES-2019-papers14:45 - 15:00
Luke HsiaoStanford University, Sen WuStanford University, Nicholas ChiangGunn High School, Christopher RĂ©, Philip LevisStanford University
LCTES-2019-papers15:00 - 15:15
Xinyi LiChang'an University, Lei ZhangNorth Carolina State University, Xipeng ShenNorth Carolina State University
LCTES-2019-papers15:15 - 15:30
Himeshi Praveeni De Silva, Andrew SantosaNational University of Singapore, Nhut Minh HoNational University of Singapore, Weng-Fai WongNational University of Singapore