According to our database1, Brian Campbell authored at least 12 papers between 2008 and 2020.
Legend:Book In proceedings Article PhD thesis Other
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
Sci. Comput. Program., 2016
Proceedings of the 2016 Formal Methods in Computer-Aided Design, 2016
Proceedings of the Foundational and Practical Aspects of Resource Analysis, 2013
Proceedings of the Certified Programs and Proofs - Second International Conference, 2012
Proceedings of the 2nd European Future Technologies Conference and Exhibition, 2011
Proceedings of the Programming Languages and Systems, 2009
Prediction of linear memory usage for first-order functional programs.
Proceedings of the Nineth Symposium on Trends in Functional Programming, 2008