Cascade: A universal programmer-assisted type qualifier inference tool

Download: PDF, slides (PDF), slides (Google Slides), Cascade tool, user study materials.

“Cascade: A universal programmer-assisted type qualifier inference tool” by Mohsen Vakilian, Amarin Phaosawasdi, Michael D. Ernst, and Ralph E. Johnson. In ICSE 2015, Proceedings of the 37th International Conference on Software Engineering, (Florence, Italy), May 2015, pp. 234-245.

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.

Download: PDF, slides (PDF), slides (Google Slides), Cascade tool, user study materials.

BibTeX entry:

@inproceedings{VakilianPEJ2015,
   author = {Mohsen Vakilian and Amarin Phaosawasdi and Michael D. Ernst
	and Ralph E. Johnson},
   title = {Cascade: A universal programmer-assisted type qualifier
	inference tool},
   booktitle = {ICSE 2015, Proceedings of the 37th International
	Conference on Software Engineering},
   pages = {234--245},
   address = {Florence, Italy},
   month = may,
   year = {2015}
}

(This webpage was created with bibtex2web.)

Back to Michael Ernst's publications.