Conrad Cunningham's Papers, Reports, Etc.

Current Work

Publications

1. H. C. Cunningham, Y. Liu, and J. Wang. Designing a flexible framework for a table abstraction, In Y. Chan, J. Talburt, and T. Talley, editors, Data Engineering: Mining, Information, and Intelligence, 36 pages, Springer, to appear 2009.

2. H. C. Cunningham and J. C. Church. Multiparadigm programming in Scala, Journal of Computing Sciences in Colleges, Vol. 24, No. 5, pp. 99-100, CCSC, May 2009. [presentation]

3. P. Tadepalli and H. C. Cunningham. Incrementally distributed B+: Approaches and Challenges, In Proceedings of the ACM SouthEast Conference, 6 pages, March 2009.

4. H. C. Cunningham and Yi Liu. Hot spots, patterns, and contracts: An exploration of software framework design, Journal of Computing Sciences in Colleges, Vol. 23, No. 4, pp. 105-7, CCSC, April 2008.

5. H. C. Cunningham. A little language for surveys: Constructing an internal DSL in Ruby, In Proceedings of the ACM SouthEast Conference, 6 pages, March 2008. [manuscript] [presentation]

6. V. Amaral, L. Veiga, L. Marcelino, and H. C. Cunningham, editors. Proceedings of the 5th International Conference on the Principles and Practice of Programming in Java (PPPJ 2007), Lisbon, Portugal, September 2007.

7. H. C. Cunningham. Reflexive metaprogramming in Ruby, Journal of Computing Sciences in Colleges, Vol, 22, No. 5, pp. 145-146, CCSC, May 2007. [manuscript] [presentation]

8. Y. Liu and H. C. Cunningham. Java in the box: Implementing the BoxScript component language, In Proceedings of the ACM SouthEast Conference, pp. 47-52, March 2007. [manuscript] [presentation]

9. H. C. Cunningham, Y. Liu, and C. Zhang. Teaching framework design using classic problems, Journal of Computing Sciences in Colleges, Vol. 21, No. 5, pp. 10-12, CCSC, May 2006. [abstract] [presentation]

10. H. C. Cunningham, Y. Liu, and P. Tadepalli. Framework design using function generalization: A binary tree traversal case study, In Proceedings of the ACM SouthEast Conference, pp. 312-318, March 2006. [manuscript] [related presentation]

11. H. C. Cunningham and P. Tadepalli. Using function generalization to design a cosequential processing framework, In Proceedings of the 39th Hawaii International Conference on System Sciences, 10 pages, IEEE, January 2006.
    [manuscript] [related presentation]

12. H. C. Cunningham, Y. Liu, and C. Zhang. Using classic problems to teach Java framework design, Science of Computer Programming, Special Issue on Principles and Practice of Programming in Java (PPPJ 2004), Vol. 59, No. 1-2, pp. 147-169, January 2006. doi: 10.10.16/j.scico.2005.07.009. [manuscript]

13. H. C. Cunningham, P. Tadepall, and P. Lawhead. Introduction to computer science, Chapter 3, In M. R. Kendricks and M. U. Woolsey, editors, Introduction to Engineering: A Project-Based Text, University of Mississippi, 2005.

14. H. C. Cunningham, P. Tadepalli, and Y. Liu. Secrets, hot spots, and generalization: Preparing students to design software families, Journal of Computing Sciences in Colleges, Vol. 20, No. 6, pp. 118-124, CCSC, June 2005.
    [manuscript]

15. Y. Liu and H. C. Cunningham. BoxScript: A component-oriented language for teaching, In Proceedings of the ACM SouthEast Conference, Vol. 1, pp. 349-354, March 2005. [manuscript]

16. Y. Liu and H. C. Cunningham. Java components in BoxScript, In Proceedings of the ALAR Conference on Applied Research in Information Technology, Acxiom Laboratory for Applied Research, pp. 87-94, February 2005. [manuscript]

17. P. Tadepalli and H. C. Cunningham. Using function generalization with Java to design a cosequential framework, In Proceedings of the ALAR Conference on Applied Research in Information Technology, Acxiom Laboratory for Applied Research, pp. 95-101, February 2005. [manuscript]

18. H. C. Cunningham, Y. Liu, and P. Tadepalli. Toward specification and composition of BoxScript components, In Proceedings of the Workshop on Specification and Verification of Component-Based Systems (SAVCBS), pp. 114-117, November 2004. http://www.cs.iastate.edu/~leavens/SAVCBS/2004/savcbs04.pdf.
    [manuscript] [poster]

19. H. C. Cunningham, Y. Liu, and C. Zhang. Using the divide and conquer strategy to teach Java framework design, In Proceedings of the 3rd International Conference on Principles and Practice of Programming in Java (PPPJ), pp. 40-45, June 2004.
    [manuscript] [presentation]

20. H. C. Cunningham, C. Zhang, and Y. Liu. Keeping secrets within a family: Rediscovering Parnas, In Proceedings of the International Conference on Software Engineering Research and Practice (SERP), pp. 712-718, CSREA Press, June 2004. [manuscript] [presentation]

21. Y. Liu, H. C. Cunningham, and H. Xiong. The architectural design of FRUIT: A Family of Retargetable User Interface Tools, In Proceedings of the International Conference on Software Engineering Research and Practice (SERP), pp. 641-647, CSREA Press, June 2004. [manuscript] [presentation]

22. H. C. Cunningham, Y. Liu, and H. Xiong. Lazy functional programming in Haskell, In Proceedings of the Mid-South College Computing Conference, pp. 78-80, April 2004. [abstract] [presentation]

23. Y. Liu and H. C. Cunningham. Mapping component specifications to Enterprise JavaBeans implementations, In Proceedings of the ACM Southeast Conference, pp. 177-182, April 2004. [manuscript] [presentation]

24. P. Tadepalli and H. C. Cunningham. JavaCHIME: Java Class Hierarchy Inspector and Method Executer, In Proceedings of the ACM Southeast Conference, pp. 152-157, April 2004. [manuscript] [presentation]

25. H. C. Cunningham, Y. Liu, P. Tadepalli, and M. Fu. Component software: A new software engineering course, Journal of Computing Sciences in Colleges, Vol. 18, No. 6, pp. 10-21, June 2003. [manuscript] [presentation]

26. T. Zhang, H. C. Cunningham, and J. Li. FAR: An editing tool for standard information generation, In Proceedings of the International Conference on Software Engineering Research and Practice (SERP'03), Las Vegas, CSREA Press, pp. 529-532, June 2003. [manuscript]

27. Y. Liu and H. C. Cunningham. Software component specification using design by contract, In Proceedings of the SouthEast Software Engineering Conference, Tennessee Valley Chapter, National Defense Industry Association, Huntsville, Alabama, 8 pages, April 2002. [manuscript] [presentation]

28. H. C. Cunningham and J. Wang. Applying software patterns in the design of a table framework, In Proceedings of the Conference on Applied Research in Data Engineering, Acxiom Data Engineering Laboratory, University of Arkansas at Little Rock, 7 pages, November 2001. ADEL-WP-02-01 at http://adel.ualr.edu.
    [manuscript] [presentation]

29. H. C. Cunningham and J. Wang. Building a layered framework for the table abstraction, In Proceedings of the ACM Symposium on Applied Computing, pp. 668-674, March 2001. [manuscript] [presentation]

30. S. Vazhkudai and H. C. Cunningham. A reusable framework for distributed decision-making protocols, In Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA'2000), pp. 867-873, Las Vegas, CSREA Press, June 2000. [manuscript]

31. H. C. Cunningham, G.-C. Roman, and J. Y. Plun. Assertional reasoning about dynamic systems, In Parallel Computations: Paradigms and Applications, A. Zomaya, editor, International Thomson Computer Press, 1996. [manuscript]

32. P. B. Lawhead and H. C. Cunningham. Qualitative decision making in software design, In Proceedings of the Quality Conference '95, American Society of Quality Control, San Jose, California, April 1995.

33. H. C. Cunningham. Formal methods in functional programming, In Proceedings of the Formal Methods Workshop, Hamilton College, Clinton, New York, NSF, August 1994.

34. R. F. Gamble, G.-C. Roman, W. E. Ball, and H. C. Cunningham. Applying formal verification methods to pure rule-based programs. International Journal of Expert Systems, Vol. 7, No. 3, pp. 203-237, 1994.

35. H. C. Cunningham and Y. Cai. Specification and refinement of a message router. In Proceedings of the Seventh International Workshop on Software Specification and Design, pp. 20-29, IEEE, December 1993. [manuscript]

36. G.-C. Roman and H. C. Cunningham. Reasoning about synchronic groups. In Research Directions in High-level Parallel Programming Languages, LNCS #574, pp. 21-38, Springer-Verlag, 1992. [manuscript]

37. H. C. Cunningham and J. T. Udding. "Succeedings" of the Sixth International Workshop on Software Specifications and Design: Concurrency and Distribution. ACM SIGSOFT Software Engineering Notes, Vol. 17, No. 1, pp. 46-7, January 1992.

38. H. C. Cunningham. Swarming over the software barrier. In Proceedings of the Sixth International Workshop on Software Specification and Design, pp. 233-6, IEEE, October 1991.

39. G.-C. Roman and H. C. Cunningham. Mixed programming metaphors in a shared dataspace model of concurrency. IEEE Transactions on Software Engineering, Vol. 16, No. 12, pp. 1361-73, December 1990. [manscript]

40. H. C. Cunningham and G.-C. Roman. A UNITY-style programming logic for shared dataspace programs. IEEE Transactions on Parallel and Distributed Systems, Vol. 1, No. 3, pp. 365-76, July 1990.

41. G.-C. Roman and H. C. Cunningham. The synchronic group: A concurrent programming concept and its proof logic. In Proceedings of the 10th International Conference on Distributed Computing Systems, pp. 142-9, IEEE, May 1990.

42. H. C. Cunningham. The Shared Dataspace Approach to Concurrent Computation: The Swarm Programming Model, Notation, and Logic. Doctor of Science Dissertation, Washington University, Department of Computer Science, St. Louis, Missouri, August 1989.

43. G.-C. Roman and H. C. Cunningham. A shared dataspace model of concurrency--Language and programming implications. In Proceedings of the 9th International Conference on Distributed Computing Systems, pp. 270-9, IEEE, June 1989.

44. H. C. Cunningham. Concurrent programming in the shared dataspace paradigm. In Proceedings of the 1989 Computer Science Conference, p. 419, ACM, February 1989.

45. G.-C. Roman, H. C. Cunningham, and M. E. Ehlers. A shared dataspace language supporting large-scale concurrency. In Proceedings of the 8th International Conference on Distributed Computing Systems, pp. 265-72, IEEE, June 1988.

46. G.-C. Roman, M. E. Ehlers, H. C. Cunningham, and R. H. Lykins. Toward comprehensive specification of distributed systems. In Proceedings of the 7th International Conference on Distributed Computing Systems, pp. 282-9, IEEE, September 1987.

47. G.-C. Roman, R. H. Lykins, R. K. Israel, H. C. Cunningham, and M. E. Ehlers. Long-Range Technological Impact on Computer-Aided Product Development at DMA. RADC-TR-86-49, Rome Air Development Center, Griffiss AFB, New York, 1986.

Selected Reports and Web Documents

1. H. C. Cunningham. Notes on Program Semantics and Derivation, August 2006,
   http://www.cs.olemiss.edu/~hcc/csci550/notes/.

2. H. C. Cunningham. Notes on Data Abstraction, revised January 2004.
   http://www.cs.olemiss.edu/~hcc/softArch/notes/dataAbstraction.html.

3. H. C. Cunningham and the ALSACE team. ALSACE: Acxiom Laboratory for Software Archictecture and Component Engineering, 2003-2005. http://alsace.cs.olemiss.edu.

4. H. C. Cunningham. Introduction to Object Orientation, revised January 2002.
   http://www.cs.olemiss.edu/~hcc/softArch/notes/OOintro.html.

5. H. C. Cunningham. Notes on Functional Programming with Gofer. UMCIS-1995-01, August 1995, revised January 1997, 192 pages.
   [report]

6. H. C. Cunningham. Feijen's Table of Cubes Problem. UMCIS-1994-05, March 1994, revised August 1996, 10 pages.
   [report]

7. H. C. Cunningham. The Dining Philosophers' Problem: A Monitor-Based Solution in PCN, UMCIS-1996-01, March 1996, 5 pages.

8. H. C. Cunningham. PCN Solutions to the Racetrack Problem, UMCIS-1996-02, March 1996, 10 pages.

9. H. C. Cunningham. A Programmer's Introduction to Predicate Logic. UMCIS-1994-02, February 1994, revised January 1996, 45 pages.
   [report]

10. H. C. Cunningham. Notes on Concurrent Programming with PCN. UMCIS-1993-04, June 1993, revised January 1996, 85 pages.

11. H. C. Cunningham, V. R. Shah, and S. Shen. Devising a Formal Specification for an Elevator Controller. UMCIS-1994-10, September 1994, 14 pages. [report]

12. H. C. Cunningham. File Systems Using Turbo Pascal: Introductory Notes. UMCIS-1993-11, August 1993, Revised August 1994, 25 pages.

13. H. C. Cunningham and G.-C. Roman. Toward Formal Verification of Rule-Based Systems: A Shared Dataspace Perspective. UMCIS-1989-11, June 1989, 10 pages.

Doctoral Dissertations