Benjamin J. Delaware

University of at Austin Phone: (512)-949-9713 Department of Computer Sciences Email: [email protected] 1 University Station, C0500 Website: cs.utexas.edu/∼bendy Austin, TX 78712-0233, USA

Education

Ph.D. Computer Science expected 2013 University of Texas at Austin Dissertation: Feature Modularity in Mechanized Reasoning M.Sc. Computer Science 2007 University in St. Louis Thesis: Bagahk: Developing Sound and Complete Decision Procedures in Coq B.S. Computer Science, B.A. Russian 2005 Truman State University Summa Cum Laude with Departmental Honors in Math and Computer Science

Research Experience

Feature Modularity in Mechanized Reasoning 2009 - Present Investigating the design of reusable features that include partial proofs which cut across normal modularity boundaries. Advised by William Cook and Don Batory Meta-Programming with Models 2008 - 2009 Worked on a meta-programming language using data models as its foundation. Advised by William Cook Safe Composition of Product Lines 2008 Developed a formal model, mechanically verified in Coq, of an extension of Java for compositional software development using feature-oriented programming. Mechanically verified the soundness of the model’s type system in the Coq proof assistant. Advised by William Cook and Don Batory Verified Decision Procedures 2006-2007 Built a Satisfiability Modulo Theories solver in the Coq proof assistant using reflection and proved it sound and complete. The verified algorithm can be used as a tactic in Coq for user-directed proofs. Advised by Aaron Stump

Publications

Benjamin Delaware, Bruno C. d. S. Oliveira, Tom Schrijvers. Meta-Theory `ala Carte. ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL) 2013. Benjamin Delaware, William R. Cook, Don Batory. Product Lines of Theorems. Object-Oriented Programming, Systems, Languages & Applications (OOPSLA) 2011. Benjamin Delaware, William R. Cook, Don Batory. Fitting the Pieces Together: A Machine-Checked Model of Safe Composition. Joint European Software Engineering Conference and Foundations of Software Engineering (ESEC/FSE) 2009. Preliminary version presented at Foundations of Aspect- Oriented Languages (FOAL) 2009. Technical Reports

William R. Cook, Benjamin Delaware, Thomas Finsterbusch, Ali Ibrahim, Ben Wiedermann. Model Transformation by Partial Evaluation of Model Interpreters. Technical Report TR-09-09, UT Austin Department of Computer Sciences

Drafts

Benjamin Delaware, William R. Cook. Generic Operations and Partial Evaluation using Models.

Master’s Thesis

Benjamin Delaware. Bagahk: Developing Sound and Complete Decision Procedures in Coq. Master’s Thesis, Washington University in St. Louis. August 2007.

Presentations

Meta-Theory `ala Carte. POPL 2013: 40th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL), Rome, Italy. January 2013.

Meta-Theory `ala Carte. Seminar, Uniiversity of Ghent. Ghent, Italy. December 2012.

Product Lines of Theorems. 26th Conference on Object-Oriented Programming, Systems, Languages & Applications (OOPSLA), Portland, . October 2011.

Product Lines of Theorems. 2nd Conference on Interactive Theorem Proving (ITP), Nijmegen, The Netherlands. August 2011. (Joint keynote with Don Batory). Engineering Modular Mechanized Metatheory. Dagstuhl Seminar on Feature-Oriented Software De- velopment (FOSD), Schloss Dagstuhl, Germany. January 2011. Fitting the Pieces Together: A Machine-Checked Model of Safe Composition. The 7th Joint Eu- ropean Software Engineering Conference and Foundations of Software Engineering (ESEC/FSE), Amsterdam, The Netherlands. August 2009. A Machine-Checked Model of Safe Composition. Foundations of Aspect-Oriented Languages (FOAL) 2009, University of Virginia. March 2009. Bagahk: Developing Sound and Complete Decision Procedures in Coq. Master’s Thesis Defense, Washington University in St. Louis. August 2007. An Open-Source Implementation of the Realistic Age-Structured (RAS) New Zealand Measles Model of Roberts and Tobias. Poster Presentation, 19th National Conferences on Undergraduate Research, Washington and Lee University and Virginia Military Institute. April 2005.

Academic Service

External Reviewer, 27th European Conference on Object-Oriented Programming (ECOOP 2013) External Reviewer, 40th Symposium on Principles of Programming Languages (POPL 2013) External Reviewer, 16th International Conference on Functional Programming (ICFP 2011) External Reviewer, 49th Conference on Objects, Models, Components, Patterns (TOOLS 2011) External Reviewer, 48th Conference on Objects, Models, Components, Patterns (TOOLS 2010) External Reviewer, 37th Symposium on Principles of Programming Languages (POPL 2010) External Reviewer, 22nd European Conference on Object-Oriented Programming (ECOOP 2008) Honors

MCD Doctoral Fellowship 2007-2010 University of Texas at Austin Dean’s Excellence Award, College of Natural Sciences 2007 University of Texas at Austin Graduate Research Assistantship 2006-2007 Washington University in St. Louis Distinguished Master’s Fellowship 2005-2006 Washington University in St. Louis Phi Beta Kappa 2004 Truman State University Presidential Leadership Scholarship 2001-2005 Truman State University

Teaching Experience

Teaching Assistant CS 378: Software Design Spring 2010 University of Texas at Austin CSE 240: Logic and Discrete Mathematics Spring 2007 Washington University in St. Louis CSE 511A: Introduction to Artificial Intelligence Fall 2005, Fall 2006 Washington University in St. Louis

Grader CSE 240: Logic and Discrete Mathematics Spring 2006 Washington University in St. Louis

References

William Cook Don Batory Aaron Stump Associate Professor Professor Associate Professor [email protected] [email protected] [email protected] Dept. of Computer Sciences Dept. of Computer Sciences Dept. of Computer Science University of Texas at Austin University of Texas at Austin The University of Iowa 1 University Station #C0500 1 University Station #C0500 201F MacLean Hall Austin, TX 78712-0233 Austin, TX 78712-0233 Iowa City, IA 52242-1419 Phone: (512) 471-9555 Phone: (512) 471-9713 Phone: (319) 384-0093