DEC Answers Leap Year Complaint (1983)

Growing Music with L-Systems

Safe Asynchronous Multicore Memory Operations (2012)

Learning Assertions to Verify Linked-List Programs (2015)