Skip to main content

Callum Bannister
PhD Student

Research Interests

Callum's research interests are in functional programming and formal verification. His current work is in separation logic.

Contact Details

Email:Callum.Bannister@data61.csiro.au

More contact information is available at the Contact page.

Photo of Callum Bannister

Publication List

Projects

Current

Publications

Data61 Papers

2018

Abstract PDF Callum Bannister and Peter Hoefner
False failure: Creating failure models for separation logic
17th International Conference on Relational and Algebraic Methods in Computer Science, Groningen, October, 2018
Abstract PDF Callum Bannister, Peter Hoefner and Gerwin Klein
Backwards and forwards with separation logic
International Conference on Interactive Theorem Proving, pp. 68–87, Oxford, July, 2018

NICTA Papers

2013

Abstract
Slides
PDF Andrew Boyton, June Andronick, Callum Bannister, Matthew Fernandez, Xin Gao, David Greenaway, Gerwin Klein, Corey Lewis and Thomas Sewell
Formally verified system initialisation
Proceedings of the 15th International Conference on Formal Engineering Methods, pp. 70–85, Queenstown, New Zealand, October, 2013

Served by Apache on Linux on seL4.