conf.researchr.org / Bruce Collie

Registered user since Thu 18 Jul 2019

Name: Bruce Collie

Affiliation: University of Edinburgh

Contributions

TyDe 2020Author of Retrofitting Symbolic Holes to LLVM IR (Extended Abstract) within the TyDe 2020-track
GPCE 2020Author of Modeling Black-Box Components with Probabilistic Synthesis within the GPCE-track
ASE 2020Author of M3: Semantic API Migrations within the Research Papers-track
CC 2020Author of Automatically Harnessing Sparse Acceleration within the Main Conference-track
TyDe 2019Author of Augmenting Type Signatures for Program Synthesis within the TyDe 2019-track