Mohsen Vakilian

Cascade: A Universal Programmer-assisted Type Qualifier Inference Tool

by Mohsen Vakilian, Amarin Phaosawasdi, Michael D. Ernst, and Ralph E. Johnson.

In Proceedings of the International Conference on Software Engineering (ICSE), 2015, pp. 234–245.

Paper at ACM, Paper at Illinois.

Abstract

Type qualifier inference tools usually operate in batch mode and assume that the program must not be changed except to add the type qualifiers. In practice, programs must be changed to make them type-correct, and programmers must understand them. Cascade is an interactive type qualifier inference tool that is easy to implement and universal (i.e., it can work for any type qualifier system for which a checker is implemented). It shows that qualifier inference can achieve better results by involving programmers rather than relying solely on automation.

BibTeX

@inproceedings{VakilianETAL2015Cascade,
  author = {Mohsen Vakilian and Amarin Phaosawasdi and Michael D. Ernst and Ralph E. Johnson},
  booktitle = {Proceedings of the International Conference on Software Engineering (ICSE)},
  pages = {234--245},
  title = {Cascade: A Universal Programmer-assisted Type Qualifier Inference Tool},
  url = {http://hdl.handle.net/2142/54893},
  year = {2015}
}