TitleCascade: A universal programmer-assisted type qualifier inference tool
Publication TypeConference Paper
Year of Publication2015
AuthorsVakilian M, Phaosawasdi A, Ernst MD, Johnson RE
Conference NameICSE 2015, Proceedings of the 37th International Conference on Software Engineering
Pagination234–245
Date or Month PublishedMay
Conference LocationFlorence, Italy
AbstractType 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.
Downloadshttps://docs.google.com/presentation/d/1huP5pbe-ohrRSt5ASwsflFJYX0Y877a6... slides (Google Slides) https://github.com/reprogrammer/cascade Cascade tool https://github.com/reprogrammer/tqi-study user study materials https://homes.cs.washington.edu/~mernst/pubs/cascade-typeinference-icse2... PDF https://homes.cs.washington.edu/~mernst/pubs/cascade-typeinference-icse2... slides (PDF)
Citation KeyVakilianPEJ2015