Formally Verified System Initialisation. - Andrew Boyton; June Andronick; Callum Bannister; Matthew Fernandez; Xin Gao; David Greenaway; Gerwin Klein; Corey Lewis; Thomas Sewell (ICFEM, 2013)

False Failure: Creating Failure Models for Separation Logic. - Callum Bannister; Peter Höfner (RAMiCS, 2018)

Backwards and Forwards with Separation Logic. - Callum Bannister; Peter Höfner; Gerwin Klein (ITP, 2018)

Forward with separation logic. - Callum Bannister (2019)

Effect Algebras, Girard Quantales and Complementation in Separation Logic. - Callum Bannister; Peter Höfner; Georg Struth (RAMiCS, 2021)

Contextuality in Distributed Systems. - Nasos Evangelou-Oost; Callum Bannister; Ian J. Hayes (RAMiCS, 2023)

Trace Models of Concurrent Valuation Algebras. - Nasos Evangelou-Oost; Larissa Meinicke; Callum Bannister; Ian J. Hayes (ICFEM, 2023)