Research software is often built as prototypes that never get widespread usage and are left
unmaintained after a few papers get published. To counteract this trend, we propose a …

The term" the machine" is commonly used to refer to the complicated physical hardware
running similarly complex software that ultimately executes programs. The idea that …

We propose a framework for identifying, organizing, and communicating learning objectives
that involve program semantics. In this framework, detailed learning objectives are written …

To effectively program knitting machines, like any fabrication machine, users must be able to
place the code they write in correspondence with the output the machine produces. This …

Background and Context. Modern programming is replete with features like closures,
callbacks, generators, asynchronous functions, and so on. These features can be subtle in …

Learning to write programs is hard, but many fail to even learn basic program reading skills,
such as mentally tracing a program to predict its behavior. This dissertation argues a new …

A notional machine is a pedagogic device that abstracts away details of the semantics of a
programming language to focus on some aspects of interest. A notional machine should be …

Computer programs need to deal with nondeterministic environments. This nondeterminism
may arise from many sources, like user input and concurrency for example. If program input …

A notional machine is a pedagogic device that abstracts away details of the semantics of a
programming language to focus on some aspects of interest. A notional machine should be …

Visualizing the runtime behavior of programs can help programmers with targeted
debugging and general understanding. For understanding complex programs, visualizations …