Submissions from 2021
Evaluating Grasping Visualizations and Control Modes in a VR Game, Alex Adkins, Lorraine Lin, Aline Normoyle, Ryan Canales, Yuting Ye, and Sophie Jörg
An authoring tool to provide group and crowd animation using Natural Language scripts, Guido Mainardi, Aline Normoyle, Vinícius Cassol, Norman Badler, and Soraia Raupp Musse
Submissions from 2020
A survey on Recognizing Textual Entailment as an NLP Evaluation, Adam Poliak
Submissions from 2019
nbgrader: A Tool for Creating and Grading Assignments in the Jupyter Notebook, Douglas S. Blank, Project Jupyter, David Bourgin, Alexander Brown, Matthias Bussonnier, Jonathan Frederic, Brian Granger, Thomas L. Griffiths, Jessica Hamrick, Kyle Kelley, M Pacer, Logan Page, Fernando Pérez, Benjamin Ragan-Kelley, Jordan W. Suchow, and Carol Willing
Submissions from 2018
Type Variables in Patterns, Richard A. Eisenberg, Joachim Breitner, and Simon Peyton Jones
The Thoralf Plugin: For Your Fancy Type Needs, Divesh Otwani and Richard A. Eisenberg
Collecting Diverse Natural Language Inference Problems for Sentence Representation Evaluation, Adam Poliak, Aparajita Haldar, Rachel Rudinger, J Edward Hu, Ellie Pavlick, Aaron Steven White, and Benjamin Van Durme
Hypothesis Only Baselines in Natural Language Inference, Adam Poliak, Jason Naradowsky, Aparajita Haldar, Rachel Rudinger, and Benjamin Van Durme
Extended Abstract: Explaining Type Errors, Brent A. Yorgey, Richard A. Eisenberg, and Harley D. Eades III
Submissions from 2017
Curiosity: Emergent Behavior Through Interacting Multi-Level Predictions, Douglas S. Blank, Lisa Meeden, and James Marshall
Levity Polymorphism, Richard A. Eisenberg and Simon Peyton Jones
Levity Polymorphism (extended version), Richard A. Eisenberg and Simon Peyton Jones
Panel: Teaching To Increase Diversity and Equity in STEM, Helen H. Hu, Doug Blank, Albert Chan, and Travis Doom
Developing Grounded Goals through Instant Replay Learning, Lisa Meeden and Douglas S. Blank
Constrained Type Families, J. Garrett Morris and Richard A. Eisenberg
A Specification for Dependent Types in Haskell, Stephanie Weirich, Antoine Voizard, Pedro Henrique Azevedo de Amorim, and Richard A. Eisenberg
Submissions from 2016
Convex Hull for Probabilistic Points, F. Betul Atalay, Sorelle A. Friedler, and Dianna Xu
Safe zero-cost coercions for Haskell, Joachim Breitner, Richard A. Eisenberg, Simon Peyton Jones, and Stephanie Weirich
Dependent Types in Haskell: Theory and Practice, Richard A. Eisenberg
Visible Type Application, Richard A. Eisenberg, Stephanie Weirich, and Hamidhasan G. Ahmed
A Reflection on Types, Simon. Peyton Jones, Stephanie Weirich, Richard A. Eisenberg, and Dimitrios Vytiniotis
Uncommon Teaching Languages, Mark C. Lewis, Doug Blank, Kim Bruce, and Peter-Michael Osera
Pattern Synonyms, Matthew Pickering, Gergő Érdi, Simon Peyton Jones, and Richard A. Eisenberg
Creative Computation in High School, Dianna Xu, Aaron Cadle, Darby Thompson, Ursula Wolz, Ira Greenberg, and Deepak Kumar
Creative Computation for CS1 and K9-12, Dianna Xu, Ira Greenberg, Deepak Kumar, and Ursula Wolz
Submissions from 2015
An Overabundance of Equality: Implementing Kind Equalities into Haskell, Richard A. Eisenberg
System FC, as implemented in GHC, Richard A. Eisenberg
Computational Notebooks for AI Education, Keith J. O'Hara, Doug Blank, and James Marshall
Injective Type Families for Haskell, Jan Stolarek, Simon Peyton Jones, and Richard A. Eisenberg
Injective Type Families for Haskell (extended version), Jan Stolarek, Simon Peyton Jones, and Richard A. Eisenberg
Injective Type Families for Haskell, Jan Stolarek, Simon Peyton Jones, and Richard A. Eisenberg
Submissions from 2014
Safe Zero-cost Coercions for Haskell, Joachim Breitner, Richard A. Eisenberg, Simon Peyton Jones, and Stephanie Weirich
Safe Zero-cost Coercions for Haskell (extended version), Joachim Breitner, Richard A. Eisenberg, Simon Peyton Jones, and Stephanie Weirich
Promoting Functions to Type Families in Haskell, Richard A. Eisenberg and Jan Stolarek
Promoting Functions to Type Families in Haskell (extended version), Richard A. Eisenberg and Jan Stolarek
Closed Type Families with Overlapping Equations, Richard A. Eisenberg, Dimitrios Vytiniotis, Simon Peyton Jones, and Stephanie Weirich
Experience Report: Type-checking Polymorphic Units for Astrophysics Research in Haskell, Takayuki Muranushi and Richard A. Eisenberg
Submissions from 2013
Ironclad C++ A Library-Augmented Type-Safe Subset of C++, Christian DeLozier, Richard A. Eisenberg, Santosh Nagarakatte, Peter-Michael Osera, Milo M.K. Martin, and Steve Zdancewic
Closed Type Families with Overlapping Equations (extended version), Richard A. Eisenberg, Dimitrios Vytiniotis, Simon Peyton Jones, and Stephanie Weirich
Core Ironclad, Peter-Michael Osera, Richard A. Eisenberg, Christian DeLozier, Santosh Nagarakatte, Milo M.K. Martin, and Steve Zdancewic
System FC with Explicit Kind Equality, Stephanie Weirich, Justin Hsu, and Richard A. Eisenberg
System FC with Explicit Kind Equality (extended version), Stephanie Weirich, Justin Hsu, and Richard A. Eisenberg
Submissions from 2012
Quadrilateral meshes with provable angle bounds, F. B. Atalay, S. Ramaswami, and Dianna Xu
Calico: a multi-programming-language, multi-context framework designed for computer science education, Doug Blank, Jennifer S. Kay, James B. Marshall, Keith O'Hara, and Mark Russo
Dependently typed programming with singletons, Richard A. Eisenberg and Stephanie Weirich
Parametric pseudo-manifolds, Jean Gallier, Dianna Xu, and Marcelo Siqueira
Creative Coding and Visual Portfolios for CS1, Ira Greenberg, Deepak Kumar, and Dianna Xu
Submissions from 2009
The Pyro toolkit for AI and robotics, Doug Blank, Deepak Kumar, Lisa Meeden, and Holly Yanco
A music context for teaching introductory computing, Ananya Misra, Doug Blank, and Deepak Kumar
A new construction of smooth surfaces from triangle meshes using parametric pseudo-manifolds, Marcelo Siqueira, Dianna Xu, Jean Gallier, Luis Gustavo Nonato, Dimas Martinez Morera, and Luiz Velho
Submissions from 2008
Quadrilateral Meshes with Bounded Minimum Angle, F. Betul Atalay, Suneeta Ramaswami, and Dianna Xu
Games, Robots, and Robot Games: Complementary Contexts for Introductory Computing Education, Dianna Xu, Doug Blank, and Deepak Kumar
Submissions from 2007
Emergent pedagogy: learning to enjoy the uncontrollable—and make it productive, Anne Dalke, Kimberly Cassidy, Paul Grobstein, and Doug Blank
Introduction to developmental robotics, Lisa Meeden and Doug Blank
Submissions from 2005
Bringing up robot: Fundamental mechanisms for creating a self-motivated, self-organizing architecture, Doug Blank, Deepak Kumar, Lisa Meeden, and James Marshall
The Multiple Roles of Anticipation in Developmental Robotics, Doug Blank, Joshua M. Lewis, and James B. Marshall
Submissions from 2004
Pyro: A Python-based Versatile Programming Environment for Teaching Robotics, Doug Blank, Deepak Kumar, Lisa Meeden, and Holly Yanco
Avoiding the Karel-the-Robot Paradox: A framework for making sophisticated robotics accessible, Doug Blank, Holly Yanco, Deepak Kumar, and Lisa Meeden
An Emergent Framework for Self-Motivation in Developmental Robotics, James Marshall, Doug Blank, and Lisa Meeden
Robot Self-Motivation: Balancing "Boredom" and "Confusion", James Marshall, Doug Blank, and Lisa Meeden
Self-Motivated, Task-Independent Reinforcement Learning for Robots, Lisa Meeden, James Marshall, and Doug Blank
The Governor Architecture: Avoiding Catastrophic Forgetting in Robot Learning, Jeremy Strober, Lisa Meeden, and Doug Blank
Submissions from 2003
Patterns of Curriculum Design, Doug Blank and Deepak Kumar
Python robotics: an environment for exploring robotics beyond LEGOs, Doug Blank, Lisa Meeden, and Deepak Kumar
Using departmental surveys to assess computing culture: Quantifying gender differences in the classroom, Lisa Meeden, Doug Blank, and Deepak Kumar
Submissions from 2002
A Developmental Approach to Anchoring, Doug Blank, Deepak Kumar, and Lisa Meeden
A Developmental Approach to Intelligence, Doug Blank, Deepak Kumar, and Lisa Meeden
Bringing up robot: Fundamental mechanisms for creating a self-motivated, self-organizing architecture, Doug Blank, Deepak Kumar, and Lisa Meeden
Submissions from 2001
A Robot Team that Can Search, Rescue, and Serve Cookies: Experiments in Multi-modal Person Identification and Multi-robot Sound Localization., Doug Blank and G. Beavers
Complexity as Fitness for Evolved Cellular Automata Update Rules, Em Ward, Doug Blank, Douglas Rolniak, and Dale R. Thompson
Submissions from 1999
The World Wide Web, H. Berghel and Doug Blank
Radical Artificial Intelligence: A Postmodern Approach, Doug Blank
The XRCL Project: The University of Arkansas' Entry into the AAAI 1999 Mobile Robot Competition, Doug S. Blank, Jared H. Hudson, Brian C. Mashburn, and Eric A. Roberts
Graphics + Robotics + AI = Fast, 3D Scene Construction, Brian C. Mashburn and Doug S. Blank
Submissions from 1998
Interactive Gradebook: The Missing (Hyper)Link, Doug Blank, George Holmes, Ryan Wells, and Pawel Wolinksi
Innovation through Competition, Doug Blank and Lisa Meeden
Use of Robot Simulations can Enhance Integration, Lisa Meeden and Doug Blank
Submissions from 1997
Learning to See Analogies: A Connectionist Exploration, Douglas S. Blank
Learning in a Fuzzy Logic Robot Controller, Doug Blank and J. O. Ross
Incorporating a Connectionist Vision Module into a Fuzzy, Behavior-Based Robot Controller, Doug Blank and J. Oliver Ross
Submissions from 1996
Analogy-Making: A Connectionist Exploration, Doug Blank
Behavior-Based Analogy-Making, Doug Blank
Submissions from 1993
Emergent Control and Planning in an Autonomous Vehicle, Lisa Meeden, Gary McGraw, and Doug Blank
Submissions from 1992
Grounding via Scanning: Cooking up Roles from Scratch, Doug Blank and Michael Gasser
Exploring the Symbolic/Subsymbolic Continuum: A case study of RAAM, Doug Blank, Lisa Meeden, and James Marshall