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: (GMT-07:00) Pacific Time (US & Canada) change

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

YouTube lightning session video

pldi-2020-papers13:00 - 13:20
Talk
Stephen ChouMassachusetts Institute of Technology, USA, Fredrik KjolstadStanford University, Saman AmarasingheMassachusetts Institute of Technology, USA
Pre-print
pldi-2020-papers13:20 - 13:40
Talk
Ankush PhuliaIIT Delhi, India, Vaibhav BhageeIIT Delhi, India, Sorav BansalIIT Delhi, India
pldi-2020-papers13:40 - 14:00
Talk
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