Stephen Weeks

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

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2008

Flattening tuples in an SSA intermediate representation.

Lukasz Ziarek, Stephen Weeks, Suresh Jagannathan

High. Order Symb. Comput., 2008

Caml trading - experiences with functional programming on Wall Street.

Yaron Minsky, Stephen Weeks

J. Funct. Program., 2008

2006

Whole-program compilation in MLton.

Stephen Weeks

Proceedings of the ACM Workshop on ML, 2006, Portland, Oregon, USA, September 16, 2006, 2006

2001

Understanding Trust Management Systems.

Stephen Weeks

Proceedings of the 2001 IEEE Symposium on Security and Privacy, 2001

Contification Using Dominators.

Matthew Fluet, Stephen Weeks

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

Models and Languages for Digital Rights.

Carl A. Gunter, Stephen Weeks, Andrew K. Wright

Proceedings of the 34th Annual Hawaii International Conference on System Sciences (HICSS-34), 2001

2000

Flow-Directed Closure Conversion for Typed Languages.

Henry Cejtin, Suresh Jagannathan, Stephen Weeks

Proceedings of the Programming Languages and Systems, 2000

1998

Single and Loving It: Must-Alias Analysis for Higher-Order Languages.

Suresh Jagannathan, Peter Thiemann, Stephen Weeks, Andrew K. Wright

Proceedings of the POPL '98, 1998

1997

Type-Directed Flow Analysis for Typed Intermediate Languages.

Suresh Jagannathan, Stephen Weeks, Andrew K. Wright

Proceedings of the Static Analysis, 4th International Symposium, 1997

1995

A Unified Treatment of Flow Analysis in Higher-Order Languages.

Suresh Jagannathan, Stephen Weeks

Proceedings of the Conference Record of POPL'95: 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1995

1994

A Concurrent Abstract Interpreter.

Stephen Weeks, Suresh Jagannathan, James Philbin

LISP Symb. Comput., 1994

Analyzing Stores and References in a Parallel Symbolic Language.

Suresh Jagannathan, Stephen Weeks

Proceedings of the 1994 ACM Conference on LISP and Functional Programming, 1994

1993

On the Orthogonality of Assignments and Procedures in Algol.

Stephen Weeks, Matthias Felleisen

Proceedings of the Conference Record of the Twentieth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1993