@inproceedings{Amani_RDHLZ_11,
    address          = {Shanghai, China},
    author           = {Amani, Sidney and Ryzhyk, Leonid and Donaldson, Alastair and Heiser, Gernot and Legg, Alexander and
                        Zhu, Yanjin},
    booktitle        = {Asia-Pacific Workshop on Systems (APSys)},
    keywords         = {device drivers, reliability, static analysis},
    month            = jul,
    pages            = {1--5},
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/4832.pdf},
    title            = {Static Analysis of Device Drivers: We Can Do Better!},
    year             = {2011}
  }