Can Compiler Magic Ever Be Explained? (ICOOOLPS 2017 - 12th Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems)

Write a Blog >>

Sun 18 - Fri 23 June 2017 Barcelona, Spain

co-located with PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM

Who

Eric Sedlar, Thomas Wuerthinger

Track

ICOOOLPS 2017

Time Zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

When

Mon 19 Jun 2017 14:00 - 15:00 at Vertex WS216 - Afternoon I Chair(s): Edd Barrett

Abstract

Whereas a database query compiler is expected to explain the optimizations it has decided to apply (e.g. SQL “EXPLAIN PLAN”) we don’t expect an imperative language compiler to show its reasoning. The Graal compiler has a tool called the “Ideal Graph Visualizer” to show the compiler graph as it goes through optimization steps, but in practice this tool is only useful for people familiar with the compiler internals. Is it possible to make compiler optimizations explainable to (expert) compiler users not familiar with the internals?

Eric Sedlar

Oracle Labs

Thomas Wuerthinger