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
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Morello-Cerise: A proof of strong encapsulation for the Arm Morello capability hardware architecture
Hammond, A., Almeida, R., Bauereiss, T., Campbell, B., Stark, I. & Sewell, P., 6 Mar 2025, (Accepted/In press) In: Proceedings of the ACM on Programming Languages. 9, PLDI, p. 1-23 23 p., 226.Research output: Contribution to journal › Article › peer-review
Open Access -
A CHERI C memory model for verified temporal safety
Zaliva, V., Memarian, K., Campbell, B., Almeida, R., Filardo, N., Stark, I. & Sewell, P., 19 Nov 2024, (Accepted/In press) Proceedings of the 14th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP ’25). New York, NY, USA: ACM, p. 1-15 15 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile -
Formal Mechanised Semantics of CHERI C: Capabilities, Provenance, and Undefined Behaviour
Zaliva, V., Memarian, K., De Oliveira Almeida, R., Clarke, J., Davis, B., Richardson, A., Chisnall, D., Campbell, B., Stark, I., Watson, R. N. M. & Sewell, P., 17 Apr 2024, ASPLOS 2024: Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems. ACM, Vol. 1. p. 181-196 16 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile -
Isla: Integrating full-scale ISA semantics and axiomatic concurrency models (extended version)
Armstrong, A., Campbell, B., Simner, B., Pulte, C. & Sewell, P., 12 May 2023, In: Formal Methods in System Design. 63, p. 110–133 24 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
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
Datasets
-
Morello Cerise Artifact
Hammond, A. (Creator), Almeida, R. (Creator), Bauereiss, T. (Creator), Campbell, B. (Creator), Stark, I. (Creator) & Sewell, P. (Creator), Zenodo, 18 Mar 2025
Dataset