Whole-Program Compilation in MLton. (ACM abstract)

Talk given at the ML Workshop on September 16, 2006.

Whole-Program Compilation in MLton. (odp)

Talk given at Intel on August 25, 2006.

SPiCE: Configuration Synthesis for Policy Enforcement

Deborah Shands, Erik Wu, Jay Jacobs, James Horning, and Stephen Weeks. McAfee Research Technical Report #04-016, June 2004.

Contification Using Dominators (gzipped postscript)

Matthew Fluet and Stephen Weeks. International Conference on Functional Programming (ICFP), Florence, September 2001.

Understanding Trust Management Systems (talk)

Stephen Weeks. IEEE Symposium on Security and Privacy, Oakland, May 2001.

Models and Languages for Digital Rights

Carl A. Gunter, Stephen Weeks, and Andrew K. Wright. Hawai'i International Conference On System Sciences, Maui, January 2001.

Flow-directed Closure Conversion for Typed Languages (talk)

Henry Cejtin, Suresh Jagannathan, and Stephen Weeks. European Symposium on Programming (ESOP), Berlin, March/April 2000. (part of ETAPS)

smlc, A Standard ML Compiler (note: smlc is now called MLton)

Talk given at InterTrust STAR Lab on January 15, 1999.

smlc, A Standard ML Compiler (note: smlc is now called MLton)

Talk given at Princeton University on November 17, 1998.

Dynamically extensible data structures in Standard ML (transparencies, code)

Talk given at New Jersey Programming Languages and Systems Seminar on September 2, 1998.

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

Suresh Jagannathan, Peter Thiemann, Stephen Weeks, and Andrew K. Wright. Principles of Programming Languages (POPL), San Diego, January 1998.

Type-Directed Flow Analysis for Typed Intermediate Languages

Suresh Jagannathan, Stephen Weeks, and Andrew Wright. Static Analysis Symposium (SAS), Paris, September 1997.

A Unified Treatment of Flow Analysis in Higher-Order Languages

Suresh Jagannathan and Stephen Weeks. Principles of Programming Languages (POPL), San Francisco, January 1995.

Analyzing Stores and References in a Parallel Symbolic Language

Suresh Jagannathan and Stephen Weeks. LISP and Functional Programming (LFP), Orlando, June 1994.

A Concurrent Abstract Interpreter

Stephen Weeks, Suresh Jagannathan, and James Philbin Lisp and Symbolic Computation: Volume 7, 1994.

On the Orthogonality of Assignments and Procedures in Algol

Stephen Weeks and Matthias Felleisen. Principles of Programming Languages (POPL), Charleston, January 1993.