Abstract:
As devices in the world around us are increasingly connected, the possibilities about how to use these devices and the data have exploded. Many of these scenarios such as home automation and office productivity require software tools beyond data visualizations, to express user intents, check for bugs, and ensure interactions do not cause harm to the users and physical world.
