IAM, a system for interactive algebraic manipulation. - Carlos Christensen; Michael Karr (SYMSAC, 1971)

Affine Relationships Among Variables of a Program. - Michael Karr (Acta Informatica, 1976)

Incorporation of Units into Programming Languages. - Michael Karr; David B. Loveman (Commun. ACM, 1978)

Summation in Finite Terms. - Michael Karr (J. ACM, 1981)

Code generation by coagulation. - Michael Karr (SIGPLAN Symposium on Compiler Construction, 1984)

Canonical Form for Rational Exponential Expressions. - Michael Karr (European Conference on Computer Algebra (2), 1985)

"Delayability" in Proofs of Strong Normalizability in the Typed Lambda Calculus. - Michael Karr (TAPSOFT, Vol.1, 1985)

Theory of Summation in Finite Terms. - Michael Karr (J. Symb. Comput., 1985)

A Translator from C to a Lambda-Calculus Representation. - Michael Karr (ACM SIGPLAN Notices, 1996)