Andrew K. Wright

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