| 2008 |
|---|
| 12 | EE | Yaron Minsky,
Stephen Weeks:
Caml trading - experiences with functional programming on Wall Street.
J. Funct. Program. 18(4): 553-564 (2008) |
| 2006 |
|---|
| 11 | EE | Stephen Weeks:
Whole-program compilation in MLton.
ML 2006: 1 |
| 2001 |
|---|
| 10 | EE | Carl A. Gunter,
Stephen Weeks,
Andrew K. Wright:
Models and Languages for Digital Rights.
HICSS 2001 |
| 9 | | Matthew Fluet,
Stephen Weeks:
Contification Using Dominators.
ICFP 2001: 2-13 |
| 8 | EE | Stephen Weeks:
Understanding Trust Management Systems.
IEEE Symposium on Security and Privacy 2001: 94-105 |
| 2000 |
|---|
| 7 | EE | Henry Cejtin,
Suresh Jagannathan,
Stephen Weeks:
Flow-Directed Closure Conversion for Typed Languages.
ESOP 2000: 56-71 |
| 1998 |
|---|
| 6 | EE | Suresh Jagannathan,
Peter Thiemann,
Stephen Weeks,
Andrew K. Wright:
Single and Loving It: Must-Alias Analysis for Higher-Order Languages.
POPL 1998: 329-341 |
| 1997 |
|---|
| 5 | | Suresh Jagannathan,
Stephen Weeks,
Andrew K. Wright:
Type-Directed Flow Analysis for Typed Intermediate Languages.
SAS 1997: 232-249 |
| 1995 |
|---|
| 4 | | Suresh Jagannathan,
Stephen Weeks:
A Unified Treatment of Flow Analysis in Higher-Order Languages.
POPL 1995: 393-407 |
| 1994 |
|---|
| 3 | EE | Suresh Jagannathan,
Stephen Weeks:
Analyzing Stores and References in a Parallel Symbolic Language.
LISP and Functional Programming 1994: 294-305 |
| 2 | | Stephen Weeks,
Suresh Jagannathan,
James Philbin:
A Concurrent Abstract Interpreter.
Lisp and Symbolic Computation 7(2-3): 173-193 (1994) |
| 1993 |
|---|
| 1 | | Stephen Weeks,
Matthias Felleisen:
On the Orthogonality of Assignments and Procedures in Algol.
POPL 1993: 57-70 |
