HR job title
- Professor of the Practice
- Contact Info
- Websites
- ORCiD
- 0000-0003-3940-8268
Carlisle, Martin Professor of the Practice
Positions
- Professor of the Practice, Computer Science and Engineering, College of Engineering
- Faculty Affiliate, Institute for Engineering Education and Innovation, Texas A&M Engineering Experiment Station (TEES)
I am interesting in identification of software vulnerabilities, using formal methods to create software with security properties, and computer security/computer science education.
Research Areas
- Overview
- Publications
- Teaching
- Background
- Contact
- Other
- View All
Overview
Publications
selected publications
-
academic article
-
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.
-
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.
-
Powers, K., Gross, P., Cooper, S., McNally, M., Goldman, K. J., Proulx, V., & Carlisle, M.
(2006).
Tools for teaching introductory programming. ACM SIGCSE Bulletin.
38(1), 560-561.
-
Carlisle, M. C.
(2006).
Automatic OO parser generation using visitors for Ada 2005. ACM SIGAda Ada Letters.
XXVI(3), 3-8.
-
Carlisle, M. C.
(2006).
How Ada 2005 impacts CS1/2. ACM SIGAda Ada Letters.
XXVI(1), 18-24.
-
Carlisle, M. C., & Hamilton, J. A.
(2006).
Integrating Ada 2005 into visual studio 2005. ACM SIGAda Ada Letters.
XXVI(3), 15-20.
-
Carlisle, M. C., Wilson, T. A., Humphries, J. W., & Hadfield, S. M.
(2005).
RAPTOR: a visual programming environment for teaching algorithmic problem solving. ACM SIGCSE Bulletin.
37(1), 176-180.
-
Carlisle, M. C., Wilson, T. A., Humphries, J. W., & Hadfield, S. M.
(2004).
RAPTOR: Introducing Programming to Non-Majors with Flowcharts. J. Comput. Sci. Coll..
19, 52–60-52–60.
-
Carlisle, M. C., & Merkle, L. D.
(2004).
Automated Load Balancing of a Missile Defense Simulation Using Domain Knowledge. The Journal of Defense Modeling and Simulation Applications Methodology Technology.
1(1), 59-68.
-
Humphries, J. W., Carlisle, M. C., & Wilson, T. A.
(2004).
Multilanguage programming with ada in the .Net environment. ACM SIGAda Ada Letters.
XXIV(1), 1-3.
-
Sward, R. E., Carlisle, M. C., Fagin, B. S., & Gibson, D. S.
(2004).
The case for Ada at the USAF academy. ACM SIGAda Ada Letters.
XXIV(1), 68-70.
-
Carlisle, M. C., Sward, R. E., & Humphries, J. W.
(2003).
Weaving Ada 95 into the .net environment. ACM SIGAda Ada Letters.
XXIII(1), 22-26.
-
Carlisle, M. C., & Sward, R. E.
(2002).
An automatic visitor generator for ada. ACM SIGAda Ada Letters.
XXII(3), 42-47.
-
Humphries, J. W., & Carlisle, M. C.
(2002).
Introduction to Cryptography. Journal on Educational Resources in Computing.
2(3), 2-2.
-
Carlisle, M. C., & Shomper, K.
(2002).
ROBOT interpreter. Journal on Educational Resources in Computing.
2(2), 2-2.
-
Carlisle, M. C.
(2000).
An automatic object-oriented parser generator for Ada. ACM SIGAda Ada Letters.
XX(2), 57-62.
-
Carlisle, M. C.
(1999).
A truly implementation independent GUI development tool. ACM SIGAda Ada Letters.
XIX(3), 47-52.
-
Carlisle, M. C.
(1999).
Graphics for free. ACM SIGCSE Bulletin.
31(2), 65-68.
-
Carlisle, M. C., & Maes, P.
(1998).
RAPID. ACM SIGAda Ada Letters.
XVIII(6), 158-164.
-
Carlisle, M. C., & Chamillard, A. T.
(1998).
AdaGIDE: a friendly introductory programming environment for a freshman computer science course. ACM SIGAda Ada Letters.
XVIII(2), 42-52.
-
Carlisle, M. C.
(1998).
Graphics for free. ACM SIGAda Ada Letters.
XVIII(5), 47-50.
-
Carlisle, M. C., & Rogers, A.
(1996).
Software Caching and Computation Migration in Olden. Journal of Parallel and Distributed Computing.
38(2), 248-255.
-
Carlisle, M. C., & Lloyd, E. L.
(1995).
On the k-coloring of intervals. Discrete Applied Mathematics.
59(3), 225-235.
-
Carlisle, M. C., & Rogers, A.
(1995).
Software caching and computation migration in Olden. ACM SIGPLAN NOTICES.
30(8), 29-38.
-
Rogers, A., Carlisle, M. C., Reppy, J. H., & Hendren, L. J.
(1995).
Supporting dynamic data structures on distributed-memory machines. ACM Transactions on Programming Languages and Systems.
17(2), 233-263.
-
Buchsbaum, A. L., & Carlisle, M. C.
(1993).
Determining uni-connectivity in directed graphs. Information Processing Letters.
48(1), 9-12.
-
Carlisle, M.
Keynote address. ACM SIGAda Ada Letters.
XXI(4), 71-72.
-
Fagin, B. S., & Carlisle, M. C.
(2018).
The IRONSIDES Project: Final Report. Ada User Journal.
39(3), 197-202.
-
chapter
-
Fagin, B., & Carlisle, M.
(2013).
Provably Secure DNS: A Case Study in Reliable Software. AD-HOC, MOBILE, AND WIRELESS NETWORKS.
Reliable Software Technologies – Ada-Europe 2013.
(pp. 81-93).
Springer Berlin Heidelberg.
-
Carlisle, M. C., & Rogers, A.
(2001).
Supporting Dynamic Data Structures with Olden. AD-HOC, MOBILE, AND WIRELESS NETWORKS.
Pande, S., & Agrawal, D. P. (Eds.),
Compiler Optimizations for Scalable Parallel Systems.
(pp. 709-749).
Springer Berlin Heidelberg.
-
Fagin, B., & Carlisle, M.
(2013).
Provably Secure DNS: A Case Study in Reliable Software. AD-HOC, MOBILE, AND WIRELESS NETWORKS.
Reliable Software Technologies – Ada-Europe 2013.
(pp. 81-93).
Springer Berlin Heidelberg.
-
conference paper
-
Jones, L., Banescu, S., Christman, D., & Carlisle, M.
(2018).
ByteWise: A Case Study in Neural Network Obfuscation Identification. 155-164.
-
Fagin, B. S., Klanderman, B., & Carlisle, M. C.
(2017).
Making DNS Servers Resistant to Cyber Attacks: An Empirical Study on Formal Methods and Performance. 2015 IEEE 39th Annual Computer Software and Applications Conference.
566-571.
-
Jones, L., Sellers, A., & Carlisle, M.
(2016).
CARDINAL: Similarity Analysis to Defeat Malware Compiler Variations. 1-8.
-
Jones, L., Sellers, A., Carlisle, M., & IEEE, ..
(2016).
CARDINAL: Similarity Analysis to Defeat Malware Compiler Variations. 39-46.
-
Adkins, F., Carlisle, M., Jones, L., & Upchurch, J.
(2013).
Heuristic Malware Detection via Basic Block Comparison. 11-18.
-
Carlisle, M., & Fagin, B.
(2012).
IRONSIDES: DNS With No Single-Packet Denial of Service or Remote Code Execution Vulnerabilities. 2012 IEEE GLOBAL COMMUNICATIONS CONFERENCE (GLOBECOM).
839-844.
-
Baird, L. C., Carlisle, M. C., Bahn, W. L., & Smith, E.
(2012).
The Glowworm hash: Increased Speed and Security for BBC Unkeyed Jam Resistance. 2008 IEEE MILITARY COMMUNICATIONS CONFERENCE: MILCOM 2008, VOLS 1-7.
1-6.
-
Hadfield, S., Schweitzer, D., Gibson, D., Fagin, B., Carlisle, M., Boleng, J., & Bibighaus, D.
(2011).
Defining, Integrating, and Assessing a Purposeful Progression of Cross-Curricular Initiatives into a Computer Science Program. 2011 Frontiers in Education Conference (FIE).
t3j-1-t3j-6-T3J-6.
-
Carlisle, M. C.
(2011).
What should a college classroom look like in a digital age?. 1-1.
-
Carlisle, M. C.
(2011).
Why i came back to Ada. ACM SIGAda Ada Letters.
37-38.
-
Baird, L. C., Carlisle, M. C., & Bahn, W. L.
(2010).
Unkeyed Jam Resistance 300 Times Faster: The Inchworm Hash. 1298-1303.
-
Carlisle, M. C.
(2010).
Using You Tube to enhance student class preparation in an introductory Java course. 470-474.
-
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.
-
Hamilton, S. S., Carlisle, M. C., & Hamilton, J. A.
(2007).
A Global Look at Authentication. 1-8.
-
Carlisle, M. C., & Baird, L. C.
(2007).
Design and Use of a Secure Testing Environment on Untrusted Hardware. 349-354.
-
Baird, L. C., Bahn, W. L., Collins, M. D., Carlisle, M. C., & Butler, S. C.
(2007).
Keyless Jam Resistance. 143-150.
-
Richardson, K., Hamilton, J. A., & Carlisle, M. C.
(2007).
A Performance Analysis of the Spring Protocol through Simulation. 356–361-356–361.
-
Carlisle, M. C., & Baird, L. C.
(2007).
Timing neural networks in C and ada. ACM SIGAda Ada Letters.
71-74.
-
Carlisle, M. C., Humphries, J. W., & Hamilton, J. A.
(2006).
Safely Redistributing Untrusted Code using .NET. 326-331.
-
Carlisle, M. C.
(2006).
Automatic OO parser generation using visitors for Ada 2005. ACM SIGAda Ada Letters.
3-8.
-
Carlisle, M. C., & Hamilton, J. A.
(2006).
Integrating Ada 2005 into visual studio 2005. 15-20.
-
Powers, K., Gross, P., Cooper, S., McNally, M., Goldman, K. J., Proulx, V., & Carlisle, M.
(2006).
Tools for teaching introductory programming: what works?. ACM SIGCSE Bulletin.
560-561.
-
Giordano, J. C., & Carlisle, M.
(2006).
Toward a more effective visualization tool to teach novice programmers. 115-122.
-
Carlisle, M. C., Wilson, T. A., Humphries, J. W., & Hadfield, S. M.
(2005).
RAPTOR. 176.
-
Humphries, J. W., Carlisle, M. C., & Wilson, T. A.
(2003).
Multilanguage programming with ada in the .Net environment. ACM SIGAda Ada Letters.
1-3.
-
Sward, R. E., Carlisle, M. C., Fagin, B. S., & Gibson, D. S.
(2003).
The case for Ada at the USAF academy. ACM SIGAda Ada Letters.
68-70.
-
Carlisle, M. C., Sward, R. E., & Humphries, J. W.
(2002).
Weaving Ada 95 into the .net environment. ACM SIGAda Ada Letters.
22-26.
-
Carlisle, M.
(2001).
Keynote address: confessions of an academic Ada zealot. ACM SIGAda Ada Letters.
71-72.
-
Carlisle, M. C.
(1999).
A truly implementation independent GUI development tool. ACM SIGAda Ada Letters.
47-52.
-
Carlisle, M. C., & Maes, P.
(1998).
RAPID: a free, portable GUI design tool. ACM SIGAda Ada Letters.
158-164.
-
Carlisle, M. C., & Rogers, A.
(1995).
Software caching and computation migration in Olden. ACM SIGPLAN NOTICES.
29-38.
-
Carlisle, M. C., Rogers, A., Reppy, J. H., & Hendren, L. J.
(1994).
Early experiences with Olden. 1-20.
-
Jones, L., Banescu, S., Christman, D., & Carlisle, M.
(2018).
ByteWise: A Case Study in Neural Network Obfuscation Identification. 155-164.
Teaching
teaching activities
- CSCE120 Program Design & Concepts Instructor
- CSCE121 Intro Pgm Design Concept Instructor
- CSCE222 Discrete Struc Computing Instructor
- CSCE465 Comp & Net Security Instructor
- CSCE481 Seminar Instructor
- CSCE485 Directed Studies Instructor
- CSCE489 Sptp:data Analytics For Cyber Instructor
- CSCE685 Directed Studies Instructor
- CSCE704 Data Analytics Cybersecurity Instructor
Background
education and training
- Ph.D. in Computer Science, Princeton University - (Princeton, New Jersey, United States) 1996
- B.S. in Mathematics and Computer Science, University of Delaware - (Newark, Delaware, United States) 1991
Contact
first name
- Martin
has last name
- Carlisle
Other
- carlislem@tamu.edu