Felix, qui, quod amat, defendere fortiter audet
Home -> Publications
Home
  Publications
    
edited volumes
  Awards
  Research
  Teaching
  Miscellaneous
  Full CV [pdf]
  BLOG






  Events








  Past Events





Publications of Torsten Hoefler
Chris Cummins, Zacharias V. Fisches, Tal Ben-Nun, Torsten Hoefler, Michael O’Boyle, Hugh 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, Jul. 2021)

Abstract

Machine 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.

Documents

download article:     
download slides:


Recorded talk (best effort)

 

BibTeX

@inproceedings{programl,
  author={Chris Cummins and Zacharias V. Fisches and Tal Ben-Nun and Torsten Hoefler and Michael O’Boyle and Hugh Leather},
  title={{ProGraML: A Graph-based Program Representation for Data Flow Analysis and Compiler Optimizations}},
  year={2021},
  month={Jul.},
  booktitle={Thirty-eighth International Conference on Machine Learning},
  location={Virtual},
  publisher={PMLR},
  source={http://www.unixer.de/~htor/publications/},
}


serving: 3.236.86.184:51676© Torsten Hoefler