Martin C. Carlisle

41 papers A 3B 3C 2Misc 1Journal 11Unranked 21

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