Stephen Weeks

According to our database1, Stephen Weeks authored at least 13 papers between 1993 and 2008.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2008
Flattening tuples in an SSA intermediate representation.
High. Order Symb. Comput., 2008

Caml trading - experiences with functional programming on Wall Street.
J. Funct. Program., 2008

2006
Whole-program compilation in MLton.
Proceedings of the ACM Workshop on ML, 2006, Portland, Oregon, USA, September 16, 2006, 2006

2001
Understanding Trust Management Systems.
Proceedings of the 2001 IEEE Symposium on Security and Privacy, 2001

Contification Using Dominators.
Proceedings of the Sixth ACM SIGPLAN International Conference on Functional Programming (ICFP '01), 2001

Models and Languages for Digital Rights.
Proceedings of the 34th Annual Hawaii International Conference on System Sciences (HICSS-34), 2001

2000
Flow-Directed Closure Conversion for Typed Languages.
Proceedings of the Programming Languages and Systems, 2000

1998
Single and Loving It: Must-Alias Analysis for Higher-Order Languages.
Proceedings of the POPL '98, 1998

1997
Type-Directed Flow Analysis for Typed Intermediate Languages.
Proceedings of the Static Analysis, 4th International Symposium, 1997

1995
A Unified Treatment of Flow Analysis in Higher-Order Languages.
Proceedings of the Conference Record of POPL'95: 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1995

1994
A Concurrent Abstract Interpreter.
LISP Symb. Comput., 1994

Analyzing Stores and References in a Parallel Symbolic Language.
Proceedings of the 1994 ACM Conference on LISP and Functional Programming, 1994

1993
On the Orthogonality of Assignments and Procedures in Algol.
Proceedings of the Conference Record of the Twentieth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1993


  Loading...