Fri 9 Nov 2018 10:52 - 11:15 at Studio 2 - Program Synthesis Chair(s): Jens Palsberg

We present a novel approach for synthesizing robust relational layouts from examples. Given an application design consisting of a set of views and their location on screen, we synthesize a relational layout that when rendered, places the components at that same location.

We present an end-to-end system, called InferUI, that addresses the above challenge in the context of Android. The system is based on the following technical contributions: (i) a complete formalization of the latest and most efficient ConstraintLayout class, capturing a rich set of relational constraints, (ii) a set of robustness properties designed to prevent common layout generalization errors, (iii) a synthesis algorithm that produces relational layouts that generalize across multiple screen sizes and resolutions, and (iv) a probabilistic model of constraints which guides the synthesizer towards layouts preferred by developers.

Our evaluation shows that InferUI is practically effective: it successfully synthesizes real world complex layouts obtained from top 500 GitHub and top 500 Google Play Store applications, succeeds in 100% of cases when synthesizing layouts for a single device, and correctly generalizes 92% of views across multiple devices, all without requiring additional specifications.

Fri 9 Nov

splash-2018-OOPSLA
10:30 - 12:00: OOPSLA - Program Synthesis at Studio 2
Chair(s): Jens PalsbergUniversity of California, Los Angeles
splash-2018-OOPSLA10:30 - 10:52
Talk
Yuepeng WangUniversity of Texas at Austin, Xinyu WangUT Austin, Isil DilligUT Austin
splash-2018-OOPSLA10:52 - 11:15
Talk
Pavol BielikETH Zürich, Marc FischerETH Zurich, Martin VechevETH Zürich
splash-2018-OOPSLA11:15 - 11:37
Talk
Chenglong WangUniversity of Washington, USA, Alvin CheungUniversity of Washington, Rastislav BodikUniversity of Washington
splash-2018-OOPSLA11:37 - 12:00
Talk
Junho LeeKorea University, Dowon SongKorea University, Sunbeom SoKorea University, Hakjoo OhKorea University