VLDB 2026 Research / reviewers in the wild / expert
Callum Bannister
dblp:135/9599
· DBLP profile ↗
6ranked-venue papers
3as first author
3since 2021 · last 2023
0000-0002-8799-054XORCID · corroborated
Domains — the database's venue-derived domains; a paper can count in several
Theory of computation · 4 · 3 first-author · 2 since 2021Software engineering, systems software and programming languages · 2 · 1 since 2021
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2023 | Contextuality in Distributed Systems
Nasos Evangelou-Oost, Callum Bannister, Ian J. Hayes |
RAMiCS | 2 |
| 2023 | Trace Models of Concurrent Valuation Algebras
Nasos Evangelou-Oost, Larissa Meinicke, Callum Bannister, Ian J. Hayes |
ICFEM | 3 |
| 2021 | Effect Algebras, Girard Quantales and Complementation in Separation Logic
Callum Bannister, Peter Höfner, Georg Struth |
RAMiCS | 1 |
| 2018 | False Failure: Creating Failure Models for Separation Logic
Callum Bannister, Peter Höfner |
RAMiCS | 1 |
| 2018 | Backwards and Forwards with Separation Logic
Callum Bannister, Peter Höfner, Gerwin Klein |
ITP | 1 |
| 2013 | Formally Verified System Initialisation
Andrew Boyton, June Andronick, Callum Bannister, Matthew Fernandez, David Greenaway, Gerwin Klein, Corey Lewis, Thomas Sewell |
ICFEM | 3 |