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

Registered user since Thu 18 Jul 2019

Name:Bruce Collie
Country:United Kingdom
Affiliation:Runtime Verification, Inc.
Personal website: https://baltoli.github.io
X (Twitter): https://x.com/__inshorts
GitHub: https://github.com/baltoli
Research interests:Compilers, semantics, formal verification

Contributions

2023

PLDI

  • Committee Member of From Zero to Proving: Building Your First Language with the K Framework within the Tutorials-track

2020

GPCE

  • Author of Modeling Black-Box Components with Probabilistic Synthesis within the GPCE-track

ASE

  • Author of M3: Semantic API Migrations within the Research Papers-track

TyDe

  • Author of Retrofitting Symbolic Holes to LLVM IR (Extended Abstract) within the TyDe 2020-track

CC

  • Author of Automatically Harnessing Sparse Acceleration within the Main Conference-track

2019

TyDe

  • Author of Augmenting Type Signatures for Program Synthesis within the TyDe 2019-track
Share
xWed 21 May 19:48
using conf.researchr.org (v1.69.0)
Support page
Sign Up