Bruce Collie

Publication Activity (10 Years)

Years Active: 2019-2021
Publications (10 Years): 11

Top Topics

State Transition

Semantic Knowledge

Program Synthesis

Top Venues

Publications

Bruce Collie, Michael F. P. O'Boyle
Program Lifting using Gray-Box Behavior. PACT (2021)
Philip Ginsbach, Bruce Collie, Michael F. P. O'Boyle
Automatically harnessing sparse acceleration. CC (2020)
Bruce Collie, Philip Ginsbach, Jackson Woodruff, Ajitha Rajan, Michael F. P. O'Boyle
M3: Semantic API Migrations. ASE (2020)
Bruce Collie, Jackson Woodruff, Michael F. P. O'Boyle
Modeling Black-Box Components with Probabilistic Synthesis. CoRR (2020)
Bruce Collie, Michael F. P. O'Boyle
Retrofitting Symbolic Holes to LLVM IR. CoRR (2020)
Bruce Collie, Jackson Woodruff, Michael F. P. O'Boyle
Modeling black-box components with probabilistic synthesis. GPCE (2020)
Bruce Collie, Philip Ginsbach, Jackson Woodruff, Ajitha Rajan, Michael F. P. O'Boyle
M3: Semantic API Migrations. CoRR (2020)
Philip Ginsbach, Bruce Collie, Michael F. P. O'Boyle
Automatically Harnessing Sparse Acceleration. CoRR (2020)
Bruce Collie, Philip Ginsbach, Michael F. P. O'Boyle
Type-Directed Program Synthesis and Constraint Generation for Library Portability. CoRR (2019)
Bruce Collie, Michael F. P. O'Boyle
Augmenting Type Signatures for Program Synthesis. CoRR (2019)
Bruce Collie, Philip Ginsbach, Michael F. P. O'Boyle
Type-Directed Program Synthesis and Constraint Generation for Library Portability. PACT (2019)