VLDB '24
[ACM]
2023-05-08
AMC: Towards Trustworthy and Explorable CRDT Applications with the Automerge Model Checker
Andrew Jeffery, Heidi Howard, Richard Mortier
@ PaPoC '23
[ACM, PDF]
2021-04-26
Rearchitecting Kubernetes for the Edge
Andrew Jeffery, Heidi Howard, Richard Mortier
@ EdgeSys '21
[arXiv, ACM, PDF]
2024-10-24
Modelling orchestration
Andrew Jeffery
@ Department of Computer Science and Technology - SRG Seminars series
[Video, Event, Slides]
2024-04-18
Themelios: a model-checked reimplementation of Kubernetes
Andrew Jeffery, Richard Mortier
@ UKSys '24
[Slides]
2023-07-13
Migrating Key-Value Data Stores to the Edge
Andrew Jeffery, Heidi Howard, Richard Mortier
@ Coseners (MSN) '23
[Slides]
2023-02-05
LSKV: Democratising Confidential Computing from the Core
Andrew Jeffery
@ FOSDEM ‘23
[Slides]
2021-04-26
Rearchitecting Kubernetes for the Edge (Paper Presentation)
Andrew Jeffery, Heidi Howard, Richard Mortier
@ EdgeSys ‘21
[Slides]
2021-03-11
Rearchitecting Kubernetes for the Edge
Andrew Jeffery, Heidi Howard, Richard Mortier
@ Department of Computer Science and Technology - SRG Seminars series
[Video, Event, Slides]
2024-04-23
Themelios: a model-checked reimplementation of Kubernetes
Andrew Jeffery
@ EuroSys '24
[Poster, Abstract]