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
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

14:00 - 15:30: Afternoon IICOOOLPS at Vertex WS216
Chair(s): Edd BarrettKing's College London
14:00 - 15:00
Talk
ICOOOLPS
Eric SedlarOracle Labs, Thomas WuerthingerOracle Labs
15:00 - 15:30
Talk
ICOOOLPS
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