PLDI 2025
Mon 16 - Fri 20 June 2025 Seoul, South Korea

This program is tentative and subject to change.

Thu 19 Jun 2025 11:10 - 11:30 at Grand Ball Room 2 - Software Engineering

Latency is a major concern for web rendering engines
like those in Chrome, Safari, and Firefox.
These engines reduce latency by using
an \emph{incremental layout algorithm}
to redraw the page when
the user interacts with it.
In such an algorithm,
elements that change frame-to-frame are marked dirty, and
only those elements are processed
to draw the next frame,
dramatically reducing latency.
However, the standard incremental layout algorithm
must search the page for dirty elements,
accessing auxiliary elements in the process.
These auxiliary elements
add cache misses and stalled cycles,
and are responsible for a sizable fraction
of all layout latency.

We introduce a new, faster incremental layout algorithm
called Spineless Traversal.
Spineless Traversal
uses a cache-friendlier priority queue algorithm
that avoids accessing auxiliary nodes
and thus reduces cache traffic and stalls.
This leads to dramatic speedups
on the most latency-critical interactions
such as hovering, typing, and animation.
Moreover, thanks to numerous low-level optimizations,
Spineless Traversal is competitive
across the whole spectrum of incremental layout workloads.
Spineless Traversal is faster than the standard approach
on $83.0%\xspace$ of $2216~$benchmarks,
with a mean speedup of $\ensuremath{1.80\times}\xspace$
concentrated in the most latency-critical interactions.

This program is tentative and subject to change.

Thu 19 Jun

Displayed time zone: Seoul change

10:30 - 12:10
10:30
20m
Talk
Fast Direct Manipulation Programming with Patch-Reconciliation Correspondence
PLDI Research Papers
Parker Ziegler University of California at Berkeley, Justin Lubin University of California at Berkeley, Sarah E. Chasins University of California at Berkeley
DOI
10:50
20m
Talk
An Interactive Debugger for Rust Trait Errors
PLDI Research Papers
Gavin Gray Brown University, Will Crichton Brown University, Shriram Krishnamurthi Brown University
DOI Pre-print
11:10
20m
Talk
Spineless Traversal for Layout Invalidation
PLDI Research Papers
Marisa Kirisame University of Utah, Tiezhi Wang Tongji University, Pavel Panchekha University of Utah
DOI
11:30
20m
Talk
DR.FIX: Automatically Fixing Data Races at Industry Scale
PLDI Research Papers
Farnaz Behrang Uber Technologies, Zhizhou (Chris) Zhang Uber Technologies, Georgian-Vlad Saioc Aarhus University, Peng Liu Uber Technologies, Milind Chabbi Uber Technologies
DOI
11:50
20m
Talk
Program Skeletons for Automated Program Translation
PLDI Research Papers
Bo Wang National University of Singapore, Tianyu Li National University of Singapore, Ruishi Li National University of Singapore, Umang Mathur National University of Singapore, Prateek Saxena National University of Singapore
DOI Pre-print