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.
- 6 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
-
New ISA features and low-level effect handler implementations
Campbell, B., Stark, I., Lindley, S. & Ricciotti, W., 8 Apr 2026, Zenodo. 10 p.Research output: Book/Report › Other report
Open AccessFile -
ArchSem: Reusable rigorous semantics of relaxed architectures
Perami, T., Bauereiss, T., Campbell, B., Liu, Z., Lauermann, N., Armstrong, A. & Sewell, P., 8 Jan 2026, In: Proceedings of the ACM on Programming Languages. 10, POPL, p. 204-234 31 p., 8.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
Precise exceptions in relaxed architectures
Simner, B., Armstrong, A., Bauereiss, T., Campbell, B., Kammar, O., Pichon-Pharabod, J. & Sewell, P., 20 Jun 2025, ISCA '25: Proceedings of the 52nd Annual International Symposium on Computer Architecture. New York, NY, USA: Association for Computing Machinery (ACM), p. 211-224 14 p. (Proceedings of the International Symposium on Computer Architecture).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile -
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., 13 Jun 2025, In: Proceedings of the ACM on Programming Languages. 9, PLDI, p. 1961-1983 23 p., 226.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
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
Datasets
-
Artifact for "Islaris: Verification of Machine Code Against Authoritative ISA Semantics"
Sammler, M. (Creator), Hammond, A. (Creator), Lepigre, R. (Creator), Campbell, B. (Creator), Pichon-Pharabod, J. (Creator), Dreyer, D. (Creator), Garg, D. (Creator) & Sewell, P. (Creator), Zenodo, 1 Mar 2022
DOI: 10.5281/zenodo.6417959, https://zenodo.org/records/6417959
Dataset
-
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