Tue 25 Jun 2019 14:40 - 15:00 at 229AB - Static Analysis Chair(s): Martin C. Rinard

Applications in many domains are based on a series of traversals of tree
structures, and {\em fusing} these traversals together to reduce the total number
of passes over the tree is a common, important optimization technique. In
applications such as compilers and render trees, these trees are heterogeneous:
different nodes of the tree have different types. Unfortunately, prior work for
fusing traversals falls short in different ways: they do not handle heterogeneity;
they require using domain-specific languages to express an application; they rely
on the programmer to aver that fusing traversals is safe, without any soundness
guarantee; or they can only perform coarse-grain fusion, leading to missed fusion
opportunities. This paper addresses these shortcomings to build a framework for
fusing traversals of heterogeneous trees that is automatic, sound, and
fine-grained. We show across several case studies that our approach is able to allow
programmers to write simple, intuitive traversals, and then automatically fuse
them to substantially improve performance.

Tue 25 Jun

Displayed time zone: Tijuana, Baja California change

14:00 - 15:30
Static AnalysisPLDI Research Papers at 229AB
Chair(s): Martin C. Rinard Massachusetts Institute of Technology
14:00
20m
Talk
Abstract Interpretation under Speculative Execution
PLDI Research Papers
Meng Wu Virginia Tech, Chao Wang USC
Media Attached
14:20
20m
Talk
A Fast Analytical Model of Fully Associative Caches
PLDI Research Papers
Tobias Gysi ETH Zurich, Switzerland, Tobias Grosser ETH Zurich, Laurin Brandner ETH Zurich, Switzerland, Torsten Hoefler ETH Zurich
Media Attached
14:40
20m
Talk
Sound, Fine-Grained Traversal Fusion for Heterogeneous Trees
PLDI Research Papers
Laith Sakka Purdue University, Kirshanthan Sundararajah Purdue University, Ryan R. Newton Indiana University, Milind Kulkarni Purdue University
Media Attached
15:00
20m
Talk
Size-Change Termination as a Contract
PLDI Research Papers
Phúc C. Nguyễn University of Maryland, Thomas Gilray University of Maryland, Sam Tobin-Hochstadt Indiana University, David Van Horn University of Maryland, USA
Media Attached