@inproceedings{simpleandprecisestaticanalysisof,
  title = {Simple and precise static analysis of untrusted linux kernel extensions},
  author = {Elazar Gershuni and Nadav Amit and Arie Gurfinkel and Nina Narodytska and Jorge A. Navas and Noam Rinetzky and Leonid Ryzhyk and Mooly Sagiv},
  year = {2019},
  booktitle = {PLDI 2019 6},
  url = {https://dl.acm.org/doi/abs/10.1145/3314221.3314590},
}