[Colloquium] Zhang/MS Presentation/Jun 5, 2019

[Margaret Jaffey]

This is an announcement of Lefan Zhang's MS Presentation.

------------------------------------------------------------------------------
Date:  Wednesday, June 5, 2019

Time:  10:00 AM

Place:  John Crerar Library 298

M.S. Candidate:  Lefan Zhang

M.S. Paper Title: AutoTap: Synthesizing and Repairing Trigger-Action
Programs Using LTL Properties

Abstract:
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.

Lefan's advisor is Prof. Shan Lu

Login to the Computer Science Department website for details:
 https://newtraell.cs.uchicago.edu/phd/ms_announcements#lefanz

=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=
Margaret P. Jaffey            margaret at cs.uchicago.edu
Department of Computer Science
Student Support Rep (Ry 156)               (773) 702-6011
The University of Chicago      http://www.cs.uchicago.edu
=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=