Stephen Weeks (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

7 Henry Cejtin, Suresh Jagannathan, Stephen Weeks: Flow-Directed Closure Conversion for Typed Languages. ESOP 2000: 56-71

6 Suresh Jagannathan, Peter Thiemann, Stephen Weeks, Andrew K. Wright: Single and Loving It: Must-Alias Analysis for Higher-Order Languages. POPL 1998: 329-341

5 Suresh Jagannathan, Stephen Weeks, Andrew K. Wright: Type-Directed Flow Analysis for Typed Intermediate Languages. SAS 1997: 232-249

4 Suresh Jagannathan, Stephen Weeks: A Unified Treatment of Flow Analysis in Higher-Order Languages. POPL 1995: 393-407

3 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)

Selection of 6 from 12 records - Stephen Weeks has 9 coauthors

7		Henry Cejtin, Suresh Jagannathan, Stephen Weeks: Flow-Directed Closure Conversion for Typed Languages. ESOP 2000: 56-71
6		Suresh Jagannathan, Peter Thiemann, Stephen Weeks, Andrew K. Wright: Single and Loving It: Must-Alias Analysis for Higher-Order Languages. POPL 1998: 329-341
5		Suresh Jagannathan, Stephen Weeks, Andrew K. Wright: Type-Directed Flow Analysis for Typed Intermediate Languages. SAS 1997: 232-249
4		Suresh Jagannathan, Stephen Weeks: A Unified Treatment of Flow Analysis in Higher-Order Languages. POPL 1995: 393-407
3		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)