Search the dblp DataBase

Publications of Author

1. Henry Cejtin, Suresh Jagannathan, Stephen Weeks
   Flow-Directed Closure Conversion for Typed Languages. [Citation Graph (0, 0)][DBLP]
   ESOP, 2000, pp:56-71 [Conf]
   
2. Carl A. Gunter, Stephen Weeks, Andrew K. Wright
   Models and Languages for Digital Rights. [Citation Graph (0, 0)][DBLP]
   HICSS, 2001, pp:- [Conf]
   
3. Matthew Fluet, Stephen Weeks
   Contification Using Dominators. [Citation Graph (0, 0)][DBLP]
   ICFP, 2001, pp:2-13 [Conf]
   
4. Suresh Jagannathan, Stephen Weeks
   Analyzing Stores and References in a Parallel Symbolic Language. [Citation Graph (0, 0)][DBLP]
   LISP and Functional Programming, 1994, pp:294-305 [Conf]
   
5. 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]
   
6. Suresh Jagannathan, Stephen Weeks
   A Unified Treatment of Flow Analysis in Higher-Order Languages. [Citation Graph (0, 0)][DBLP]
   POPL, 1995, pp:393-407 [Conf]
   
7. Stephen Weeks, Matthias Felleisen
   On the Orthogonality of Assignments and Procedures in Algol. [Citation Graph (0, 0)][DBLP]
   POPL, 1993, pp:57-70 [Conf]
   
8. 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]
   
9. Stephen Weeks
   Understanding Trust Management Systems. [Citation Graph (0, 0)][DBLP]
   IEEE Symposium on Security and Privacy, 2001, pp:94-105 [Conf]
   
10. Stephen Weeks, Suresh Jagannathan, James Philbin
    A Concurrent Abstract Interpreter. [Citation Graph (0, 0)][DBLP]
    Lisp and Symbolic Computation, 1994, v:7, n:2-3, pp:173-193 [Journal]
    
11. Stephen Weeks
    Whole-program compilation in MLton. [Citation Graph (0, 0)][DBLP]
    ML, 2006, pp:1- [Conf]