Home Research-feed Channel Rankings GCT THU AI TR Open Data Must Reading

views: 1

Callum Bannister

Sign in to view more

Show Academic Trajectory

Ego Network

D-Core

Research Interests

Author Statistics

Experience

Education

Bio

None

Papers3 papers

Sort

By YearBy Citation

Backwards and Forwards with Separation Logic

Callum Bannister,Peter Höfner,Gerwin Klein

ITP, pp.68-87, (2018)

EIBibtex

False Failure: Creating Failure Models for Separation Logic

Callum Bannister,Peter Höfner

RAMiCS, pp.263-279, (2018)

EIBibtex

Formally Verified System Initialisation

Andrew Boyton,June Andronick,Callum Bannister,Matthew Fernandez,Xin Gao,David Greenaway,Gerwin Klein,Corey Lewis,Thomas Sewell

Lecture Notes in Computer Science, (2013): 70-85

Cited by17EIBibtex

View All

Base Info Papers Patents Projects