Date & Time:
October 14, 2021 2:00 pm – 3:00 pm
10/14/2021 02:00 PM 10/14/2021 03:00 PM America/Chicago Lefan Zhang (UChicago) – End-User Programming in Smart Homes with Trigger-Action Programs Zoom

End-User Programming in Smart Homes with Trigger-Action Programs

End-user programming on Internet of Things (IoT) smart devices enables end-users without programming experience to automate their homes. Trigger-action programming (TAP), supported by several smart home systems, is a common approach for such end-user programming. However, it can be hard for end-users to correctly express their intention in TAP even under some daily automation scenarios.

This proposal introduces our efforts to enhance end-users' trigger-action programming experience. We believe that just asking trigger-action rules from users is not enough. Across several projects, we tested getting feedback from end-users through different inputs, from their manual behaviors in their daily lives to high-level safety properties that they think should hold.

We developed AutoTap, a system that lets novice users easily specify desired properties for devices and services. AutoTap translates these properties to linear temporal logic (LTL). Then it both automatically synthesizes property-satisfying TAP rules from scratch and repairs existing TAP rules.
We also created Trace2TAP, a novel method for automatically synthesizing TAP rules from users' past behaviors. Given that end-users vary in their automation priorities, and sometimes choose rules that seem less desirable by traditional metrics like precision and recall, Trace2TAP comprehensively synthesizes TAP rules and brings humans into the loop during automation cite{zhang2020trace2tap}.

Guided by the above studies which each focus on a specific type of inputs, we propose another study that analyzes the advantage/disadvantage of getting each type of inputs from end-users under different scenarios. We plan to systematically explore types of trigger-action programming tasks end-users may face in their daily lives and compare which inputs are more useful under each type of them.

Lefan Zhang

PhD Student, University of Chicago

Related News & Events

UChicago CS News

Five UChicago CS students named to Siebel Scholars Class of 2024

Oct 02, 2023
UChicago CS News

UChicago Computer Scientists Bring in Generative Neural Networks to Stop Real-Time Video From Lagging

Jun 29, 2023
UChicago CS News

UChicago Team Wins The NIH Long COVID Computational Challenge

Jun 28, 2023
UChicago CS News

UChicago Assistant Professor Raul Castro Fernandez Receives 2023 ACM SIGMOD Test-of-Time Award

Jun 27, 2023
UChicago CS News

Computer Science Displays Catch Attention at MSI’s Annual Robot Block Party

Apr 07, 2023
UChicago CS News

Professor Heather Zheng Named ACM Fellow

Jan 18, 2023

Ian Foster – Better Information Faster: Programming the Continuum

Jan 06, 2023
UChicago CS News

Q&A: Ian Foster on Receiving the 2023 IEEE Internet Award

Jan 06, 2023
UChicago CS News

Professor Fred Chong Named IEEE Fellow

Dec 09, 2022
UChicago CS News

Associate Professor Diana Franklin Named ACM Distinguished Member

Dec 07, 2022
UChicago CS News

UChicago’s Parsl Project Pivots to Sustainability and Community with New Grants

Nov 17, 2022
man browsing Netflix
UChicago CS News

Trending Now: How Netflix Chills Our Free Will

Nov 14, 2022
arrow-down-largearrow-left-largearrow-right-large-greyarrow-right-large-yellowarrow-right-largearrow-right-smallbutton-arrowclosedocumentfacebookfacet-arrow-down-whitefacet-arrow-downPage 1CheckedCheckedicon-apple-t5backgroundLayer 1icon-google-t5icon-office365-t5icon-outlook-t5backgroundLayer 1icon-outlookcom-t5backgroundLayer 1icon-yahoo-t5backgroundLayer 1internal-yellowinternalintranetlinkedinlinkoutpauseplaypresentationsearch-bluesearchshareslider-arrow-nextslider-arrow-prevtwittervideoyoutube