Benjamin Delaware

University of Texas at Austin Email: bendy@cs.utexas.edu
2317 Speedway, Stop D9500 Website: www.cs.utexas.edu/~bendy/
Austin, TX 78712
Education
Ph.D. Computer Science 2013
University of Texas at Austin expected
Dissertation: Feature Modularity in Mechanized Reasoning
M.Sc. Computer Science 2007
Washington 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
University of Texas at Austin 2007-present
Graduate Research Assistant Advised by William Cook and Don Batory
Washington University in St. Louis 2006-2007
Graduate Research Assistant Advised by Aaron Stump
Papers
refereed publications
  • Modular Monadic Meta-Theory

    • Benjamin Delaware, Steven Keuchel, Tom Schrijvers, Bruno C. d. S. Oliveira
    • ACM SIGPLAN International Conference on Functional Programming (ICFP) 2013.
  • Meta-Theory la Carte

    • Benjamin Delaware, Bruno C. d. S. Oliveira, Tom Schrijvers
    • Proceedings of the ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL) 2013.
  • Product Lines of Theorems

    • Benjamin Delaware, William R. Cook, Don Batory
    • Proceedings of the ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA) 2011.
  • Fitting The Pieces Together: A Machine-Checked Model of Safe Composition

    • Benjamin Delaware, William R. Cook, Don Batory
    • Proceedings of the joint meeting of the European Software Engineering Conference (ESEC) and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE) 2009.
    • Preliminary version presented at Foundations of Aspect-Oriented Languages (FOAL) 2009.
drafts
technical reports and theses
Presentations
  • Meta-Theory la Carte

    • POPL 2013, Rome, Italy. January 2013.
    • Seminar, University of Ghent, Ghent, Belgium. December 2012.
  • Product Lines of Theorems

    • OOPSLA 2011, Portland, Oregon. October 2011.
    • 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 Development (FOSD), Schloss Dagstuhl, Germany. January 2011.
  • Fitting the Pieces Together: A Machine-Checked Model of Safe Composition

    • ESEC/FSE 2009, Amsterdam, The Netherlands. August 2009.
    • Foundations of Aspect-Oriented Languages (FOAL) 2009, University of Virginia. March 2009.
Teaching
assistant instructor
CS105: PHP + SQL Spring 2013, Fall 2013
University of Texas at Austin
teaching assistant
CS 378: Software Design Fall 2012,
University of Texas at Austin Spring 2010
CS 240: Logic and Discrete Mathematics Spring 2007,
Washington University in St. Louis Spring 2006
CS 511A: Introduction to AI Fall 2005,
Washington University in St. Louis Fall 2006
Academic Service
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
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
References
William Cook Don Batory Aaron Stump