AutoTap: Synthesizing and Repairing Trigger-Action Programs Using LTL Properties
Technical Track
End-user programming, particularly trigger-action programming (TAP), is a popular method of letting users express their intent for how smart devices and cloud services interact. Unfortunately, in some situations it can be challenging for users to correctly express their desires through TAP. This paper presents AutoTap, a system that lets novice users easily specify desired properties for devices and services. AutoTap translates these properties to linear temporal logic (LTL) and both automatically synthesizes property-satisfying TAP rules from scratch and repairs existing TAP rules. We designed AutoTap based on a user study mapping the properties users wish to express. Through a second user study, we show that novice users are significantly more likely to express some desired behaviors correctly using AutoTap than using TAP rules. From our benchmarks and experiments, we find AutoTap is a simple and effective option for correct and expressive end-user programming.
Wed 29 May
16:00 - 18:00: Papers - Model-Based Software Engineering at Van-Horne Chair(s): Yvonne DittrichIT University of Copenhagen, Denmark | ||||||||||||||||||||||||||||||||||||||||||
16:00 - 16:20 Talk | Tiago AmorimTU Berlin, Andreas VogelsangTU Berlin, Florian PudlitzTU Berlin, Peter GersingGPP, Jan Philippsfoqee GmbH Pre-print | |||||||||||||||||||||||||||||||||||||||||
16:20 - 16:40 Talk | Oszkár SemeráthBudapest University of Technology and Economics, Aren BabikianMcGill University, Sebastian PilarskiMcGill University, Daniel VarroMcGill University / Budapest University of Technology and Economics Media Attached File Attached | |||||||||||||||||||||||||||||||||||||||||
16:40 - 17:00 Talk | Tianxiao GuAlibaba Group, Chengnian SunUniversity of California, Davis, Xiaoxing MaNanjing University, Chun CaoNanjing University, Chang XuNanjing University, Yao-Yuan Yang, Qirun ZhangGeorgia Institute of Technology, Jian LuNanjing University, Zhendong SuETH Zurich | |||||||||||||||||||||||||||||||||||||||||
17:00 - 17:20 Talk | Lefan ZhangThe University of Chicago, Weijia HeThe University of Chicago, Jesse MartinezThe University of Chicago, Noah BrackenburyThe University of Chicago, Shan LuUniversity of Chicago, Blase UrThe University of Chicago | |||||||||||||||||||||||||||||||||||||||||
17:20 - 17:30 Talk | Matthew StephanMiami University Pre-print | |||||||||||||||||||||||||||||||||||||||||
17:30 - 17:40 Talk | Stefano IannucciMississippi State University, Sherif AbdelwahedVirginia Commonwealth University, Andrea MontemaggioMississippi State University, Melissa HannisMississippi State University, Leslie LeonardU.S. Army Engineer Research and Development Center (ERDC), Jason KingU.S. Army Engineer Research and Development Center (ERDC), Drew HamiltonMississippi State University, CCI | |||||||||||||||||||||||||||||||||||||||||
17:40 - 17:50 Talk | ||||||||||||||||||||||||||||||||||||||||||
17:50 - 18:00 Talk |