@inproceedings{stievenart2015detecting,
  author: {Quentin Sti{\'{e}}venart and Jens Nicolay and Wolfgang De Meuter and Coen De Roover},
  editor: {Moreno Falaschi and Elvira Albert},
  title: {Detecting concurrency bugs in higher-order programs through abstract interpretation},
  booktitle: {Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, Siena, Italy, July 14-16, 2015},
  pages: {232--243},
  publisher: {{ACM}},
  year: {2015},
  url: {https://doi.org/10.1145/2790449.2790530},
  doi: {10.1145/2790449.2790530},
}