@inproceedings{Tyler_LZSWTH_26,
    author           = {Samuel Tyler and Alessandro Legnani and Junming Zhao and Zhewen Shen and Rihui Wu and Miki Tanaka
                        and Gernot Heiser},
    booktitle        = {Workshop on Programming Languages and Operating Systems (PLOS)},
    doi              = {10.1145/3831586.3838153},
    location         = {Prague, Czech Republic},
    month            = sept,
    paperurl         = {https://trustworthy.systems/publications/papers/Tyler_LZSWTH_26.pdf},
    title            = {{SMT}-based Deductive Verification of Device Drivers using the {P}ancake-to-{V}iper Transpiler},
    year             = {2026}
  }