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.

Journal Articles

• “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

• “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 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

• “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.