Travelled to:
1 × France
1 × Germany
1 × Italy
4 × USA
Collaborated with:
S.Jagannathan A.K.Wright M.Fluet M.Felleisen H.Cejtin P.Thiemann
Talks about:
languag (5) analysi (3) type (3) flow (3) higher (2) direct (2) order (2) treatment (1) intermedi (1) procedur (1)
Person: Stephen Weeks
DBLP: Weeks:Stephen
Contributed to:
Wrote 7 papers:
- ICFP-2001-FluetW #using
- Contification Using Dominators (MF, SW), pp. 2–13.
- ESOP-2000-CejtinJW
- Flow-Directed Closure Conversion for Typed Languages (HC, SJ, SW), pp. 56–71.
- POPL-1998-JagannathanTWW #alias #analysis #higher-order
- Single and Loving It: Must-Alias Analysis for Higher-Order Languages (SJ, PT, SW, AKW), pp. 329–341.
- SAS-1997-JagannathanWW #analysis
- Type-Directed Flow Analysis for Typed Intermediate Languages (SJ, SW, AKW), pp. 232–249.
- POPL-1995-JagannathanW #analysis #higher-order
- A Unified Treatment of Flow Analysis in Higher-Order Languages (SJ, SW), pp. 393–407.
- LFP-1994-JagannathanW #parallel
- Analyzing Stores and References in a Parallel Symbolic Language (SJ, SW), pp. 294–305.
- POPL-1993-WeeksF #algol #on the #orthogonal
- On the Orthogonality of Assignments and Procedures in Algol (SW, MF), pp. 57–70.