[CS] Reminder: [masters-presentation] Zhao/MS Presentation/Dec 3, 2020

[Tricia Baclawski]

This is an announcement of Valerie Zhao's MS Presentation.


https://uchicago.zoom.us/j/96154290307?pwd=R3NLZml5SnVjMFMrQ0E5b0dWRDFFUT09
Password: 469391

------------------------------------------------------------------------------
Date:  Thursday, December 3, 2020

Time:  10:00 AM

Place:  via zoom

M.S. Candidate:  Valerie Zhao

M.S. Paper Title: Understanding Trigger-Action Programs Through Novel
Visualizations of Program Differences

Abstract:
Trigger-action programming (if-this-then-that rules) empowers
non-technical users to automate services and smart devices. As a
user's set of trigger-action programs evolves, the user must reason
about behavior differences between similar programs, such as between
an original program and several modification candidates, to select
programs that meet their goals. To facilitate this process, we
co-designed user interfaces and underlying algorithms to highlight
differences between trigger-action programs. Our novel approaches
leverage formal methods to efficiently identify and visualize
differences in program outcomes or abstract properties. We also
implemented a traditional interface that shows only syntax differences
in the rules themselves. In a between-subjects online experiment with
107 participants, the novel interfaces better enabled participants to
select trigger-action programs matching intended goals in complex, yet
realistic, situations that proved very difficult when using
traditional interfaces showing syntax differences.

Valerie's advisor is Prof. Blase Ur

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

=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=
Tricia Baclawski
Student Affairs Administrator
Computer Science Department
5730 S. Ellis - Room 350
Chicago, IL 60637
pbaclawski at uchicago.edu
(773) 702-6854
/pronouns: she, her, hers/
=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=