Type-Dependent Parameter Inference. - Gordon V. Cormack; Andrew K. Wright (PLDI, 1990)

Typing References by Effect Inference. - Andrew K. Wright (ESOP, 1992)

Practical soft typing. - Andrew K. Wright (1994)

A Syntactic Approach to Type Soundness - Andrew K. Wright; Matthias Felleisen (Inf. Comput., 1994)

Effective Flow Analysis for Avoiding Run-Time Checks - Suresh Jagannathan; Andrew K. Wright (SAS, 1995)

Simple Imperative Polymorphism. - Andrew K. Wright (LISP Symb. Comput., 1995)

Flow-directed Inlining. - Suresh Jagannathan; Andrew K. Wright (PLDI, 1996)

Compiling Functional Languages with Flow Analysis. - Suresh Jagannathan; Andrew K. Wright (ACM Comput. Surv., 1996)

Type-Directed Flow Analysis for Typed Intermediate Languages. - Suresh Jagannathan; Stephen Weeks; Andrew K. Wright (SAS, 1997)

A Practical Soft Type System for Scheme. - Andrew K. Wright; Robert Cartwright (ACM Trans. Program. Lang. Syst., 1997)

Single and Loving It: Must-Alias Analysis for Higher-Order Languages. - Suresh Jagannathan; Peter Thiemann 001; Stephen Weeks; Andrew K. Wright (POPL, 1998)

Compiling Java to a Typed Lambda-Calculus: A Preliminary Report. - Andrew K. Wright; Suresh Jagannathan; Cristian Ungureanu; Aaron Hertzmann (Types in Compilation, 1998)

Polymorphic Splitting: An Effective Polyvariant Flow Analysis. - Andrew K. Wright; Suresh Jagannathan (ACM Trans. Program. Lang. Syst., 1998)

Models and Languages for Digital Rights. - Carl A. Gunter; Stephen Weeks; Andrew K. Wright (HICSS, 2001)

On Sapphire and type-safe languages. - Andrew K. Wright (Commun. ACM, 2003)

Low-Latency Cryptographic Protection for SCADA Communications. - Andrew K. Wright; John A. Kinast; Joe McCarty (ACNS, 2004)

Nonintrusive Load-Shed Verification. - David C. Bergman; Dong (Kevin) Jin; Joshua Juen; Naoki Tanaka; Carl A. Gunter; Andrew K. Wright (IEEE Pervasive Comput., 2011)