The documents distributed by this server have been provided by the contributing authors as a means to ensure timely dissemination of scholarly and technical work on a noncommercial basis. Copyright and all rights therein are maintained by the authors or by other copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all persons copying this information will adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.
Publications of SPCL
|C. Cummins, Z. V. Fisches, T. Ben-Nun, T. Hoefler, M. O’Boyle, H. Leather:|
|ProGraML: A Graph-based Program Representation for Data Flow Analysis and Compiler Optimizations|
(In Thirty-eighth International Conference on Machine Learning, presented in Virtual, PMLR, ISBN: , Jul. 2021, )
AbstractMachine learning (ML) is increasingly seen as a viable approach for building compiler optimization heuristics, but many ML methods cannot replicate even the simplest of the data flow analyses that are critical to making good optimization decisions. We posit that if ML cannot do that, then it is insufficiently able to reason about programs. We formulate data flow analyses as supervised learning tasks and introduce a large open dataset of programs and their corresponding labels from several analyses. We use this dataset to benchmark ML methods and show that they struggle on these fundamental program reasoning tasks. We propose ProGraML – Program Graphs for Machine Learning – a language-independent, portable representation of program semantics. ProGraML overcomes the limitations of prior works and yields improved performance on downstream optimization tasks.
access preprint on arxiv:
Recorded talk (best effort)