Write a Blog >>
PLDI 2020
Mon 15 - Fri 19 June 2020
Thu 18 Jun 2020 13:20 - 13:40 at PLDI Research Papers live stream - Code Generation Chair(s): Fan Long

In C, the order of evaluation of expressions is unspecified; further for expressions
that do not involve function calls, C semantics ensure that there
cannot be a data race between two evaluations that can proceed in
either order (or concurrently). We explore the
optimization opportunity enabled by these non-deterministic
expression evaluation semantics in C, and provide
a sound compile-time alias analysis to realize
the same.
Our algorithm is implemented as a part of the
Clang/LLVM infrastructure,
in a tool called {\em OOElala}.
Our experimental results demonstrate that
the untapped optimization opportunity is significant: code
patterns that enable such optimizations are
common; the enabled transformations can range from vectorization to
improved instruction selection and register allocation;
and the resulting speedups can be as high as 2.6x on already-optimized
code.

Thu 18 Jun
Times are displayed in time zone: Pacific Time (US & Canada) change

13:00 - 14:00: Code GenerationPLDI Research Papers at PLDI Research Papers live stream
Chair(s): Fan LongUniversity of Toronto

YouTube lightning session video

13:00 - 13:20
Talk
Automatic Generation of Efficient Sparse Tensor Format Conversion Routines
PLDI Research Papers
Stephen ChouMassachusetts Institute of Technology, USA, Fredrik KjolstadStanford University, Saman AmarasingheMassachusetts Institute of Technology, USA
Pre-print
13:20 - 13:40
Talk
OOElala: Order-of-Evaluation Based Alias Analysis for Compiler Optimization
PLDI Research Papers
Ankush PhuliaIIT Delhi, India, Vaibhav BhageeIIT Delhi, India, Sorav BansalIIT Delhi, India
13:40 - 14:00
Talk
Effective Function Merging in the SSA Form
PLDI Research Papers
Rodrigo C. O. RochaUniversity of Edinburgh, UK, Pavlos PetoumenosUniversity of Manchester, UK, Zheng WangUniversity of Leeds, UK, Murray ColeUniversity of Edinburgh, UK, Hugh LeatherUniversity of Edinburgh, UK