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. Machine Learning Systems and Intelligent Applications. In IEEE Software, vol. 37, no. 4, pp. 43-49, July-Aug. 2020. preprint PDF.

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). © ACM

Select presentations

See here.