Bruce Collie

According to our database, Bruce Collie authored at least 7 papers between 2019 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

Program Lifting using Gray-Box Behavior.

Bruce Collie, Michael F. P. O'Boyle

Proceedings of the 30th International Conference on Parallel Architectures and Compilation Techniques, 2021

2020

Retrofitting Symbolic Holes to LLVM IR.

Bruce Collie, Michael F. P. O'Boyle

CoRR, 2020

M3: Semantic API Migrations.

Bruce Collie, Philip Ginsbach, Jackson Woodruff, Ajitha Rajan, Michael F. P. O'Boyle

Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020

Modeling black-box components with probabilistic synthesis.

Bruce Collie, Jackson Woodruff, Michael F. P. O'Boyle

Proceedings of the GPCE '20: Proceedings of the 19th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, 2020

Automatically harnessing sparse acceleration.

Philip Ginsbach, Bruce Collie, Michael F. P. O'Boyle

Proceedings of the CC '20: 29th International Conference on Compiler Construction, 2020

2019

Augmenting Type Signatures for Program Synthesis.

Bruce Collie, Michael F. P. O'Boyle

CoRR, 2019

Type-Directed Program Synthesis and Constraint Generation for Library Portability.

Bruce Collie, Philip Ginsbach, Michael F. P. O'Boyle

Proceedings of the 28th International Conference on Parallel Architectures and Compilation Techniques, 2019