Edinburgh Research Explorer

Brian Campbell

Senior Researcher

Education/Academic qualification

Doctor of Philosophy (PhD), University of Edinburgh
Type-based amortized stack memory prediction

Research outputs

  1. Fast and Correct Load-Link/Store-Conditional Instruction Handling in DBT Systems

    Research output: Contribution to journalArticlepeer-review

  2. Rigorous engineering for hardware security: Formal modelling and proof in the CHERI design and implementation process

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  3. ISA Semantics for ARMv8-A, RISC-V, and CHERI-MIPS

    Research output: Contribution to journalArticlepeer-review

View all (12) »

ID: 219509