photo of willb at the Horribly Hilly Hundreds 2012; credit Clint Thayer

William C. Benton

Coordinates

  • Senior Software Engineer
    Red Hat, Inc.
  • Researcher
    Computer Sciences Department
    University of Wisconsin
  • email:

Latest news

  • I successfully defended and deposited my doctoral dissertation in December 2008.
  • I work on distributed computing for Red Hat, Inc., but remain affiliated with the University via a non-salaried appointment as a Researcher.

Research information

Overview

  • My dissertation work, which was supervised by Prof. Charles Fischer, focused on developing novel program analyses to find implicit parallelism in object-oriented programs. At Red Hat, my research and development efforts relate to distributed computing, configuration management, and applications of declarative programming at scale.

Dissertation

  • William C. Benton. Fast, Effective Program Analyis for Object-Level Parallelism. Ph.D. dissertation. University of Wisconsin, December 2008. More information.

Refereed Publications

  • William C. Benton, Robert H. Rati, and Erik J. Erlandson. Wallaby: A Scalable Semantic Configuration Service for Grids and Clouds. In Proceedings of the Conference for High Performance Computing, Networking, Storage and Analysis (SC '11). Seattle, Washington, USA 12-18 November 2011. PDF (489kb).
  • William C. Benton and Charles N. Fischer. Mostly-Functional Behavior in Java Programs. In Proceedings of the Tenth International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI '09). Savannah, Georgia, USA 18-20 January 2009. PDF (408kb), talk slides (396kb). © Springer.
  • 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 (PPDP '07). 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.

Projects and software

  • I developed DIMPLE, a logic programming framework for rapid development of static analyses and other programs that operate on programs (including preprocessors and interpreters).
  • capricious is a framework for repeatable randomness including a family of pseudorandom number generators and several probability distribution simulators. (capricious is also available as a RubyGem.)
  • Wallaby is a sophisticated semantic configuration service for HTCondor pools (see our SC2011 paper for more information), and Wallaroo is an experimental evolution of Wallaby.
  • I have created a curated list of research compiler infrastructures. (Alas, it is currently offline due to repeated defacement.) 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!
  • Some more projects are linked from my personal software page.

Teaching information

Courses I've taught

Generally-useful handouts

Awards and honors


Other information

Things to read

  • 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.)
  • A template for writing your dissertation in LaTeX.
  • My personal web site

Meta

  • This page should be valid HTML 4.01 strict. Please with any accessibility concerns.