Superoptimizer - A Look at the Smallest Program. - Henry Massalin (ASPLOS, 1987)

The Synthesis Kernel. - Calton Pu; Henry Massalin; John Ioannidis (Comput. Syst., 1988)

Threads and Input/Output in the Synthesis Kernel. - Henry Massalin; Calton Pu (SOSP, 1989)

Fine-Grain Adaptive Scheduling using Feedback. - Henry Massalin; Calton Pu (Comput. Syst., 1989)

Reimplementing the Synthesis Kernel. - Henry Massalin; Calton Pu (USENIX Workshop on Microkernels and Other Kernel Architectures, 1992)

A Lock-Free Multiprocessor OS Kernel (Abstract). - Henry Massalin; Calton Pu (ACM SIGOPS Oper. Syst. Rev., 1992)

Fast Convolution with Packed Lookup Tables. - George Wolberg; Henry Massalin (Graphics Gems, 1994)

Broadband Algorithms with the MicroUnity MediaProcessor. - Curtis Abbott; Henry Massalin; Kevin Peterson; Tom Karzes; Larry Yamano; Gregg Kellogg (COMPCON, 1996)

MicroUnity Software Development Environment. - Raymond Hayes; Guillermo Loyola; Curtis Abbott; Henry Massalin (COMPCON, 1996)