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

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

14:00 - 15:30
Afternoon IICOOOLPS at Vertex WS216
Chair(s): Edd Barrett King's College London
14:00
60m
Talk
Can Compiler Magic Ever Be Explained?
ICOOOLPS
Eric Sedlar Oracle Labs, Thomas Wuerthinger Oracle Labs
15:00
30m
Talk
Code Generation in Serializers and Comparators of Apache Flink
ICOOOLPS
Gábor Horváth Eötvös Loránd University, Faculty of Informatics, Department of Programming Languages and Compilers, Norbert Pataki Eötvös Loránd University, Faculty of Informatics, Department of Programming Languages and Compilers, Márton Balassi Hungarian Academy of Sciences
Link to publication DOI File Attached