My doctoral research developed novel and efficient program analyses to identify fine-grained parallelism in object-oriented programs. I also developed a program analysis environment based on declarative programming. My current research and development efforts relate to distributed computing, configuration management, and applications of declarative programming at scale.


My doctoral dissertation, entitled Fast, Effective Program Analysis for Object-Level Parallelism, is available here.

Select 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, WA, 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), talk slides. © ACM

Select invited talks and presentations

Iteratively Improving Spark Application Performance. ApacheCon EU 2014. Budapest, Hungary; November 18, 2014.

An Introduction to Distributed Analytics with Apache Spark. LinuxCon 2014. Chicago, IL; August 20, 2014.

An introduction to Apache Spark. Big Data Madison. Madison, WI; July 29, 2014. Slides (PDF).

Analyzing endurance-sports activity with Apache Spark. Spark Summit 2014. San Francisco, CA; July 1, 2014. Slides (PDF) and video.

Packaging Spark for Fedora. Spark Summit 2013. San Francisco, CA; December 2, 2013. Slides (PDF) and video.

Condor High Availability (joint presentation with Rob Rati). Condor Week 2012. Madison, WI; May 1, 2012. Slides (PDF).

Configuring Condor with Wallaby (joint presentation with Rob Rati). Condor Week 2011. Madison, WI; May 3, 2011. Slides (PDF)

Improving Condor configuration management with Wallaby (joint presentation with Rob Rati). Condor Week 2010. Madison, WI; April 15, 2010. Slides (PDF)

Type-based program analysis. St. Olaf College Mathematics and Computer Science Colloquium. Northfield, MN; March 11, 2008. Slides (PDF) or slides with notes (PDF).

Statically identifying implicit module-level parallelism. University of Wisconsin Computer Architecture Seminar. Madison, WI; March 7, 2006.

Effect systems and applications. University of Wisconsin Programming Languages Seminar. Madison, WI; March 3, 2005.

Identifying Class-Level Parallelism in Object-Oriented Programs. University of Wisconsin Programming Languages Seminar. Madison, WI; April 28, 2004.

The SSSCA: What does it mean for us? Guest lecture in Prof. James Goodman’s “Computers and Society” course. Madison, WI; March 5, 2002.

MIPS/Irix Paradyn on a multi-node SGI Origin. Paradyn and Condor Week 2001. Madison, WI; March 14, 2001.