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

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?

Mon 19 Jun

ICOOOLPS-2017-papers
14:00 - 15:30: ICOOOLPS 2017 - Afternoon I at Vertex WS216
Chair(s): Edd BarrettKing's College London
ICOOOLPS-2017-papers14:00 - 15:00
Talk
Eric SedlarOracle Labs, Thomas WuerthingerOracle Labs
ICOOOLPS-2017-papers15:00 - 15:30
Talk
Gábor HorváthEötvös Loránd University, Faculty of Informatics, Department of Programming Languages and Compilers, Norbert PatakiEötvös Loránd University, Faculty of Informatics, Department of Programming Languages and Compilers, Márton BalassiHungarian Academy of Sciences
Link to publication DOI File Attached