| 2004 |
|---|
| 16 | EE | Andrew K. Wright,
John A. Kinast,
Joe McCarty:
Low-Latency Cryptographic Protection for SCADA Communications.
ACNS 2004: 263-277 |
| 2003 |
|---|
| 15 | EE | Andrew K. Wright:
On Sapphire and type-safe languages.
Commun. ACM 46(4): 120 (2003) |
| 2001 |
|---|
| 14 | EE | Carl A. Gunter,
Stephen Weeks,
Andrew K. Wright:
Models and Languages for Digital Rights.
HICSS 2001 |
| 1998 |
|---|
| 13 | EE | Suresh Jagannathan,
Peter Thiemann,
Stephen Weeks,
Andrew K. Wright:
Single and Loving It: Must-Alias Analysis for Higher-Order Languages.
POPL 1998: 329-341 |
| 12 | EE | Andrew K. Wright,
Suresh Jagannathan,
Cristian Ungureanu,
Aaron Hertzmann:
Compiling Java to a Typed Lambda-Calculus: A Preliminary Report.
Types in Compilation 1998: 9-27 |
| 11 | EE | Andrew K. Wright,
Suresh Jagannathan:
Polymorphic Splitting: An Effective Polyvariant Flow Analysis.
ACM Trans. Program. Lang. Syst. 20(1): 166-207 (1998) |
| 1997 |
|---|
| 10 | | Suresh Jagannathan,
Stephen Weeks,
Andrew K. Wright:
Type-Directed Flow Analysis for Typed Intermediate Languages.
SAS 1997: 232-249 |
| 9 | EE | Andrew K. Wright,
Robert Cartwright:
A Practical Soft Type System for Scheme.
ACM Trans. Program. Lang. Syst. 19(1): 87-152 (1997) |
| 1996 |
|---|
| 8 | | Suresh Jagannathan,
Andrew K. Wright:
Flow-directed Inlining.
PLDI 1996: 193-205 |
| 7 | | Suresh Jagannathan,
Andrew K. Wright:
Compiling Functional Languages with Flow Analysis.
ACM Comput. Surv. 28(2): 337-339 (1996) |
| 1995 |
|---|
| 6 | | Suresh Jagannathan,
Andrew K. Wright:
Effective Flow Analysis for Avoiding Run-Time Checks
SAS 1995: 207-224 |
| 5 | | Andrew K. Wright:
Simple Imperative Polymorphism.
Lisp and Symbolic Computation 8(4): 343-355 (1995) |
| 1994 |
|---|
| 4 | EE | Andrew K. Wright,
Robert Cartwright:
A Practical Soft Type System for Scheme.
LISP and Functional Programming 1994: 250-262 |
| 3 | | Andrew K. Wright,
Matthias Felleisen:
A Syntactic Approach to Type Soundness
Inf. Comput. 115(1): 38-94 (1994) |
| 1992 |
|---|
| 2 | | Andrew K. Wright:
Typing References by Effect Inference.
ESOP 1992: 473-491 |
| 1990 |
|---|
| 1 | | Gordon V. Cormack,
Andrew K. Wright:
Type-Dependent Parameter Inference.
PLDI 1990: 127-136 |
