The design of a prototype mutation system for program testing. - Timothy A. Budd; Richard J. Lipton; Richard A. DeMillo; Frederick G. Sayward (AFIPS National Computer Conference, 1978)

Theoretical and Emperical Studies on Using Program Mutation to Test the Functional Correctness of Programs. - Timothy A. Budd; Richard A. DeMillo; Richard J. Lipton; Frederick G. Sayward (POPL, 1980)

Two Notions of Correctness and Their Relation to Testing. - Timothy A. Budd; Dana Angluin (Acta Informatica, 1982)

An Implementation of Generators in C. - Timothy A. Budd (Comput. Lang., 1982)

An APL compiler for the UNIX timesharing system. - Timothy A. Budd (APL, 1983)

Safety in grammatical protection systems. - Timothy A. Budd (Int. J. Parallel Program., 1983)

Extensions to Grid Selector Composition and Compilation in APL. - Joseph M. Treat; Timothy A. Budd (Inf. Process. Lett., 1984)

An APL Compiler for a Vector Processor. - Timothy A. Budd (ACM Trans. Program. Lang. Syst., 1984)

Dataflow analysis in APL. - Timothy A. Budd (APL, 1985)

Program Testing by Specification Mutation. - Timothy A. Budd; Ajei S. Gopal (Comput. Lang., 1985)

Creation and Reflexive Rights in Grammatical Protection Systems. - Timothy A. Budd (Inf. Process. Lett., 1985)

Time space tradeoffs in vector algorithms for APL functions. - Timothy Budd 001 (ACM SIGPLAN Notices, 1988)

The Design of an Object-oriented Command Interpreter. - Timothy A. Budd (Softw. Pract. Exp., 1989)

An introduction to object-oriented programming. - Timothy A. Budd (Addison-Wesley, 1991)

Compiling APL for Parallel and Vector Execution. - Timothy A. Budd; Rajeev K. Pandey (APL, 1991)

Blending Imperative and Relational Programming. - Timothy A. Budd (IEEE Softw., 1991)

Multiparadigm data structures in Leda. - Timothy A. Budd (ICCL, 1992)

Classic data structures in C++. - Timothy A. Budd (Addison-Wesley, 1994)

A Multiparadigm Approach to Compiler Construction. - Timothy P. Justice; Rajeev K. Pandey; Timothy A. Budd (ACM SIGPLAN Notices, 1994)

Multiparadigm programming in Leda. - Timothy A. Budd (Addison-Wesley, 1995)

General-purpose multiparadigm programming languages: an enabling technology for constructing complex systems. - Timothy A. Budd; Timothy P. Justice; Rajeev K. Pandey (ICECCS, 1995)

Never mind the paradigm, what about multiparadigm languages? - Timothy A. Budd; Rajeev K. Pandey (ACM SIGCSE Bull., 1995)

Functional Programming and the Fragile Base Class Problem. - Timothy A. Budd (ACM SIGPLAN Notices, 1998)

The simple ways we deal with complexity. - Timothy Budd 001 (J. Comput. Sci. Coll., 2000)

Multiparadigm Design of a Simple Relational Database. - Charles D. Knutson; Timothy A. Budd; Hugh Vidos (ACM SIGPLAN Notices, 2000)

Classic data structures in Java. - Timothy A. Budd (Addison-Wesley-Longman, 2001)

Protecting and Managing Electronic Content with a Digital Battery. - Timothy A. Budd (Computer, 2001)

An active learning approach to teaching the data structures course. - Timothy A. Budd (SIGCSE, 2006)