[Daniel Zingaro's Homepage]

Research

Zingaro, D. Peer Instruction in Computing: What, Why, How?. In proceedings of GlobalTIME Conference, 2012.
Zingaro, D., Petersen, A. and Craig, M. Stepping up to Integrative Questions on CS1 Exams. ACM Technical Symposium on Computer Science Education (SIGCSE), 2012.
Porter, L., Bailey-Lee, C., Simon, B. and Zingaro, D. Peer instruction: do students really learn from peer discussion in computing?. In International Computing Education Research (ICER) Workshop, 2011. (Here is a local copy.)
Porter, L., Bailey-Lee, C., Simon, B., Cutts, Q. and Zingaro, D. Experience Report: A Multi-classroom Report on the Value of Peer Instruction. In ACM Conference on Innovation and Technology in Computer Science Education (ITiCSE), 2011. (Here is a local copy.)
Petersen, A., Craig, M. and Zingaro, D. Reviewing CS1 Exam Question Content. ACM Technical Symposium on Computer Science Education (SIGCSE), 2011.
Zingaro, D. Experience Report: Peer Instruction in Remedial Computer Science. In Proceedings of World Conference on Educational Multimedia, Hypermedia \& Telecommunications(Ed-Media), 2010. (I also have a local copy and my presentation slides.)

Zingaro, D., Glick, J., Porter, L. and Simon, B. Peer Instruction in the CS Classroom: A Hands-On Introduction. In Consortium for Computing Sciences in Colleges (CCSC-SW), 2011. Here is the main PI handout from this workshop.
I presented an introduction to Python workshop at ACSE 2011 and an introduction to Pygame at ACSE 2012. Hope to be back next year!
I presented a Song Generator Nifty Assignment at SIGCSE '10. Here are my slides (and a local copy of the assignment).
At CCSCE 2009, I was given the opportunity to present in the Nifty Ideas special session. Here are my slides and Sample Assignment Handout.

My book, Invariants: a Generative Approach to Programming is now available as a open-source book. I thank my publisher, College Publications, for allowing me to post the book.

Zingaro, D. Another approach for resisting student resistance to formal methods. ACM SIGCSE Bulletin, 40(4), 56-57, 2008.
This note discusses my focus on fitting core formal methods ideas into a first computer science course.
Modern Extensible Languages
(This has been published as a McMaster University SQRL Report.) We survey several extensible languages (including Camlp4, OpenJava, TXL and Scheme), and compare their expressibility and underlying theory. Examples are given to show the flavor of the various languages.

My Master's Thesis was titled On the Practice of B-ing Earley. ... Huh? The Thesis Abstract should help explain. You can Download the Thesis as a PDF file. My Thesis Presentation is also available.

Group Investigation: Theory and Practice
Group Investigation is a cooperative learning technique with extensively documented benefits. This paper surveys its research and applicability.
XML Parser
This is a one-symbol-lookahead, recursive descent parser for XML files. It scans and parses a subset of the XML 1.1 specification, leaving a tree structure as its output. It detects violations of well-formedness, and outputs the type of error. This archive contains the Pascal source and documentation.
A Survey of Human Interaction with AI Systems
This paper surveys the motivation, safety concerns and trust issues that will arise as so-called Expert Systems become more fully involved in people's lives. It also embraces the idea that such systems may one day find a place in our school systems.
A Synergistic Review of Romantic Jealousy
This paper attempts to arrive at some general conclusions about romantic jealousy, from various fields of research in psychology. The evolutionary approach is used as the underlying basis.

If you require any of the above in an alternate format, please use the email address on the main page to let me know.