Early Experiences with Olden. - Martin C. Carlisle; Anne Rogers; John H. Reppy; Laurie J. Hendren (LCPC, 1993)

Determining Uni-Connectivity in Directed Graphs. - Adam L. Buchsbaum; Martin C. Carlisle (Inf. Process. Lett., 1993)

on the K-coloring of Intervals. - Martin C. Carlisle; Errol L. Lloyd (Discret. Appl. Math., 1995)

Supporting Dynamic Data Structures on Distributed-Memory Machines. - Anne Rogers; Martin C. Carlisle; John H. Reppy; Laurie J. Hendren (ACM Trans. Program. Lang. Syst., 1995)

Software Caching and Computation Migration in Olden. - Martin C. Carlisle; Anne Rogers (J. Parallel Distributed Comput., 1996)

RAPID: A Free, Portable GUI Design Tool. - Martin C. Carlisle; Patrick Maes (SIGAda, 1998)

A truly implementation independent GUI development tool. - Martin C. Carlisle (SIGAda, 1999)

Graphics for free. - Martin C. Carlisle (ACM SIGCSE Bull., 1999)

Supporting Dynamic Data Structures with Olden. - Martin C. Carlisle; Anne Rogers (Compiler Optimizations for Scalable Parallel Systems Languages, 2001)

Keynote address: confessions of an academic Ada zealot. - Martin C. Carlisle (SIGAda, 2001)

Weaving Ada 95 into the .net environment. - Martin C. Carlisle; Ricky E. Sward; Jeffrey W. Humphries (SIGAda, 2002)

ROBOT interpreter. - Martin C. Carlisle; Keith Shomper (ACM J. Educ. Resour. Comput., 2002)

Introduction to Cryptography. - Jeffrey W. Humphries; Martin C. Carlisle (ACM J. Educ. Resour. Comput., 2002)

Multilanguage programming with ada in the .Net environment. - Jeffrey W. Humphries; Martin C. Carlisle; Terry A. Wilson (SIGAda, 2003)

The case for Ada at the USAF academy. - Ricky E. Sward; Martin C. Carlisle; Barry S. Fagin; David S. Gibson (SIGAda, 2003)

RAPTOR: introducing programming to non-majors with flowcharts. - Martin C. Carlisle; Terry A. Wilson; Jeffrey W. Humphries; Steven M. Hadfield (J. Comput. Sci. Coll., 2004)

RAPTOR: a visual programming environment for teaching algorithmic problem solving. - Martin C. Carlisle; Terry A. Wilson; Jeffrey W. Humphries; Steven M. Hadfield (SIGCSE, 2005)

Automatic OO parser generation using visitors for Ada 2005. - Martin C. Carlisle (SIGAda, 2006)

Integrating Ada 2005 into visual studio 2005. - Martin C. Carlisle; John A. Hamilton Jr. (SIGAda, 2006)

Tools for teaching introductory programming: what works? - Kris D. Powers; Paul Gross 001; Steve Cooper; Myles F. McNally; Kenneth J. Goldman; Viera K. Proulx; Martin C. Carlisle (SIGCSE, 2006)

Toward a more effective visualization tool to teach novice programmers. - John C. Giordano; Martin C. Carlisle (SIGITE Conference, 2006)

Timing neural networks in C and ada. - Martin C. Carlisle; Leemon C. Baird III (SIGAda, 2007)

A performance analysis of the spring protocol through simulation. - Kevin Richardson; John A. Hamilton Jr.; Martin C. Carlisle (SpringSim (3), 2007)

Partitioned neural networks. - Douglas P. Sutton; Martin C. Carlisle; Traci A. Sarmiento; Leemon C. Baird III (IJCNN, 2009)

Raptor: a visual programming environment for teaching object-oriented programming. - Martin C. Carlisle (J. Comput. Sci. Coll., 2009)

Using You Tube to enhance student class preparation in an introductory Java course. - Martin C. Carlisle (SIGCSE, 2010)

Defining, integrating, and assessing a purposeful progression of cross-curricular initiatives into a computer science program. - Steven M. Hadfield; Dino Schweitzer; David Gibson; Barry Fagin; Martin C. Carlisle; Jeff Boleng; David Bibighaus (FIE, 2011)

Why i came back to Ada. - Martin C. Carlisle (SIGAda, 2011)

IRONSIDES: DNS with no single-packet denial of service or remote code execution vulnerabilities. - Martin C. Carlisle; Barry S. Fagin (GLOBECOM, 2012)

The Glowworm hash: Increased speed and security for BBC unkeyed jam resistance. - Leemon C. Baird III; Martin C. Carlisle; William L. Bahn; Eric Smith (MILCOM, 2012)

Provably Secure DNS: A Case Study in Reliable Software. - Barry S. Fagin; Martin C. Carlisle (Ada-Europe, 2013)

Heuristic malware detection via basic block comparison. - Francis Adkins; Luke Jones; Martin C. Carlisle; Jason Upchurch (MALWARE, 2013)

CARDINAL: similarity analysis to defeat malware compiler variations. - Luke Jones; Andrew J. Sellers; Martin C. Carlisle (MALWARE, 2016)

Making DNS Servers Resistant to Cyber Attacks: An Empirical Study on Formal Methods and Performance. - Barry S. Fagin; Bradley Klanderman; Martin C. Carlisle (COMPSAC (2), 2017)

ByteWise: A case study in neural network obfuscation identification. - Luke Jones; Delbert Christman; Sebastian Banescu; Martin C. Carlisle (CCWC, 2018)

Automated Vulnerability Detection in Source Code Using Deep Representation Learning. - Christoforos Seas; Glenn Fitzpatrick; John A. Hamilton Jr.; Martin C. Carlisle (CCWC, 2024)

C/C++ Vulnerability Data Set Generation Framework using a Parser and LLM. - Minh Dao Nguyen; Martin C. Carlisle (ICAIC, 2025)

Teaching at Scale: Leveraging AI to Evaluate and Elevate Engineering Education. - Jean-François Chamberland; Martin C. Carlisle; Arul Jayaraman; Krishna R. Narayanan; Sunay Palsole; Karan Watson (CoRR, 2025)