Research
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.
Dissertation
My doctoral dissertation, entitled Fast, Effective Program Analysis for Object-Level Parallelism, is available here.
Select Publications
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