GPCE 2015
Mon 26 - Tue 27 October 2015 Pittsburgh, Pennsylvania, United States
co-located with SPLASH 2015
Tue 27 Oct 2015 13:30 - 14:00 at Grand Station 1 - Session 7 Chair(s): Christian Kästner

For a GUI to remain responsive, it must be able to schedule lengthy tasks to be executed asynchronously. In the traditional approach to GUI implementation–writing functions to handle individual user events–asynchronous programming easily leads to defects. Ensuring that all data dependencies are respected is difficult when new events arrive while prior events are still being handled. Reactive programming techniques, gaining popularity in GUI programming, help since they make data dependencies explicit and enforce them automatically as variables’ values change. However, data dependencies in GUIs usually change along with its state. Reactive programming must therefore describe a GUI as a collection of many reactive programs, whose interaction the programmer must explicitly coordinate. This paper presents a declarative approach for GUI programming in which the programmer is relieved from coordinating asynchronous computations. The approach is based on our prior work on “property models”, where GUI state is maintained by a dataflow constraint system. A property model responds to user events by atomically constructing new data dependencies and scheduling asynchronous computations to enforce those dependencies. In essence, a property model dynamically generates a reactive program, adding to it as new events occur. The approach gives the following guarantee: the same sequence of events produces the same result, regardless of the timing of those events.

Tue 27 Oct

13:30 - 15:00: GPCE - Session 7 at Grand Station 1
Chair(s): Christian KästnerCarnegie Mellon University
gpce2015144594900000013:30 - 14:00
Gabriel FoustTexas A & M University, Jaakko JärviTexas A&M University, Sean ParentAdobe Systems, Inc.
gpce2015144595080000014:00 - 14:30
Spencer P. FlorenceNorthwestern University, Burke FetscherNorthwestern University, Matthew FlattUniversity of Utah, William H TempsNorthwestern University Feinberg School of Medicine, Departmentof Dermatology, Tina KiguradzeNorthwestern University Feinberg School of Medicine, Departmentof Dermatology, Dennis P. WestNorthwestern University Feinberg School of Medicine, Departmentof Dermatology, Charlotte NiznikNorthwestern University Feinberg School of Medicine, Departmentof Dermatology, Paul R. YarnoldOptimal Data Analysis LLC, Robby FindlerNorthwestern University, Steven M. BelknapNorthwestern University Feinberg School of Medicine, Departmentof Dermatology
gpce2015144595260000014:30 - 15:00
Kai SelgradFriedrich-Alexander-Universität Erlangen-Nürnberg, Alexander LierFriedrich-Alexander-Universität Erlangen-Nürnberg, Franz KöferlFriedrich-Alexander-Universität Erlangen-Nürnberg, Marc StammingerFriedrich-Alexander-Universität Erlangen-Nürnberg, Daniel LohmannFriedrich-Alexander University of Erlangen-Nürnberg