@inproceedings{stievenart2015static,
  author: {Quentin Sti{\'{e}}venart and Jens Nicolay and Wolfgang De Meuter and Coen De Roover},
  editor: {Antonia Bertolino and Gerardo Canfora and Sebastian G. Elbaum},
  title: {Poster: Static Analysis of Concurrent Higher-Order Programs},
  booktitle: {37th {IEEE/ACM} International Conference on Software Engineering, {ICSE} 2015, Florence, Italy, May 16-24, 2015, Volume 2},
  pages: {821--822},
  publisher: {{IEEE} Computer Society},
  year: {2015},
  url: {https://doi.org/10.1109/ICSE.2015.265},
  doi: {10.1109/ICSE.2015.265},
}