@inproceedings{Ryzhyk_WKLRSV_14,
    address          = {Broomfield, CO, USA},
    author           = {Ryzhyk, Leonid and Walker, Adam Christopher and Keys, John and Legg, Alexander and Raghunath, Arun
                        and Stumm, Michael and Vij, Mona},
    booktitle        = {USENIX Symposium on Operating Systems Design and Implementation},
    keywords         = {termite, device drivers, abstraction refinement, predicate abstraction},
    month            = oct,
    pages            = {661--676},
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/8077.pdf},
    slides           = {https://trustworthy.systems/publications/nicta_slides/8077.pdf},
    title            = {User-Guided Device Driver Synthesis},
    year             = {2014}
  }