Stephen Weeks
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
5
Active years
1993–2001
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2001 | ICFP | Contification Using Dominators. | Matthew Fluet, Stephen Weeks |
| 2001 | SP | Understanding Trust Management Systems. | Stephen Weeks |
| 2000 | ESOP | Flow-Directed Closure Conversion for Typed Languages. | Henry Cejtin, Suresh Jagannathan, Stephen Weeks |
| 1998 | POPL | Single and Loving It: Must-Alias Analysis for Higher-Order Languages. | Suresh Jagannathan, Peter Thiemann, Stephen Weeks, Andrew K. Wright |
| 1997 | SAS | Type-Directed Flow Analysis for Typed Intermediate Languages. | Suresh Jagannathan, Stephen Weeks, Andrew K. Wright |
| 1995 | POPL | A Unified Treatment of Flow Analysis in Higher-Order Languages. | Suresh Jagannathan, Stephen Weeks |
| 1993 | POPL | On the Orthogonality of Assignments and Procedures in Algol. | Stephen Weeks, Matthias Felleisen |