@inproceedings{Murphy_RRGTPTH_25,
    address          = {Seoul, Republic of Korea},
    author           = {Liam Murphy and Albert Rizaldi and Lesley Rossouw and Chen George and James Treloar and Hammond
                        Pearce and Miki Tanaka and Gernot Heiser},
    booktitle        = {Workshop on Programming Languages and Operating Systems (PLOS)},
    doi              = {10.1145/3764860.3768335},
    location         = {Seoul, Republic of Korea},
    month            = oct,
    pages            = {60--67},
    paperurl         = {https://trustworthy.systems/publications/papers/Murphy_RRGTPTH_25.pdf},
    publisher        = {ACM},
    title            = {High-Fidelity Specification of Real-World Devices},
    year             = {2025}
  }