Bruce Collie -

Registered user since Thu 18 Jul 2019

Name: Bruce Collie

Affiliation: University of Edinburgh

Contributions

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