Type-Directed Program Synthesis and Constraint Generation for Library Portability. - Bruce Collie; Philip Ginsbach; Michael F. P. O'Boyle (PACT, 2019)

Augmenting Type Signatures for Program Synthesis. - Bruce Collie; Michael F. P. O'Boyle (CoRR, 2019)

Automatically harnessing sparse acceleration. - Philip Ginsbach; Bruce Collie; Michael F. P. O'Boyle (CC, 2020)

Modeling black-box components with probabilistic synthesis. - Bruce Collie; Jackson Woodruff; Michael F. P. O'Boyle (GPCE, 2020)

M3: Semantic API Migrations. - Bruce Collie; Philip Ginsbach; Jackson Woodruff; Ajitha Rajan; Michael F. P. O'Boyle (ASE, 2020)

Retrofitting Symbolic Holes to LLVM IR. - Bruce Collie; Michael F. P. O'Boyle (CoRR, 2020)

Program Lifting using Gray-Box Behavior. - Bruce Collie; Michael F. P. O'Boyle (PACT, 2021)