Brian Campbell

According to our database1, Brian Campbell authored at least 12 papers between 2008 and 2020.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2020
Fast and Correct Load-Link/Store-Conditional Instruction Handling in DBT Systems.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020

Rigorous engineering for hardware security: Formal modelling and proof in the CHERI design and implementation process.
Proceedings of the 2020 IEEE Symposium on Security and Privacy, 2020

2019
ISA semantics for ARMv8-a, RISC-v, and CHERI-MIPS.
Proc. ACM Program. Lang., 2019

2018
Foreword.
Theor. Comput. Sci., 2018

2016
Randomised testing of a microprocessor model using SMT-solver state generation.
Sci. Comput. Program., 2016

Extracting behaviour from an executable instruction set model.
Proceedings of the 2016 Formal Methods in Computer-Aided Design, 2016

2013

2012
An Executable Semantics for CompCert C.
Proceedings of the Certified Programs and Proofs - Second International Conference, 2012

2011
Certified Complexity.
Proceedings of the 2nd European Future Technologies Conference and Exhibition, 2011

2009
Amortised Memory Analysis Using the Depth of Data Structures.
Proceedings of the Programming Languages and Systems, 2009

2008
Type-based amortized stack memory prediction.
PhD thesis, 2008

Prediction of linear memory usage for first-order functional programs.
Proceedings of the Nineth Symposium on Trends in Functional Programming, 2008


  Loading...