The Graph Programming Language GP (2009) [pdf]

DEC Answers Leap Year Complaint (1983)

Growing Music with L-Systems

Not All Patterns, but Enough (2008)

Safe Asynchronous Multicore Memory Operations (2012)

Learning Assertions to Verify Linked-List Programs (2015)

York Lava, by example (2009)