Materials on the Web

First of all, be wise in the use of PowerPoint or other presentation software (I use Beamer and PGF/TikZ personally). Resist the temptation to write too much on your slides: I don't want to suffer death by bullet!

• How to do a Good PowerPoint Lecture, by Chad Orzel.
• The Cognitive Style of PowerPoint: Pitching Out Corrupts Within, by Edward R. Tufte. (I have a version of the first edition of this essay; come see me if you want to read it!)
• My opinions on what constitutes a good talk.
• Jeff Offutt's thoughts on reading papers.

You may also wish to refer to these notes on static analysis and Soot. Please let me know if you find any other resources that I should list on this page.

• Notes on Static Analysis, by Anders Møller and Michael I. Schwartzbach.
• A Survivor's Guide to Java Program Analysis with Soot, by Arni Einarsson and Janus Dam Nielsen.
• PLDI 2003 Soot tutorial, by Laurie Hndren, Patrick Lam, Jennifer Lhotak, Ondrej Lhotak, and Feng Qian.
• Other Soot Documentation.

Books

Even though there is a lot of information on the Internet, there is even more information in books. These books can give you another perspective on the course material.

• Principles of Program Analysis, by Flemming Nielson, Hanne Riis Nielson, and Chris Hankin.
• Advanced Compiler Design and Implementation, by Steven Muchnick.
• Compilers: Principles, Techniques and Tools (2nd edition), by Alfred V. Aho, Monica S. Lam (no relation), Ravi Sethi, and Jeffrey D. Ullman.

Past Projects

To get an idea of the expected scope of a course project, see Verification of Object Collaborations with Tracechecks, posted with the kind permission of Thiago Tonelli Bartolomei.

Patrick Lam
Department of Electrical and Computer Engineering
University of Waterloo
200 University Avenue West
Waterloo, Ontario, Canada N2L 3G1
519 888 4567 ext. 36433

contact us | give us feedback | University of Waterloo Home Page