Carlisle, Martin individual record
Professor of the Practice
overview

I am interesting in identification of software vulnerabilities, using formal methods to create software with security properties, and computer security/computer science education.

education and training
selected publications
Academic Articles29
  • Fagin, B. S., & Carlisle, M. C. (2018). The IRONSIDES Project: Final Report.. Ada User Journal. 39(3), 197-202.
  • Carlisle, M. C. (2011). Why i came back to Ada. ACM SIGAda Ada Letters. 31(3), 37-38.
    doi badge online source badge
  • Carlisle, M. C. (2009). Raptor: A Visual Programming Environment for Teaching Object-Oriented Programming. J. Comput. Sci. Coll.. 24, 275–281-275–281.
  • Carlisle, M. C., & Baird III, L. C. (2007). Timing neural networks in C and ada. ACM SIGAda Ada Letters. XXVII(3), 71-74.
    doi badge online source badge
  • Carlisle, M. C. (2006). Automatic OO parser generation using visitors for Ada 2005. ACM SIGAda Ada Letters. XXVI(3), 3-8.
    doi badge online source badge
Chapters2
  • Fagin, B., & Carlisle, M. (2013). Provably Secure DNS: A Case Study in Reliable Software. ADVANCED DATA MINING AND APPLICATIONS, PROCEEDINGS. Reliable Software Technologies – Ada-Europe 2013. (pp. 81-93). Springer Berlin Heidelberg.
    doi badge
  • Carlisle, M. C., & Rogers, A. (2001). Supporting Dynamic Data Structures with Olden. ADVANCED DATA MINING AND APPLICATIONS, PROCEEDINGS. Pande, S., & Agrawal, D. P. (Eds.), Compiler Optimizations for Scalable Parallel Systems. (pp. 709-749). Springer Berlin Heidelberg.
    doi badge
Conference Papers32
Email
carlislem@tamu.edu
First Name
Martin
Last Name
Carlisle