paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Synthesis of web layouts from examples

从示例合成 Web 布局
FSE Proceedings of the 29th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering2021匹配度 4/10 · 论文属于程序合成,并在局部推断中使用贝叶斯方法处理含噪示例,与画像中的贝叶斯程序分析有方法学交集;但其应用场景是 Web 布局合成,不涉及静态分析、LLM/Agent、浮点分析或 agentic 程序,因此不属于核心研究方向。引用 8 inbox
Dylan Lukes, John Sarracino, Cora Coleman, Hila Peleg, Sorin Lerner, Nadia Polikarpova
crossref: 2026-09-12

AI 速览

一句话:提出两阶段约束合成方法,从含噪示例生成可扩展的动态 Web 布局。

论文研究从示例合成动态、基于约束的可视化布局。真实 Web 布局常包含数百个元素,且用户提供的示例通常有噪声,因此合成器必须兼具可扩展性与抗噪性。为此,作者提出两阶段合成方法:局部推理阶段用贝叶斯推断快速生成一组可能满足示例的候选约束,从而容忍不精确输入;全局推理阶段则利用复杂布局的层次结构,将全局问题分解为多个独立子布局的推断,并从中选出能够泛化到未见输入的候选子集。这种关注点分离使方法能同时应对规模与噪声两大挑战。

问题
如何从示例合成动态、基于约束的可视化布局,并应对真实 Web 布局元素众多与示例含噪两大挑战。
方法
采用两阶段方法:局部推理用贝叶斯推断快速产生可能满足示例的候选约束以容忍噪声;全局推理利用布局层次结构分解为独立子布局,并选择可泛化到未见输入的候选子集。
评估
摘要未给出具体实验评估;作者主要通过方法设计说明两阶段机制分别应对噪声与规模挑战。
原文摘要(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.

链接与引用

DOI 原文 · PDF(开放获取) ·

BibTeX
@inproceedings{paperbot6374,
  title = {Synthesis of web layouts from examples},
  author = {Dylan Lukes and John Sarracino and Cora Coleman and Hila Peleg and Sorin Lerner and Nadia Polikarpova},
  booktitle = {FSE},
  year = {2021},
  doi = {10.1145/3468264.3468533}
}