Formal Reasoning Using an Iterative Approach with an Integrated Web IDE. - Nabil M. Kabbani; Daniel Welch 001; Caleb H. Priester; Stephen Schaub; Blair Durkee; Yu-Shan Sun; Murali Sitaraman (F-IDE, 2015)

Tool-Assisted Loop Invariant Development and Analysis. - Caleb H. Priester; Yu-Shan Sun; Murali Sitaraman (CSEE&T, 2016)

Loop Invariants: Learning to Help Teach (Abstract Only). - Caleb H. Priester (SIGCSE, 2016)