Conflict-Driven Synthesis for Layout Engines

Abstract

Modern web browsers rely on layout engines to convert HTML documents to layout trees that specify color, size, and position. However, existing layout engines are notoriously difficult to maintain because of the complexity of web standards. This is especially true for incremental layout engines, which are designed to improve performance by updating only the parts of the layout tree that need to be changed.

Document Details

Document Type
Pub Defense Publication
Publication Date
Jun 06, 2023
Source ID
10.1145/3591246

Entities

People

  • Eric Atkinson
  • Junrui Liu
  • Rastislav Bodík
  • Yanju Chen
  • Yu Feng

Organizations

  • Defense Advanced Research Projects Agency
  • Google
  • Massachusetts Institute of Technology
  • National Science Foundation
  • University of California, Santa Barbara

Tags

Fields of Study

  • Computer science

Readers

  • Aerial Delivery - Logistics and Supply Chain Management.
  • Aerospace Engineering
  • Database Systems and Applications