BibTeX records: Tsun Wang Sau

• > Home > Persons > Tsun Wang Sau

@article{DBLP:journals/corr/abs-2501-08249,
  author       = {Junming Zhao and
                  Alessandro Legnani and
                  Tiana J. Tsang Ung and
                  H. Truong and
                  Tsun Wang Sau and
                  Miki Tanaka and
                  Johannes {\AA}man Pohjola and
                  Thomas Sewell and
                  Rob Sison and
                  Syeda Hira and
                  Magnus Myreen and
                  Michael Norrish and
                  Gernot Heiser},
  title        = {Verifying Device Drivers with Pancake},
  journal      = {CoRR},
  volume       = {abs/2501.08249},
  year         = {2025},
  url          = {https://doi.org/10.48550/arXiv.2501.08249},
  doi          = {10.48550/ARXIV.2501.08249},
  eprinttype   = {arXiv},
  eprint       = {2501.08249},
  timestamp    = {Tue, 14 Jul 2026 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2501-08249.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/plos/PohjolaSTWSNUMS23,
  author       = {Johannes {\AA}man Pohjola and
                  Hira Taqdees Syeda and
                  Miki Tanaka and
                  Krishnan Winter and
                  Tsun Wang Sau and
                  Benjamin Nott and
                  Tiana J. Tsang Ung and
                  Craig McLaughlin and
                  Remy Seassau and
                  Magnus O. Myreen and
                  Michael Norrish and
                  Gernot Heiser},
  title        = {Pancake: Verified Systems Programming Made Sweeter},
  booktitle    = {Proceedings of the 12th Workshop on Programming Languages and Operating
                  Systems, {PLOS} 2023, Koblenz, Germany, 23 October 2023},
  pages        = {1--9},
  publisher    = {{ACM}},
  year         = {2023},
  url          = {https://doi.org/10.1145/3623759.3624544},
  doi          = {10.1145/3623759.3624544},
  timestamp    = {Sun, 19 Jan 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/plos/PohjolaSTWSNUMS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}