Hasker's Research

Thesis

The replay of program derivations: using higher-order analogies between formal specifications to propagate differences to implementations. Available in PDF and postscript. See also the ACM listing.

Papers

R. Hasker and Y. Shi. Teaching Basic Class Diagram Notation with UMLGrader. 121^st ASEE Annual Conference & Exposition, Indianapolis, IN, June 15-18, 2014. Presentation.
S. Williams, R. Hasker, S. Holland, A. Livingston, K. Widder, and J. Yoder. Using Shadowing to Improve New Faculty Acclimation. 121^st ASEE Annual Conference & Exposition, Indianapolis, IN, June 15-18, 2014.
R. Hasker, A. Rosene, and J. Reid. Experiences with a UML Diagram Critique Tool. Midwest Instruction and Computing Symposium, Cedar Falls, Iowa, April, 2012. Presentation.
R. Hasker and M. Rowe. UMLint: Identifying Defects in UML Diagrams. 118^th ASEE Annual Conference & Exposition, Vancouver, B.C., June 26-29, 2011. Full proceedings are also available.
R. Hasker. UMLGrader: An Automated Class Diagram Grader. Journal of Computing Sciences in Colleges, Vol. 27, no. 1 (2011), pp. 47-54.
M. Rowe and R. Hasker. The Characterization and Identification of Object-Oriented Model Defects. 2008 Midwest Instruction and Computing Symposium, La Crosse, Wisconsin, 2008.
J. Clifton, R. Hasker, and M. Rowe. World-class Outcomes Assessment on a Shoestring. 2008 ASEE (American Society for Engineering Education) Annual Conference & Exposition, Pittsburgh, Pennsylvania, 2008.
R. Hasker and B. Harriehausen-Mühlbauer. A Joint International Master's of Computer Science. 2007 Frontiers in Education Conference, Milwaukee, Wisconsin, 2007.
R. Hasker. An Introductory Programming Environment for LEGO^® MindStorms™ Robots. 2005 Midwest Instruction and Computing Symposium, Eau Claire, Wisconsin, 2005.
R. Hasker. HiC: A C++ Compiler for CS1. Journal of Computing Sciences in Colleges, Vol. 18, no. 1 (2002), pp. 56-64.
F. Bronsard, U.S. Reddy, and R. Hasker. Induction using Term Orders. Journal of Automated Reasoning, Vol. 16, no. 1-2 (1996), pp. 3-37.
F. Bronsard, U.S. Reddy, and R. Hasker. Induction using Term Orderings. A. Bundy (ed.), Conference on Automated Deduction, 1994; published as Lecture Notes in Artificial Intelligence Vol. 814, Springer-Verlag, 1994, pp. 102-117.
R. Hasker and U.S. Reddy. Generalization at Higher Types. Proceedings of the Workshop on the λProlog Programming Language, Philadelphia, 1992, pp. 123-139. Also presented at Carnegie Mellon University, August, 1992.
R. Hasker, J. Edmondson, and M. Fritsch. The Automated Programming of Electronic Displays. Written for Wright-Patterson Air Force Base, 1986.

Presentations

R. Hasker, A Response to "Philosophies of Cyber and Real Selves" (a paper by Dr. Mary Lenzi), a presentation on Feb. 3, 2011 at the University of Wisconsin-Platteville.
M. Ardis, R. Hasker, J. McDonald, D. Reese, M. Sebern, J. Vallino, S. Zweben. Initial Experiences in ABET Accreditation of SE Programs. Frontiers in Education Conference, Boulder, Colorado, 2003.