Martin C. Carlisle

Publication Activity (10 Years)

Years Active: 1991-2024
Publications (10 Years): 4

Top Topics

Plagiarism Detection

Top Venues

Publications

Christoforos Seas, Glenn Fitzpatrick, John A. Hamilton Jr., Martin C. Carlisle
Automated Vulnerability Detection in Source Code Using Deep Representation Learning. CCWC (2024)
Luke Jones, Delbert Christman, Sebastian Banescu, Martin C. Carlisle
ByteWise: A case study in neural network obfuscation identification. CCWC (2018)
Barry S. Fagin, Bradley Klanderman, Martin C. Carlisle
Making DNS Servers Resistant to Cyber Attacks: An Empirical Study on Formal Methods and Performance. COMPSAC (2) (2017)
Luke Jones, Andrew J. Sellers, Martin C. Carlisle
CARDINAL: similarity analysis to defeat malware compiler variations. MALWARE (2016)
Barry S. Fagin, Martin C. Carlisle
Provably Secure DNS: A Case Study in Reliable Software. Ada-Europe (2013)
Francis Adkins, Luke Jones, Martin C. Carlisle, Jason Upchurch
Heuristic malware detection via basic block comparison. MALWARE (2013)
Leemon C. Baird III, Martin C. Carlisle, William L. Bahn, Eric Smith
The Glowworm hash: Increased speed and security for BBC unkeyed jam resistance. MILCOM (2012)
Martin C. Carlisle, Barry S. Fagin
IRONSIDES: DNS with no single-packet denial of service or remote code execution vulnerabilities. GLOBECOM (2012)
Steven M. Hadfield, Dino Schweitzer, David Gibson, Barry Fagin, Martin C. Carlisle, Jeff Boleng, David Bibighaus
Defining, integrating, and assessing a purposeful progression of cross-curricular initiatives into a computer science program. FIE (2011)
Martin C. Carlisle
Why i came back to Ada. SIGAda (2011)
Martin C. Carlisle
Using You Tube to enhance student class preparation in an introductory Java course. SIGCSE (2010)
Douglas P. Sutton, Martin C. Carlisle, Traci A. Sarmiento, Leemon C. Baird III
Partitioned neural networks. IJCNN (2009)
Martin C. Carlisle, Leemon C. Baird III
Timing neural networks in C and ada. SIGAda (2007)
Kevin Richardson, John A. Hamilton Jr., Martin C. Carlisle
A performance analysis of the spring protocol through simulation. SpringSim (3) (2007)
Martin C. Carlisle, John A. Hamilton Jr.
Integrating Ada 2005 into visual studio 2005. SIGAda (2006)
John C. Giordano, Martin C. Carlisle
Toward a more effective visualization tool to teach novice programmers. SIGITE Conference (2006)
Martin C. Carlisle
Automatic OO parser generation using visitors for Ada 2005. SIGAda (2006)
Kris Powers, Paul Gross, Steve Cooper, Myles F. McNally, Kenneth J. Goldman, Viera K. Proulx, Martin C. Carlisle
Tools for teaching introductory programming: what works? SIGCSE (2006)
Martin C. Carlisle, Terry A. Wilson, Jeffrey W. Humphries, Steven M. Hadfield
RAPTOR: a visual programming environment for teaching algorithmic problem solving. SIGCSE (2005)
Jeffrey W. Humphries, Martin C. Carlisle, Terry A. Wilson
Multilanguage programming with ada in the .Net environment. SIGAda (2003)
Ricky E. Sward, Martin C. Carlisle, Barry S. Fagin, David S. Gibson
The case for Ada at the USAF academy. SIGAda (2003)
Martin C. Carlisle, Keith Shomper
ROBOT interpreter. ACM J. Educ. Resour. Comput. 2 (2) (2002)
Jeffrey W. Humphries, Martin C. Carlisle
Introduction to Cryptography. ACM J. Educ. Resour. Comput. 2 (3) (2002)
Martin C. Carlisle, Ricky E. Sward, Jeffrey W. Humphries
Weaving Ada 95 into the .net environment. SIGAda (2002)
Martin C. Carlisle
Keynote address: confessions of an academic Ada zealot. SIGAda (2001)
Martin C. Carlisle, Anne Rogers
Supporting Dynamic Data Structures with Olden. Compiler Optimizations for Scalable Parallel Systems Languages (2001)
Martin C. Carlisle
A truly implementation independent GUI development tool. SIGAda (1999)
Martin C. Carlisle
Graphics for free. ACM SIGCSE Bull. 31 (2) (1999)
Martin C. Carlisle, Patrick Maes
RAPID: A Free, Portable GUI Design Tool. SIGAda (1998)
Martin C. Carlisle, Anne Rogers
Software Caching and Computation Migration in Olden. J. Parallel Distributed Comput. 38 (2) (1996)
Anne Rogers, Martin C. Carlisle, John H. Reppy, Laurie J. Hendren
Supporting Dynamic Data Structures on Distributed-Memory Machines. ACM Trans. Program. Lang. Syst. 17 (2) (1995)
Martin C. Carlisle, Errol L. Lloyd
on the K-coloring of Intervals. Discret. Appl. Math. 59 (3) (1995)
Martin C. Carlisle, Anne Rogers
Software Caching and Computation Migration in Olden. PPOPP (1995)
Adam L. Buchsbaum, Martin C. Carlisle
Determining Uni-Connectivity in Directed Graphs. Inf. Process. Lett. 48 (1) (1993)
Martin C. Carlisle, Anne Rogers, John H. Reppy, Laurie J. Hendren
Early Experiences with Olden. LCPC (1993)
Martin C. Carlisle, Errol L. Lloyd
On the k-Coloring of Intervals. ICCI (1991)