Research output per year
Research output per year
Personal profile
Education/Academic qualification
Doctor of Philosophy (PhD), Type-based amortized stack memory prediction, 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.
- 1 Similar Profiles
Network
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Islaris: Verification of Machine Code Against Authoritative ISA Semantics
Sammler, M., Hammond, A., Lepigre, R., Campbell, B., Pichon-Pharabod, J., Dreyer, D., Garg, D. & Sewell, P., 9 Jun 2022, Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation. Jhala, R. & Dillig, I. (eds.). ACM, p. 825-840 16 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile -
Verified Security for the Morello Capability-enhanced Prototype Arm Architecture
Bauereiss, T., Campbell, B., Sewell, T., Armstrong, A., Esswood, L., Stark, I., Barnes, G., Watson, R. N. M. & Sewell, P., 29 Mar 2022, Programming Languages and Systems - 31st European Symposium on Programming, ESOP 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings. Sergey, I. (ed.). Springer, p. 174-203 30 p. (Lecture Notes in Computer Science; vol. 13240).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile -
Isla: Integrating full-scale ISA semantics andaxiomatic concurrency models
Armstrong, A., Campbell, B., Simner, B., Pulte, C. & Sewell, P., 15 Jul 2021, Proceedings of the 33rd International Conference on Computer-Aided Verification (CAV 2021). Springer, p. 303-316 14 p. (Lecture Notes in Computer Science; vol. 12759).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile -
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