@article{Vij_KRHZRWL_13,
    isbn             = {978-1-934053-62-1},
    month            = dec,
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/7690.pdf},
    journal          = {Intel Technology Journal},
    year             = {2013},
    keywords         = {device driver synthesis},
    volume           = {17},
    title            = {Device Driver Synthesis},
    number           = {2},
    author           = {Vij, Mona and Keys, John and Raghunath, Arun and Hahn, Scott and Zimmer, Vincent and Ryzhyk, Leonid
                        and Walker, Adam Christopher and Legg, Alexander},
    pages            = {136--157}
  }