Andrew K. Wright

Publication Activity (10 Years)

Years Active: 1990-2011
Publications (10 Years): 0

University of Houston, TX, USA (PHD)

Education History

University of Houston, TX, USA

PHD

Publications

David C. Bergman, Dong (Kevin) Jin, Joshua Juen, Naoki Tanaka, Carl A. Gunter, Andrew K. Wright
Nonintrusive Load-Shed Verification. IEEE Pervasive Comput. 10 (1) (2011)
Andrew K. Wright, John A. Kinast, Joe McCarty
Low-Latency Cryptographic Protection for SCADA Communications. ACNS (2004)
Andrew K. Wright
On Sapphire and type-safe languages. Commun. ACM 46 (4) (2003)
Carl A. Gunter, Stephen Weeks, Andrew K. Wright
Models and Languages for Digital Rights. HICSS (2001)
Andrew K. Wright, Suresh Jagannathan
Polymorphic Splitting: An Effective Polyvariant Flow Analysis. ACM Trans. Program. Lang. Syst. 20 (1) (1998)
Suresh Jagannathan, Peter Thiemann, Stephen Weeks, Andrew K. Wright
Single and Loving It: Must-Alias Analysis for Higher-Order Languages. POPL (1998)
Andrew K. Wright, Suresh Jagannathan, Cristian Ungureanu, Aaron Hertzmann
Compiling Java to a Typed Lambda-Calculus: A Preliminary Report. Types in Compilation (1998)
Suresh Jagannathan, Stephen Weeks, Andrew K. Wright
Type-Directed Flow Analysis for Typed Intermediate Languages. SAS (1997)
Andrew K. Wright, Robert Cartwright
A Practical Soft Type System for Scheme. ACM Trans. Program. Lang. Syst. 19 (1) (1997)
Suresh Jagannathan, Andrew K. Wright
Flow-directed Inlining. PLDI (1996)
Suresh Jagannathan, Andrew K. Wright
Compiling Functional Languages with Flow Analysis. ACM Comput. Surv. 28 (2) (1996)
Suresh Jagannathan, Andrew K. Wright
Effective Flow Analysis for Avoiding Run-Time Checks SAS (1995)
Andrew K. Wright
Simple Imperative Polymorphism. LISP Symb. Comput. 8 (4) (1995)
Andrew K. Wright, Matthias Felleisen
A Syntactic Approach to Type Soundness Inf. Comput. 115 (1) (1994)
Andrew K. Wright, Robert Cartwright
A Practical Soft Type System for Scheme. LISP and Functional Programming (1994)
Andrew K. Wright
Typing References by Effect Inference. ESOP (1992)
Gordon V. Cormack, Andrew K. Wright
Type-Dependent Parameter Inference. PLDI (1990)

Andrew K. Wright.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Andrew K. Wright