• Sign in
  • Sign up
conf.researchr.org / Bruce Collie
  • ASE 2020 profile
  • CC 2020 profile
  • ICFP 2019 profile
  • ICFP 2020 profile
  • SPLASH 2020 profile

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

Share
xMon 25 Jan 18:03
using conf.researchr.org (v1.40.2)
Support page
Sign Up