Journal and Conference Publications
Eric Butler, Emina Torlak, Zoran Popović, A Framework for Computer-Aided Design of Educational Domain Models, in proceedings of the 19th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI), 2018.
Eric Butler, Emina Torlak, Zoran Popović, Synthesizing Interpretable Strategies for Solving Puzzle Games, in proceedings of the 12th International Conference on the Foundations of Digital Games (FDG), 2017.
Eric Butler, Erik Andersen, Adam M. Smith, Sumit Gulwani, Zoran Popović, Automatic Game Progression Design through Analysis of Solution Features, in proceedings of the 2015 annual conference on Human factors in computing systems (CHI), 2015.
Eric Butler, Adam M. Smith, Yun-En Liu, Zoran Popović, A Mixed-Initiative Tool for Designing Level Progressions in Games, in proceedings of the ACM Symposium on User Interface Software and Technology 2013 (UIST), 2013.
Yun-En Liu, Travis Mandel, Eric Butler, Erik Andersen, Eleanor O'Rourke, Emma Brunskill, Zoran Popović, Predicting Player Moves in an Educational Game: A Hybrid Approach, in proceedings of the Sixth International Conference on Educational Data Mining (EDM), 2013.
Adam M. Smith, Eric Butler, Zoran Popović, Quantifying over Play: Constraining Undesirable Solutions in Puzzle Design, in proceedings of the 8th International Conference on the Foundations of Digital Games (FDG), 2013.
Eleanor O'Rourke, Eric Butler, Yun-En Liu, Christy Ballweber, Zoran Popović, The Effects of Age on Player Behavior in Educational Games, in proceedings of the 8th International Conference on the Foundations of Digital Games (FDG), 2013.
Abstracts and Workshop Publications
Eric Butler, Kristin Siu, Playable Experiences at AIIDE 2016: Elsinore, in proceedings of the AAAI Conference on AI and Interactive Digital Entertainment (AIIDE), 2016.
Kristin Siu, Eric Butler, Alexander Zook, A Programming Model for Boss Encounters in 2D Action Games, in Experimental AI in Games workshop (EXAG) at the AAAI Conference on AI and Interactive Digital Entertainment (AIIDE), 2016.
Aaron Bauer, Eric Butler, Zoran Popović, Computational Thinking Strategies in an Educational Game: A Position Paper, in Blocks and Beyond workshop at the IEEE Symposium on Visual Languages and Human-Centric Computing (VLHCC), 2015.
Unpublished
-
Eric Butler, Automatic Generation of Procedural Knowledge Using Program Synthesis, Doctoral Dissertation, 2018.
Eric Butler, Rahul Banerjee, Visualizing Progressions for Education and Game Design, 2014.
A complete list can be found on my Google Scholar page.