Brian Campbell
Brian Campbell
Laboratory for Foundations of Computer Science, University of Edinburgh
Verified email at ed.ac.uk - Homepage
TitleCited byYear
Amortised Memory Analysis using the Depth of Data Structures.
B Campbell
ESOP 5502, 190-204, 2009
332009
Certified complexity (CerCo)
RM Amadio, N Ayache, F Bobot, JP Boender, B Campbell, I Garnier, ...
International Workshop on Foundational and Practical Aspects of Resource …, 2013
202013
An executable semantics for Compcert C
B Campbell
International Conference on Certified Programs and Proofs, 60-75, 2012
192012
Type-based amortized stack memory prediction
B Campbell
The University of Edinburgh, 2008
132008
ISA semantics for ARMv8-A, RISC-V, and CHERI-MIPS
A Armstrong, T Bauereiss, B Campbell, A Reid, KE Gray, RM Norton, ...
Proceedings of the ACM on Programming Languages 3 (POPL), 71, 2019
122019
Randomised testing of a microprocessor model using SMT-solver state generation
B Campbell, I Stark
Science of Computer Programming 118, 60-76, 2016
102016
Certified complexity
R Armadio, A Asperti, N Ayache, B Campbell, D Mulligan, R Pollack, ...
Procedia Computer Science 7, 175-177, 2011
102011
Prediction of linear memory usage for first-order functional programs.
B Campbell
Trends in Functional Programming 9, 1-16, 2008
62008
Extracting Behaviour from an Executable Instruction Set Model
B Campbell, I Stark
Formal Methods in Computer-Aided Design, 2016
42016
Detailed Models of Instruction Set Architectures: From Pseudocode to Formal Semantics
A Armstrong, T Bauereiss, B Campbell, S Flur, KE Gray, P Mundkur, ...
Proceedings of the 25th Automated Reasoning Workshop, 13, 2018
22018
Foreword Preface
M Hofmann, D Aspinall, B Campbell, I Stark, P Stevens
THEORETICAL COMPUTER SCIENCE 741, 1-2, 2018
2018
The system can't perform the operation now. Try again later.
Articles 1–11