Research output per year
Research output per year
Personal profile
Education/Academic qualification
Doctor of Philosophy (PhD), University of Edinburgh
Award Date: 1 Jan 2008
Fingerprint
Dive into the research topics where Brian Campbell is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 12 Similar Profiles
Network
Recent external collaboration on country level. Dive into details by clicking on the dots or
Research output
-
Fast and Correct Load-Link/Store-Conditional Instruction Handling in DBT Systems
Kristien, M., Spink, T., Campbell, B., Sarkar, S., Stark, I., Franke, B., Boehm, I. & Topham, N., 1 Nov 2020, In: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 39, 11, p. 3544 - 3554 11 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
Rigorous engineering for hardware security: Formal modelling and proof in the CHERI design and implementation process
Nienhuis, K., Joannou, A., Bauereiss, T., Fox, A., Roe, M., Campbell, B., Naylor, M., Norton, R. M., Moore, S. W., Neumann, P. G., Stark, I., Watson, R. N. M. & Sewell, P., 30 Jul 2020, 2020 IEEE Symposium on Security and Privacy (SP). San Francisco, CA, USA: Institute of Electrical and Electronics Engineers (IEEE), p. 1003-1020 18 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile -
ISA Semantics for ARMv8-A, RISC-V, and CHERI-MIPS
Armstrong, A., Bauereiss, T., Campbell, B., Reid, A., Gray, K. E., Norton, R. M., Mundkur, P., Wassell, M., French, J., Pulte, C., Flur, S., Stark, I., Krishnaswami, N. & Sewell, P., 2 Jan 2019, In: Proceedings of the ACM on Programming Languages. 3, POPL, 31 p., 71.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
Foreword
Hofmann, M., Aspinall, D., Campbell, B., Stark, I. & Stevens, P., 12 Sep 2018, In: Theoretical Computer Science. 741, p. 1-2 2 p.Research output: Contribution to journal › Editorial › peer-review
-
Extracting Behaviour from an Executable Instruction Set Model
Campbell, B. & Stark, I., 27 Mar 2017, Proceedings of the 16th Conference on Formal Methods in Computer - Aided Design (FMCAD 2016). Mountain View, CA, USA: FMCAD Inc, p. 33-40 8 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile