How should compilers explain problems to developers?

Titus Barik, Denae Ford, Emerson R. Murphy-Hill, Chris Parnin. How should compilers explain problems to developers?. In Gary T. Leavens, Alessandro Garcia, Corina S. Pasareanu, editors, Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC/SIGSOFT FSE 2018, Lake Buena Vista, FL, USA, November 04-09, 2018. pages 633-643, ACM, 2018. [doi]

@inproceedings{BarikFMP18,
  title = {How should compilers explain problems to developers?},
  author = {Titus Barik and Denae Ford and Emerson R. Murphy-Hill and Chris Parnin},
  year = {2018},
  doi = {10.1145/3236024.3236040},
  url = {https://doi.org/10.1145/3236024.3236040},
  researchr = {https://researchr.org/publication/BarikFMP18},
  cites = {0},
  citedby = {0},
  pages = {633-643},
  booktitle = {Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC/SIGSOFT FSE 2018, Lake Buena Vista, FL, USA, November 04-09, 2018},
  editor = {Gary T. Leavens and Alessandro Garcia and Corina S. Pasareanu},
  publisher = {ACM},
  isbn = {978-1-4503-5573-5},
}