This is the demo of hangfolio (a fictional person). Create your own →

hangfolio.github.io

Publications

Conference papers

2024EXC ’24

Bounded Staleness for Edge Caches

A. Author*, Rowan Vale*, P. Investigator

*Equal contribution

Proceedings of the Example Conference (EXC '24), Lisbon, May 20–23, 2024

doi:10.5555/exc24.0001

[PDF][Code][BibTeX]

Summary

We bound how stale an edge cache can be without giving up its latency win.

BibTeX

@inproceedings{vale2024bounded,
  title     = {Bounded Staleness for Edge Caches},
  author    = {Author, A. and Vale, Rowan and Investigator, P.},
  booktitle = {Proceedings of the Example Conference (EXC '24)},
  year      = {2024},
  pages     = {1--12},
  doi       = {10.5555/exc24.0001},
  pdf       = {/example/vale2024bounded.pdf},
  code      = {https://github.com/hangfolio},
  abbr      = {EXC ’24},
  selected  = {true}
}

In preparation

  1. 01Rust · TLA+

    Finding Lost Writes by Replaying Crash Points

    EXC ’27 · in preparation

    We replay every crash point between fsync calls and check that a key-value store keeps each write it acknowledged.