Stephen Weeks

Publication Activity (10 Years)

Years Active: 1993-2024
Publications (10 Years): 2

Top Topics

Significantly Lower

Development Environment

Top Venues

Publications

Bastien Beltrando, Marco A. Villena, Mondol Anik Kumar, Shruba Gangopadhyay, Deepak Kamalanathan, E. Smith, N. Kazem, Ghazal Saheli, Stephen Weeks, Michael Haverty, Muthukumar Kaliappan, Andrea Padovani, S. Krishnan, J. Anthis, Luca Larcher, Milan Pesic
Self-rectifying non-volatile tunneling synapse: multiscale modeling augmented development. IMW (2024)
Bastien Beltrando, Bruno Coppolelli, Jung-Bae Kim, Yang Ho Bae, Stephen Weeks, Lisa Enman, Ghazal Saheli, Davide Cornigli, Stuart Brinkley, Mark Saly, Luca Larcher, Dong Kil Yim, Milan Pesic
Low-PBTS defect-engineered high-mobility metal-oxide BEOL transistors. IRPS (2024)
Yaron Minsky, Stephen Weeks
Caml trading - experiences with functional programming on Wall Street. J. Funct. Program. 18 (4) (2008)
Lukasz Ziarek, Stephen Weeks, Suresh Jagannathan
Flattening tuples in an SSA intermediate representation. High. Order Symb. Comput. 21 (3) (2008)
Stephen Weeks
Whole-program compilation in MLton. ML (2006)
Carl A. Gunter, Stephen Weeks, Andrew K. Wright
Models and Languages for Digital Rights. HICSS (2001)
Matthew Fluet, Stephen Weeks
Contification Using Dominators. ICFP (2001)
Stephen Weeks
Understanding Trust Management Systems. IEEE Symposium on Security and Privacy (2001)
Henry Cejtin, Suresh Jagannathan, Stephen Weeks
Flow-Directed Closure Conversion for Typed Languages. ESOP (2000)
Suresh Jagannathan, Peter Thiemann, Stephen Weeks, Andrew K. Wright
Single and Loving It: Must-Alias Analysis for Higher-Order Languages. POPL (1998)
Suresh Jagannathan, Stephen Weeks, Andrew K. Wright
Type-Directed Flow Analysis for Typed Intermediate Languages. SAS (1997)
Suresh Jagannathan, Stephen Weeks
A Unified Treatment of Flow Analysis in Higher-Order Languages. POPL (1995)
Stephen Weeks, Suresh Jagannathan, James Philbin
A Concurrent Abstract Interpreter. LISP Symb. Comput. 7 (2-3) (1994)
Suresh Jagannathan, Stephen Weeks
Analyzing Stores and References in a Parallel Symbolic Language. LISP and Functional Programming (1994)
Stephen Weeks, Matthias Felleisen
On the Orthogonality of Assignments and Procedures in Algol. POPL (1993)