一句话：提出 Jigsaw，利用示例编程、版本空间代数与约束求解，一键合成 Android 应用的手表伴侣应用。
多数 Android 应用缺少适配智能手表的伴侣应用，原因在于新应用设计与代码开发需要大量工程投入。作者观察到智能手机上的控件可以镜像到智能手表，据此提出 Jigsaw 框架，以示例编程（programming by example）、版本空间代数和约束求解为核心，实现手机应用手表伴侣应用的一键式开发。在 16 个流行开源应用上的实验验证了合成算法的有效性，以及合成可用手表伴侣应用的实际价值。
Most Android apps lack their counterparts on convenient smart-watch devices, possibly due to non-trivial engineering efforts required in the new app design and code development. Inspired by the observation that widgets on a smartphone can be mirrored to a smartwatch, this paper presents the Jigsaw framework to greatly alleviate such engineering efforts. Particularly, Jigsaw enables a pushbutton development of smartphone's companion watch apps by leveraging the programming by example paradigm, version space algebra, and constraint solving. Our experiments on 16 popular open-source apps validated the effectiveness of our synthesis algorithm, as well as their practical usefulness in synthesizing usable watch companions.