Andrew K. Wright

According to our database, Andrew K. Wright authored at least 17 papers between 1990 and 2011.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2011

Nonintrusive Load-Shed Verification.

David C. Bergman, Dong (Kevin) Jin, Joshua Juen, Naoki Tanaka, Carl A. Gunter, Andrew K. Wright

IEEE Pervasive Comput., 2011

2004

Low-Latency Cryptographic Protection for SCADA Communications.

Andrew K. Wright, John A. Kinast, Joe McCarty

Proceedings of the Applied Cryptography and Network Security, 2004

2003

On Sapphire and type-safe languages.

Andrew K. Wright

Commun. ACM, 2003

2001

Models and Languages for Digital Rights.

Carl A. Gunter, Stephen Weeks, Andrew K. Wright

Proceedings of the 34th Annual Hawaii International Conference on System Sciences (HICSS-34), 2001

1998

Polymorphic Splitting: An Effective Polyvariant Flow Analysis.

Andrew K. Wright, Suresh Jagannathan

ACM Trans. Program. Lang. Syst., 1998

Compiling Java to a Typed Lambda-Calculus: A Preliminary Report.

Andrew K. Wright, Suresh Jagannathan, Cristian Ungureanu, Aaron Hertzmann

Proceedings of the Types in Compilation, Second International Workshop, 1998

Single and Loving It: Must-Alias Analysis for Higher-Order Languages.

Suresh Jagannathan, Peter Thiemann, Stephen Weeks, Andrew K. Wright

Proceedings of the POPL '98, 1998

1997

Type-Directed Flow Analysis for Typed Intermediate Languages.

Suresh Jagannathan, Stephen Weeks, Andrew K. Wright

Proceedings of the Static Analysis, 4th International Symposium, 1997

1996

Compiling Functional Languages with Flow Analysis.

Suresh Jagannathan, Andrew K. Wright

ACM Comput. Surv., 1996

Flow-directed Inlining.

Suresh Jagannathan, Andrew K. Wright

Proceedings of the ACM SIGPLAN'96 Conference on Programming Language Design and Implementation (PLDI), 1996

1995

Simple Imperative Polymorphism.

Andrew K. Wright

LISP Symb. Comput., 1995

Effective Flow Analysis for Avoiding Run-Time Checks

Suresh Jagannathan, Andrew K. Wright

Proceedings of the Static Analysis, 1995

1994

A Syntactic Approach to Type Soundness

Andrew K. Wright, Matthias Felleisen

Inf. Comput., November, 1994

A Practical Soft Type System for Scheme.

Andrew K. Wright, Robert Cartwright

Proceedings of the 1994 ACM Conference on LISP and Functional Programming, 1994

Practical soft typing.

Andrew K. Wright

PhD thesis, 1994

1992

Typing References by Effect Inference.

Andrew K. Wright

Proceedings of the ESOP '92, 1992

1990

Type-Dependent Parameter Inference.

Gordon V. Cormack, Andrew K. Wright

Proceedings of the ACM SIGPLAN'90 Conference on Programming Language Design and Implementation (PLDI), 1990