Edinburgh Research Explorer

Brian Campbell

Senior Researcher

  1. 2020
  2. 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 journalArticlepeer-review

  3. 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 proceedingConference contribution

  4. 2019
  5. 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 (PACMPL). 3, POPL, 31 p., 71.

    Research output: Contribution to journalArticlepeer-review

  6. 2018
  7. 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 journalEditorialpeer-review

  8. 2017
  9. 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 proceedingConference contribution

  10. 2016
  11. Randomised testing of a microprocessor model using SMT-solver state generation

    Campbell, B. & Stark, I., 1 Mar 2016, In: Science of Computer Programming. 118, p. 60-76 17 p.

    Research output: Contribution to journalArticlepeer-review

  12. 2014
  13. Certified Complexity (CerCo)

    Amadio, R., Ayache, N., Bobot, F., Boender, J., Campbell, B., Garnier, I., Madet, A., McKinna, J., Mulligan, D., Piccolo, M., Pollack, R., Régis-Giannas, Y., Sacerdoti Coen, C., Stark, I. & Tranquilli, P., 2014, Foundational and Practical Aspects of Resource Analysis: Revised Selected Papers from the Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013. Springer International Publishing, p. 1-18 18 p. (Lecture Notes in Computer Science; vol. 8552).

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

  14. Randomised Testing of a Microprocessor Model Using SMT-Solver State Generation

    Campbell, B. & Stark, I., 2014, Formal Methods for Industrial Critical Systems: 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014. Proceedings. Lang, F. & Flammini, F. (eds.). Springer International Publishing, p. 185-199 15 p. (Lecture Notes in Computer Science; vol. 8718).

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

  15. 2012
  16. An Executable Semantics for CompCert C

    Campbell, B., 2012, Certified Programs and Proofs: Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012. Proceedings. Hawblitzel, C. & Miller, D. (eds.). Springer Berlin Heidelberg, p. 60-75 16 p. (Lecture Notes in Computer Science; vol. 7679).

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

  17. 2011
  18. Certified Complexity

    Armadio, R., Asperti, A., Ayache, N., Campbell, B., Mulligan, D., Pollack, R., Regis-Gianas, Y., Coen, C. S. & Stark, I., 2011, In: Procedia Computer Science. 7, p. 175-177 3 p.

    Research output: Contribution to journalArticlepeer-review

Previous 1 2 Next