Compilers

Authors: Stefanos Chaliasos, Imperial College London; Thodoris Sotiropoulos, Athens University of Economics and Business; Diomidis Spinellis, Athens University of Economics and Business and Delft University of Technology the Netherlands; Arthur Gervais, Benjamin Livshits, Imperial College London; Dimitris Mitropoulos, University of Athens Abstract: We propose a testing framework for validating static typing procedures in compilers. Our core component is a program generator suitably crafted for producing programs that are likely to trigger typing compiler bugs....

Authors: Theodoros Theodoridis, ETH Zurich; Tobias Grosser, University of Edinburgh; Zhendong Su, ETH Zurich Abstract: Inlining is a core transformation in optimizing compilers. It replaces a function call (call site) with the body of the called function (callee). It helps reduce function call overhead and binary size, and more importantly, enables other optimizations. The problem of inlining has been extensively studied, but it is far from being solved; predicting which inlining decisions are beneficial is nontrivial due to interactions with the rest of the compiler pipeline....