Dr. Martin C.
Carlisle - Publications
Books
- An Introduction to Languages and Machines, McGraw Hill Primis, 2006.
Book Chapters
- “Supporting Dynamic Data Structures,” with A. Rogers.
In Languages, Compilation Techniques and Run Time Systems for Scalable
Parallel Systems: Recent Advances and Future Perspectives, Springer-Verlag, 1997.
Dissertation
- Olden:
Parallelizing Programs with Dynamic Data Structures on Distributed-Memory
Machines, June 1996.
Journal Articles
- "RAPTOR: A Visual Programming Environment for
Teaching Object-Oriented Programming." Journal of Computing Sciences
in Colleges, Vol 24, No. 4, April 2009.
- “Ada
2005 on .NET and Mobile and Embedded Devices.” Crosstalk: the Journal
of Defense Software Engineering, pp. 16-19, August 2006.
- “The
New Java Security Architecture”, with I. Ruffin and J. Hamilton, Jr
(3rd author). Crosstalk: the Journal of Defense Software Engineering, July
2006.
- “Automated Load Balancing of a Missile Defense
Simulation using Domain Knowledge,” with L. Merkle.
Journal of Defense Modeling and Simulation, 1(1):59-68, January 2004.
- “RAPTOR:
Introducing Programming to Non-Majors with Flowcharts”, with T.
Wilson, J. Humphries and S. Hadfield, Journal of Computing Sciences in Colleges,
19(4):52-60, April 2004.
- “Introduction
to Cryptography”, with J. Humphries (2nd author). Journal of
Educational Resources in Computing, 2(3), September 2002.
- “ROBOT
Interpreter”, with K. Shomper. Journal of
Educational Resources in Computing, 2(2), June 2002.
- “Software Caching and Computation Migration in Olden”,
with A. Rogers. Journal of Parallel and Distributed Computing, 38(2):248-255,
1996.
- “Supporting
Dynamic Data Structures on Distributed Memory Machines”, with L. Hendren, J. Reppy, and A.
Rogers (2nd author), ACM Transactions on Programming Languages and
Systems, 17(2):233-263, 1995.
- “Determining
uni-connectivity in directed graphs”, with
A. Buchsbaum (2nd author). Information
Processing Letters, 48(1):9-12, 1993.
- “On the k-coloring
of Intervals”, with E. Lloyd. Discrete Applied Mathematics 59:225-235,
1995.
Refereed Conference
Proceedings
- “IRONSIDES: DNS With No Single-Packet Denial of Service or Remote Code Execution Vulnerabilities,” with Barry Fagin, Proceedings of IEEE GLOBECOM, December 2012. (966 of 2560 submissions accepted, 38%)
- “The Glowworm Hash: Increased Speed and Security for BBC Unkeyed Jam Resistance,” with Leemon Baird, William Bahn, and E. Smith (2nd author). Proceedings of the 2012 Military Communications Conference, October 2012
- “Effectively Teaching Cyber Warfare to a Non-Technical Audience”, with David Bibighaus, David Gibson, David Merritt, Jeff Boleng, James Maher (3rd author). 7th International Conference on Information Warfare and Security, Seattle WA, March 2012.
- "Defining, Integrating, and Assessing a Purposeful Progression of Cross-Curricular Initiatives into a Computer Science Program", with Steve Hadfield, Dino Schweitzer, David Gibson, Barry Fagin, Jeff Boleng, Dave Bibighaus (5th author). Frontiers in Education 2011, Rapid City SD, October 2011.
- “Fast Hashes for Jam Resistant
Communication”, with L. Baird, W. Bahn (2nd
author). Proceedings of the 2010 Military Communications Conference,
San Jose CA, November 2010.
- “Promoting Skepticism in the Security
Classroom”, with D. Schweitzer. Proceedings of the 14th
Colloquium for Information Systems Security Education, Baltimore MD,
June 2010.
- "Using
YouTube to Enhance Student Class Preparation in an Introductory Java
Course." Proceedings of the 41st SIGCSE Technical
Symposium on Computer Science Education, Milwaukee WI, March 2010.
(103 of 303 submissions accepted, 34%)
- "Partitioned Neural Networks", with D.
Sutton, T. Sarmiento, L. Baird (2nd author). 2009
International Joint Conference on Neural Networks, June 2009, Atlanta,
GA.
- "RAPTOR: A
Visual Programming Environment for Teaching Object-Oriented
Programming." Proceedings of Consortium for Computing Sciences
in Colleges Southwestern Regional Conference, San Diego CA, April
2009.
- "Timing
Neural Networks in C and Ada", with L. Baird. Proceedings of SIGAda 2007, Washington DC, November 2007.
- “Design and
Use of a Secure Testing Environment on Untrusted Hardware”, with L.
Baird. Proceedings of the 2007 IEEE SMC Information Assurance Workshop,
West Point NY, June 2007.
- “Keyless
Jam Resistance”, with L. Baird, W. Bahn, M.
Collins and S. Butler (4th author). Proceedings of the 2007 IEEE SMC
Information Assurance Workshop, West Point NY, June 2007.
- “A Global
Look at Authentication”, with S. Hamilton and J. Hamilton, Jr (2nd
author). Proceedings of the 2007 IEEE SMC Information Assurance Workshop,
West Point NY, June 2007.
- “Automatic
OO Parser Generation using Visitors for Ada 2005.” Proceedings of SIGAda 2006, Albuquerque NM, November 2006 (68%
acceptance rate).
- “Integrating
Ada 2005 into Visual Studio 2005”, with J. A. Hamilton, Jr.
Proceedings of SIGAda 2006, Albuquerque NM,
November 2006 (68% acceptance rate).
- “Toward
a More Effective Visualization Tool to Teach Novice Programmers”, with
John Giordano (2nd author). Proceedings of SIGITE 2006, Minneapolis MN,
October 2006.
- “Safely Redistributing Untrusted Code using .NET”, with
J. Humphries and J. Hamilton, Jr. Proceedings of the 2006 IEEE SMC
Information Assurance Workshop, West Point NY, June 2006. (~50% acceptance
rate based on 2005 data)
- “Tools
for Teaching Introductory Programming: What works”, with K. Powers, P.
Gross, S. Cooper, M. McNally, K. Goldman, V. Proulx
(panelist). Proceedings of the 37th SIGCSE Technical Symposium on Computer
Science Education, Houston TX, March 2006. (14 of 26 submissions accepted,
54%)
- “Simulation Experimentation with Secure Overlay
Services”, with H. Fletcher, K. Richardson and J. Hamilton, Jr (3rd
author). SCS Summer Simulation Multiconference,
Philadelphia PA, July 2005. (~75% acceptance rate based on 2004 data)
- “Evaluating Secure Overlay Services through OPNET
Simulation”, with H. Fletcher, K. Richardson and J. Hamilton, Jr (3rd
author). SCS Spring Simulation Multiconference,
San Diego CA, April 2005.
- “RAPTOR:
A Visual Programming Environment for Teaching Algorithmic Problem Solving”,
with T. Wilson, J. Humphries and S. Hadfield, Proceedings of the 36th
SIGCSE Technical Symposium on Computer Science Education, Saint Louis MO,
February 2005. (104 of 330 submissions accepted, 32%)
- “RAPTOR:
Introducing Programming to Non-Majors with Flowcharts”, with T.
Wilson, J. Humphries and S. Hadfield, Proceedings of the 10th Annual CCSC
Central Plains Conference, Warrensburg MO, April 2004.
- “Multilanguage
Programming with Ada in the .Net Environment”, with J. Humphries and
T. Wilson (2nd author). Proceedings of SIGAda
’03, San Diego CA, December 2003.
- “The
Case for Ada at the USAF Academy”, with R. Sward, B. Fagin and D.
Gibson (2nd author). Proceedings of SIGAda ’03,
San Diego CA, December 2003.
- “Weaving
Ada 95 into the .NET Environment”, with R. Sward and J. Humphries.
Proceedings of SIGAda ’02, Houston TX, December
2002. Also appears in Ada Letters, 23(1):22-26, March 2003.
- “Reinforcing
Dialog-Based Security”, with S. Studer.
Proceedings of the 2001 IEEE SMC Information Assurance Workshop, West
Point NY, June 2001. (~50% acceptance rate based on 2005 data)
- “A
Truly Implementation Independent GUI Design Tool”, Proceedings of SIGAda ’99, Redondo Beach CA, October 1999. Also
appears in Ada Letters, 19(3): 47-52, September 1999.
- “RAPID:
A Free, Portable GUI Design Tool”, with Pat Maes.
Proceedings of SIGAda'98, Washington DC, November 1998. Also appears in
Ada Letters, 18(6):158-164, November 1998.
- “Graphics
for Free.” Ada Software Engineering and Education Technologies
Workshop, Monterey CA, July 1998. Also appears in SIGCSE Bull. 31, 2 (Jun.
1999), 65-68, Ada Letters, 18(5):47-50, October 1998.
- “AdaGIDE: A Friendly Introductory Programming
Environment for a Freshman Computer Science Course”, with A.T. Chamillard. Ada Software Engineering and Education
Technologies Workshop, Monmouth NJ, June 1997. Also appears in Ada
Letters, 18(2):42-52, March 1998.
- “Multiple Inheritance in Ada 95.” In “Early Projects Using Ada
at the Air Force Academy,” Samuel Grier. Ada Software Engineering and
Education Technologies Workshop, Monmouth NJ, June 1997. Also appears in
Ada Letters, 18(1):92-109, January 1998.
- “Software
Caching and Computation Migration in Olden,” with A. Rogers. Fifth ACM
SIGPLAN Symposium on Principles and Practice of Parallel Programming, pp.
29-38, 1995. (22 of 118 submissions accepted, 19%).
- “Early Experiences
with Olden”, with L. Hendren, J. Reppy, and A. Rogers. Proceedings of the 6th
International Workshop on Languages and Compilers for Parallel Computing,
Lecture Notes in Computer Science 768, Springer Verlag,
pp. 1-20, 1993. (Invited).
- “On the k-coloring of
Intervals”, with E. Lloyd. Proceedings of the Third International
Conference on Computing and Information (ICCI), Lecture Notes in Computer
Science 497, Springer Verlag, pp. 90-101, 1991.
(71 of 166 submissions accepted, 43%).
Reviewed Articles
- “How Ada 2005 impacts CS1/CS2.” Ada Letters, 26(1),
April 2006.
- “Teaching the Operational Air Force.” USAFA Educator,
12(1), 8, Winter 2004.
- “An
Automatic ‘Visitor’ Generator for Ada”, with R. Sward. Ada Letters,
22(3), 42-47, September 2002.
- “A Brief Summary of 802.11 Security Issues for the US
Air Force Academy”, technical report, July 2002.
- “An Automatic
Object-Oriented Parser Generator for Ada.” Ada Letters, 20(2), 57-63,
June 2000.
- “Graphics
for Free.” SIGCSE Bulletin Inroads, 31(2):65-68, June 1999.
Other Presentations
- “Why I Came Back to Ada”, keynote
speech, SIGAda 2011, November 2011, Denver, CO.
- “What Should a College Classroom Look
Like in a Digital Age?”, keynote speech, Western Canada Conference on
Computing Education, May 2011, Prince George, BC, Canada.
- “Safely
Redistributing Untrusted Code Using .NET”, Research Seminar, January 2006,
Auburn University, Auburn, AL.
- “Compilers, Virtual Machines and the .NET Framework”,
ACM Invited Lecture, November 2004, Auburn University, Auburn, AL.
- “RAPTOR: A Visual Introduction to Programming for
Non-Majors”, SIGCSE 2004, March 2004, Norfolk, VA.
- “EA-Based Approach for Detecting Stealthy Attacks”,
IEEE SMC IA Workshop, June 2002, West Point, NY.
- “Confessions
of an Academic Ada Zealot”, Keynote Address, SIGAda
2001, October 2001, Minneapolis, MN.
- “Developing Ada 95 code with a Graphical User Interface
(GUI) Builder”, Tutorial, ASEET '99, July 1999, Colorado Springs, CO.
- “Developing Solutions in Windows 95/NT with Ada”,
invited panelist. Tri-Ada '97, November 1997, St. Louis, MO.
- “New Features of Ada 2005”, Tutorial, SIGAda 2006, November 2006, Albuquerque, NM.
- “A#: Programming PDAs and .NET devices with Ada”,
Tutorial, SIGAda 2006, November 2006,
Albuquerque, NM.
- “A#: Programming PDAs and .NET devices with Ada”,
Tutorial, SIGAda 2005, November 2005, Atlanta,
GA.
- “A#: Programming PDAs and .NET devices with Ada”,
Tutorial, SIGAda 2004, November 2004, Atlanta,
GA.
- “A#”, Tutorial, SIGAda 2003, December 2003, San Diego, CA.
ACM links
Using
You Tube to enhance student class preparation in an introductory Java course
Martin C. Carlisle
SIGCSE '10 Proceedings of the 41st ACM technical symposium on Computer science
education, 2010
Timing neural networks in C and ada
Martin C. Carlisle,
Leemon
C. Baird III
SIGAda '07 Proceedings of the 2007 ACM international
conference on SIGAda annual international conference,
2007
Automatic OO
parser generation using visitors for Ada 2005
Martin C. Carlisle
SIGAda '06 Proceedings of the 2006 annual ACM SIGAda international conference on Ada, 2006
Integrating Ada 2005 into
visual studio 2005
Martin C. Carlisle,
J. A. Hamilton, Jr.
SIGAda '06 Proceedings of the 2006 annual ACM SIGAda international conference on Ada, 2006
Toward
a more effective visualization tool to teach novice programmers
John C. Giordano, Martin Carlisle
SIGITE '06 Proceedings of the 7th conference on Information technology
education, 2006
Martin C. Carlisle
ACM SIGAda Ada Letters, 2006
Tools for
teaching introductory programming: what works?
Kris Powers, Paul Gross, Steve Cooper, Myles McNally, Kenneth J. Goldman,
Viera
Proulx, Martin Carlisle
SIGCSE '06 Proceedings of the 37th SIGCSE technical symposium on Computer
science education, 2006
RAPTOR:
a visual programming environment for teaching algorithmic problem solving
Martin C. Carlisle,
Terry A. Wilson,
Jeffrey W. Humphries,
Steven M. Hadfield
ACM SIGCSE Bulletin, 2005
Multilanguage
programming with ada in the .Net environment
Jeffrey W. Humphries,
Martin C. Carlisle,
Terry A. Wilson
SigAda '03 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
The case for Ada at the USAF academy
Ricky E. Sward, Martin C. Carlisle,
Barry S. Fagin, David S. Gibson
SigAda '03 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
Weaving Ada 95 into the .net
environment
Martin C. Carlisle,
Ricky E. Sward, Jeffrey W. Humphries
ACM SIGAda Ada Letters, 2002
An automatic
"visitor" generator for ada
Martin C. Carlisle,
Ricky E. Sward
ACM SIGAda Ada Letters, 2002
Jeffrey W. Humphries,
Martin C. Carlisle
Journal on Educational Resources in Computing (JERIC), 2002
Martin C. Carlisle,
Keith Shomper
Journal on Educational Resources in Computing (JERIC), 2002
Keynote address:
confessions of an academic Ada zealot
Martin Carlisle
ACM SIGAda Ada Letters, 2001
An automatic
object-oriented parser generator for Ada
Martin C. Carlisle
ACM SIGAda Ada Letters, 2000
A truly
implementation independent GUI development tool
Martin C. Carlisle
SIGAda '99 Proceedings of the 1999 annual ACM SIGAda international conference on Ada, 1999
Martin C. Carlisle
ACM SIGCSE Bulletin, 1999
RAPID: a free, portable GUI
design tool
Martin C. Carlisle,
Patrick Maes
SIGAda '98 Proceedings of the 1998 annual ACM SIGAda international conference on Ada, 1998
Martin C. Carlisle
ACM SIGAda Ada Letters, 1998
AdaGIDE: a friendly introductory programming environment
for a freshman computer science course
Martin C. Carlisle,
A. T. Chamillard
ACM SIGAda Ada Letters, 1998
Software caching
and computation migration in Olden
Martin C. Carlisle,
Anne Rogers
PPOPP '95 Proceedings of the fifth ACM SIGPLAN symposium on Principles and
practice of parallel programming, 1995
Supporting
dynamic data structures on distributed-memory machines
Anne Rogers, Martin C. Carlisle,
John H. Reppy, Laurie J. Hendren
ACM Transactions on Programming Languages and Systems (TOPLAS), 1995