@inproceedings{gershuni2019simple,
  title = {Simple and Precise Static Analysis of Untrusted Linux Kernel Extensions},
  author = {Gershuni, Elazar and Amit, Nadav and Gurfinkel, Arie and Narodytska, Nina and Navas, Jorge A and Rinetzky, Noam and Ryzhyk, Leonid and Sagiv, Mooly},
  booktitle = {ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)},
  year = {2019},
  note = {(acceptance rate: 27%)},
  doi = {10.1145/3314221.3314590}
}