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
-
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., 19 Sept 2023, (Accepted/In press) ASPLOS 2024: Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems. ACM, p. 1-16 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, (E-pub ahead of print) In: Formal Methods in System Design. 30 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 -
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