Can Compiler Magic Ever Be Explained?
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
|14:00 - 15:00|
|15:00 - 15:30|
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 SciencesLink to publication DOI File Attached