Bruce Collie

I’m a Staff Software Engineer at Category Labs, leading development of the Monad execution client.

Previously, I led the K Framework at Runtime Verification. I hold a PhD from the University of Edinburgh, where I researched program synthesis with Professor Michael O’Boyle.

Employment

Category Labs
2024–present
I lead a large team working across all aspects of the execution client, with responsibility for protocol design, technical leadership, and systems implementation.
About Category Labs Execution GitHub Architecture overview
Runtime Verification
2021–2024
I led development of the K Framework’s compiler and tooling ecosystem, including its LLVM backend, and provided technical leadership across commercial projects.
About RV RV GitHub

PhD Research
2017–2021
Program synthesis to learn the behaviour of black-box interfaces.
MSc dissertation PhD thesis
GoCardless
2016
Direct Debit processing infrastructure on the Core Payments team.
About GoCardless
RealVNC
2015
An Apple CarPlay prototype, including Linux USB kernel work and a protocol driver.
About RealVNC

Program Lifting using Gray-Box Behavior
PACT 2021Conference PaperPDF
Modeling Black-Box Components with Probabilistic Synthesis
GPCE 2020Conference PaperPDF ACMBest paper
M³: Semantic API Migration
ASE 2020Conference PaperPDF IEEE
Retrofitting Symbolic Holes to LLVM IR
TyDe 2020Workshop PresentationPDF Video
Automatically Harnessing Sparse Acceleration
CC 2020Conference PaperPDF ACM
Type-Directed Program Synthesis and Constraint Generation for Library Portability
PACT 2019Conference PaperPDF Slides IEEE
Augmenting Type Signatures for Program Synthesis
TyDe 2019Workshop PresentationPDF Slides