Contact information
At work
- William C. Benton
Computer Sciences Department
University of Wisconsin
1210 West Dayton Street
Madison, WI 53706
At home
- William C. Benton
454 Berwyn Drive
Madison, WI 53711
Web and email
Essential materials
Vita
- My vita includes all the usual details as well as my reference list.
Personal statements
- If you'd like to learn more about my approach to education and research, please see my teaching statement and my research statement.
Additional materials
Writing samples
- William C. Benton and Charles N. Fischer. Interactive, Scalable, Declarative Program Analysis: From Prototype to Implementation. In Proceedings of the 9th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming. (Wrocław, Poland, 14-16 July 2007.) PDF (696kb). © ACM, 2007. This is the author's version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution.
- While it is not a writing sample per se, you may be interested in compiler-tools.org, a web site I have developed containing a curated list of research compiler infrastructures and related tools for programming languages research, broadly construed.
Example teaching materials
- This section includes several handouts, short articles, and projects I have developed. You can see more materials at my course web pages for Computer Sciences 302 and Computer Sciences 537.
- Here are three representative handouts from my introductory course: Garbage Collection, Why integer overflow “wraps around”, and Primitive vs. reference types.
- I have used animations and multimedia while teaching; I include three examples here. These are large files and are intended to be presented as part of a lecture (the files don't include sound). Click through each slide to see them: The method call stack, Constructors, and a code tracing exercise.
- My grocery simulation project was especially well-received. It reinforces array handling for beginning Java programmers while teaching them about discrete-event simulations.
- I have also developed materials intended for other instructors, both as a CS 302 instructor and as a Teaching Fellow. Here are two examples: a short article on using JUnit to grade programming assignments, and a handout covering best practices for designing handouts.