I am interesting in identification of software vulnerabilities, using formal methods to create software with security properties, and computer security/computer science education.
Fagin, B., & Carlisle, M.
(2013).Provably Secure DNS: A Case Study in Reliable Software. ADVANCED COMPUTING STRATEGIES FOR ENGINEERING, PT II.
Reliable Software Technologies – Ada-Europe 2013.
(pp. 81-93).
Springer Berlin Heidelberg.
Carlisle, M. C., & Rogers, A.
(2001).Supporting Dynamic Data Structures with Olden. ADVANCED COMPUTING STRATEGIES FOR ENGINEERING, PT II.
Pande, S., & Agrawal, D. P. (Eds.),
Compiler Optimizations for Scalable Parallel Systems.
(pp. 709-749).
Springer Berlin Heidelberg.
Sutton, D. P., Carlisle, M. C., Sarmiento, T. A., & Baird, L. C.
(2009).Partitioned neural networks. 2009 International Joint Conference on Neural Networks.
3032-3037.
Powers, K., Gross, P., Cooper, S., McNally, M., Goldman, K. J., Proulx, V., & Carlisle, M.
(2006).Tools for teaching introductory programming. ACM SIGCSE Bulletin.
560-561.