kirancodes.me
To Proof Maintenance & Beyond!

Synthesis of web layouts from examples

Dylan Lukes, John Sarracino, Cora Coleman, Hila Peleg, Sorin Lerner, Nadia Polikarpova

Abstract

We present a new technique for synthesizing dynamic, constraint-based visual layouts from examples. Our technique tackles two major challenges of layout synthesis. First, realistic layouts, especially on the web, often contain hundreds of elements, so the synthesizer needs to scale to layouts of this complexity. Second, in common usage scenarios, examples contain noise, so the synthesizer needs to be tolerant to imprecise inputs. To address these challenges we propose a two-phase approach to synthesis, where a local inference phase rapidly generates a set of likely candidate constraints that satisfy the given examples, and then a global inference phase selects a subset of the candidates that generalizes to unseen inputs. This separation of concerns helps our technique tackle the two challenges: the local phase employs Bayesian inference to handle noisy inputs, while the global phase leverages the hierarchical nature of complex layouts to decompose the global inference problem into inference of independent sub-layouts.

BibTeX
@inproceedings{Lukes-al:FSE21,
  author    = {Dylan Lukes and
               John Sarracino and
               Cora Coleman and
               Hila Peleg and
               Sorin Lerner and
               Nadia Polikarpova},
  title     = {Synthesis of web layouts from examples},
  booktitle = {{ESEC/SIGSOFT} {FSE}},
  pages     = {651--663},
  publisher = {{ACM}},
  year      = {2021},
}

Related papers