Martin C. Carlisle

According to our database, Martin C. Carlisle authored at least 34 papers between 1993 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Automated Vulnerability Detection in Source Code Using Deep Representation Learning.

Christoforos Seas, Glenn Fitzpatrick, John A. Hamilton Jr., Martin C. Carlisle

Proceedings of the 14th IEEE Annual Computing and Communication Workshop and Conference, 2024

2018

ByteWise: A case study in neural network obfuscation identification.

Luke Jones, Delbert Christman, Sebastian Banescu, Martin C. Carlisle

Proceedings of the IEEE 8th Annual Computing and Communication Workshop and Conference, 2018

2017

Making DNS Servers Resistant to Cyber Attacks: An Empirical Study on Formal Methods and Performance.

Barry S. Fagin, Bradley Klanderman, Martin C. Carlisle

Proceedings of the 41st IEEE Annual Computer Software and Applications Conference, 2017

2016

CARDINAL: similarity analysis to defeat malware compiler variations.

Luke Jones, Andrew J. Sellers, Martin C. Carlisle

Proceedings of the 11th International Conference on Malicious and Unwanted Software, 2016

2013

Heuristic malware detection via basic block comparison.

Francis Adkins, Luke Jones, Martin C. Carlisle, Jason Upchurch

Proceedings of the 8th International Conference on Malicious and Unwanted Software: "The Americas", 2013

Provably Secure DNS: A Case Study in Reliable Software.

Barry S. Fagin, Martin C. Carlisle

Proceedings of the Reliable Software Technologies, 2013

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

Proceedings of the 31st IEEE Military Communications Conference, 2012

IRONSIDES: DNS with no single-packet denial of service or remote code execution vulnerabilities.

Martin C. Carlisle, Barry S. Fagin

Proceedings of the 2012 IEEE Global Communications Conference, 2012

2011

Why i came back to Ada.

Martin C. Carlisle

Proceedings of the 2011 Annual ACM SIGAda International Conference on Ada, 2011

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

Proceedings of the 2011 Frontiers in Education Conference, 2011

2010

Using You Tube to enhance student class preparation in an introductory Java course.

Martin C. Carlisle

Proceedings of the 41st ACM technical symposium on Computer science education, 2010

2009

Partitioned neural networks.

Douglas P. Sutton, Martin C. Carlisle, Traci A. Sarmiento, Leemon C. Baird III

Proceedings of the International Joint Conference on Neural Networks, 2009

2007

A performance analysis of the spring protocol through simulation.

Kevin Richardson, John A. Hamilton Jr., Martin C. Carlisle

Proceedings of the 2007 Spring Simulation Multiconference, 2007

Timing neural networks in C and ada.

Martin C. Carlisle, Leemon C. Baird III

Proceedings of the 2007 Annual ACM SIGAda International Conference on Ada, 2007

2006

Toward a more effective visualization tool to teach novice programmers.

John C. Giordano, Martin C. Carlisle

Proceedings of the 7th Conference on Information Technology Education, 2006

Tools for teaching introductory programming: what works?

Kris Powers, Paul Gross, Steve Cooper, Myles F. McNally, Kenneth J. Goldman, Viera K. Proulx, Martin C. Carlisle

Proceedings of the 37th SIGCSE Technical Symposium on Computer Science Education, 2006

Integrating Ada 2005 into visual studio 2005.

Martin C. Carlisle, John A. Hamilton Jr.

Proceedings of the 2006 Annual ACM SIGAda International Conference on Ada, 2006

Automatic OO parser generation using visitors for Ada 2005.

Martin C. Carlisle

Proceedings of the 2006 Annual ACM SIGAda International Conference on Ada, 2006

2005

RAPTOR: a visual programming environment for teaching algorithmic problem solving.

Martin C. Carlisle, Terry A. Wilson, Jeffrey W. Humphries, Steven M. Hadfield

Proceedings of the 36th SIGCSE Technical Symposium on Computer Science Education, 2005

2003

The case for Ada at the USAF academy.

Ricky E. Sward, Martin C. Carlisle, Barry S. Fagin, David S. Gibson

Proceedings of the 2003 Annual ACM SIGAda International Conference on Ada: The Engineering of Correct and Reliable Software for Real-Time & Distributed Systems using Ada and Related Technologies 2003, 2003

Multilanguage programming with ada in the .Net environment.

Jeffrey W. Humphries, Martin C. Carlisle, Terry A. Wilson

Proceedings of the 2003 Annual ACM SIGAda International Conference on Ada: The Engineering of Correct and Reliable Software for Real-Time & Distributed Systems using Ada and Related Technologies 2003, 2003

2002

Introduction to Cryptography.

Jeffrey W. Humphries, Martin C. Carlisle

ACM J. Educ. Resour. Comput., 2002

ROBOT interpreter.

Martin C. Carlisle, Keith Shomper

ACM J. Educ. Resour. Comput., 2002

Weaving Ada 95 into the .net environment.

Martin C. Carlisle, Ricky E. Sward, Jeffrey W. Humphries

Proceedings of the 2002 Annual ACM SIGAda International Conference on Ada: The Engineering of Correct and Reliable Software for Real-Time & Distributed Systems using Ada and Related Technologies 2002, 2002

2001

Keynote address: confessions of an academic Ada zealot.

Martin C. Carlisle

Proceedings of the Proceedings ACM SIGAda Annual International Conference, 2001

Supporting Dynamic Data Structures with Olden.

Martin C. Carlisle, Anne Rogers

Proceedings of the Compiler Optimizations for Scalable Parallel Systems Languages, 2001

1999

Graphics for free.

Martin C. Carlisle

ACM SIGCSE Bull., 1999

A truly implementation independent GUI development tool.

Martin C. Carlisle

Proceedings of the Proceedings ACM SIGAda Annual International Conference, 1999

1998

RAPID: A Free, Portable GUI Design Tool.

Martin C. Carlisle, Patrick Maes

Proceedings of the ACM SIGAda Annual International Conference on Ada Technology, 1998

1996

Software Caching and Computation Migration in Olden.

Martin C. Carlisle, Anne Rogers

J. Parallel Distributed Comput., 1996

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

on the K-coloring of Intervals.

Martin C. Carlisle, Errol L. Lloyd

Discret. Appl. Math., 1995

1993

Determining Uni-Connectivity in Directed Graphs.

Adam L. Buchsbaum, Martin C. Carlisle

Inf. Process. Lett., 1993

Early Experiences with Olden.

Martin C. Carlisle, Anne Rogers, John H. Reppy, Laurie J. Hendren

Proceedings of the Languages and Compilers for Parallel Computing, 1993