8 citations · 15 across the 4 of their papers we have counts for
4 papers · 1 filter
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…