I¿¿¿: a calculus for internet of things automation

@inproceedings{Newcomb2017IAC,
  title={I¿¿¿: a calculus for internet of things automation},
  author={Julie L. Newcomb and Satish Chandra and Jean-Baptiste Jeannin and Cole Schlesinger and Manu Sridharan},
  booktitle={Onward!},
  year={2017}
}
Programmatically controllable home devices are proliferating, ranging from lights, locks, and motion sensors to smart refrigerators, televisions, and cameras, giving end users unprecedented control over their environment. New domain-specific languages are emerging to supplant general purpose programming platforms as a means for end users to configure home automation. These languages, based on event-condition-action (ECA) rules, have an appealing simplicity. But programmatic control lets users… CONTINUE READING