8 citations · 18 across the 7 of their papers we have counts for
6 papers · 1 filter
Deep Data Flow Analysis
Chris Cummins, Hugh Leather, Zacharias Fisches +3
Compiler architects increasingly look to machine learning when building heuristics for compiler optimization. The promise of automatic heuristic design, freeing the compiler engine…
Modeling Black-Box Components with Probabilistic Synthesis
Bruce Collie, Jackson Woodruff, Michael F. P. O'Boyle
This paper is concerned with synthesizing programs based on black-box oracles: we are interested in the case where there exists an executable implementation of a component or libra…
Retrofitting Symbolic Holes to LLVM IR
Bruce Collie, Michael O'Boyle
Symbolic holes are one of the fundamental building blocks of solver-aided and interactive programming. Unknown values can be soundly integrated into programs, and automated tools s…
Type-Directed Program Synthesis and Constraint Generation for Library Portability
Bruce Collie, Philip Ginsbach, Michael F. P. O'Boyle
Fast numerical libraries have been a cornerstone of scientific computing for decades, but this comes at a price. Programs may be tied to vendor specific software ecosystems resulti…
Augmenting Type Signatures for Program Synthesis
Bruce Collie, Michael O'Boyle
Effective program synthesis requires a way to minimise the number of candidate programs being searched. A type signature, for example, places some small restrictions on the structu…
Machine Learning in Compiler Optimisation
Zheng Wang, Michael O'Boyle
In the last decade, machine learning based compilation has moved from an an obscure research niche to a mainstream activity. In this article, we describe the relationship between m…