@inproceedings{Pohjola_STWSNUMSMNH_23,
    address          = {Koblenz, DE},
    author           = {Johannes {\AA}man Pohjola and Hira Taqdees Syeda and Miki Tanaka and Krishnan Winter and Tsun Wang
                        Sau and Benjamin Nott and Tiana Tsang Ung and Craig McLaughlin and Remy Seassau and Magnus O. Myreen
                        and Michael Norrish and Gernot Heiser},
    booktitle        = {Workshop on Programming Languages and Operating Systems (PLOS)},
    month            = oct,
    paperurl         = {https://trustworthy.systems/publications/papers/Pohjola_STWSNUMSMNH_23.pdf},
    title            = {Pancake: Verified Systems Programming Made Sweeter},
    year             = {2023}
  }