@inproceedings{nicolay2019effectdriven,
  author: {Jens Nicolay and Quentin Sti{\'{e}}venart and Wolfgang De Meuter and Coen De Roover},
  editor: {Constantin Enea and Ruzica Piskac},
  title: {Effect-Driven Flow Analysis},
  booktitle: {Proceedings of the 20th International Conference on Verification, Model Checking, and Abstract Interpretation, {VMCAI} 2019, Cascais, Portugal, January 13-15, 2019, Proceedings},
  series: {Lecture Notes in Computer Science},
  volume: {11388},
  pages: {247--274},
  publisher: {Springer},
  year: {2019},
  url: {https://doi.org/10.1007/978-3-030-11245-5\_12},
  doi: {10.1007/978-3-030-11245-5\_12},
}