Daniel Welch. Scaling Up Automated Verification: A Case Study and Formal-IDE for the Construction of High Integrity Software. In Proceedings of the 48th ACM Technical Symposium on Computer Science Education, SIGCSE 2017. (paper / poster) First place in ACM graduate student research competition
Daniel Welch and Murali Sitaraman. Engineering and Employing Reusable Software Components for Modular Verification. In Botterweck G. and Werner C. (eds.). Proceedings of the 16th International Conference on Software Reuse, ICSR 2017. (paper)
Nabil M. Kabbani, Daniel Welch, Caleb Priester, Stephen Schaub, Blair Durkee, Yu-Shan Sun, and Murali Sitaraman. Formal Reasoning Using an Iterative Approach with an Integrated Web IDE. In Proceedings of the 2nd International Workshop on Formal Integrated Development Environments, F-IDE 2015. (paper)
Daniel Welch, Charles T. Cook, Yu-Shan Sun, and Murali Sitaraman. A Verifying Compiler for RESOLVE: A Research Perspective. In Proceedings of the 7th India Software Engineering Conference, ISEC 2014. (paper)