The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Andrew K. Wright: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

Search in 0.002secs, Finished in 0.003secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002