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.
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.
Analyzing endurance-sports activity with Apache Spark. Spark Summit 2014. San Francisco, CA; July 1, 2014. Slides (PDF) and video.
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.