Skip to content

Author

Andreas Andreakis

We have 2 of 8 papers

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

Preprint Aug 2026

Machine-Checked Dual-Write Recovery from a Commit Log

Two reachable post-crash states are constructed with the same durable source-side state and different sink acceptance records and it is shown how bounded deduplication state and truncated source history limit the lifetime of the guarantee.

Andreas Andreakis · 1 citation
Preprint Aug 2026

Machine-Checked Dual-Write Recovery from a Committed Log

To the knowledge, what is missing is a deductive account of this recovery boundary, including a result over arbitrary recovery policies that can read the source side but not the sink’s acceptance record, and how long that evidence must survive.

Andreas Andreakis · 2 citations · ⚡1

We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.