(2010) Code Bubbles - Visualising and editing code in an infinite canvas using bubbles to contain code fragments (there's a video showing how it would work)

Building Visual Malware Dataset using VirusShare Data and Comparing Machine Learning Baseline Model to CoAtNet for Malware Classification

DRAMHiT: A Hash Table Architected for the Speed of DRAM (2023)

QUIC is not quick enough over fast internet

The Long Way to Deforestation: A Type Inference and Elaboration Technique for Removing Intermediate Data Structures

On the Operational Theory of the CPS-Calculus: Towards a Theoretical Foundation for IRs

The Lisp 2 Programming Language and System (1966) [pdf]

Hypermedia Controls: Feral to Formal (PDF: ACM HT'24)

Snapshottable Stores

GenAI diminishes creativity instead of inspiration