Research introduces a comprehensive, ranked catalog of over 100 code quality defects in introductory programming, validated by an educator survey and analyzed for prevalence using a novel automated tool

Design of the SCHEME-78 Lisp-based microprocessor (1980)

Is sound gradual typing dead? Performance problems in Typed Racket (2016)

Researchers have launched the world's first open platform for the objective comparison of biological age algorithms ("aging clocks")

Jazz Guitarist Stanley Jordan wrote APL for Music

Some observations concerning large programming efforts (1964)

Workings of Science: Debunked Software Theories (2022) [pdf]

"The theory of parsing, translation, and compiling" by Aho and Ullman (1972) can be downloaded from ACM

An Introduction to Trellis-Owl (1986)

A Case for Protecting Computer Games with SGX (2016)