William C. Benton

Coordinates

I plan to graduate in Summer 2008 and am seeking a full-time position. My academic job application materials and my resume are available for your review.

My dissertation work, which is supervised by Prof. Charles Fischer, focuses on developing compiler and virtual machine support for automatically scheduling serial programs to use multiple threads.

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.

I developed DIMPLE, a logic programming framework for rapid development of static analyses and other programs that operate on programs (including preprocessors and interpreters).
I have created a curated list of research compiler infrastructures. My goal is that this will serve as a repository of information for a wide range of tools related to programming languages research, broadly construed. Please check it out and suggest your favorite tools!

College of Letters and Science Teaching Fellow. University of Wisconsin, 2007
Outstanding Graduate Student Instructor Award. University of Wisconsin Computer Sciences Department, 2006.

Handouts on developing better course materials.
Notes on using JUnit for grading CS 302 (beta)
Notes on accessing AFS from a Macintosh. (These instructions are UW-specific and have not been tested with OS X 10.5.)