Stephen Weeks

According to our database, Stephen Weeks authored at least 16 papers between 1993 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Novel Material, Process and Device Innovations for Next Generation Silicon Carbide (SiC) Trench MOSFET Technology.

Pratik B. Vyas, Ludovico Megalini, Ashish Pal, Joshua Holt, Archana Kumar, Stephen Weeks, Charisse Zhao, Lucien Date, Hansel Lo, Michel Khoury, Safdar Muhammad, Fabian Piallat, Ricky Fang, William Charles, Pratim Palit, Jinghe Yang, Qintao Zhang, Jang Seok Oh, Bryan Turner, Samphy Hong, Aswin Prathap Pitchiya, Benjamin Briggs, Jiao Yang, Dae Yang, Fengshou Wang, Joseph Lee, Gopal Prabhu, Dustin Ho, Carlos Caballero, Durga Chaturvedula, Zheng Yuan, Yi Zheng, David A. Britz, Stephen Krause, Raghav Sreenivasan, Michael Chudzik, Subi Kengeri, Siddarth A. Krishnan, El Mehdi Bazizi

Proceedings of the IEEE Symposium on VLSI Technology and Circuits 2024, 2024

Low-PBTS defect-engineered high-mobility metal-oxide BEOL transistors.

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

Proceedings of the IEEE International Reliability Physics Symposium, 2024

Self-rectifying non-volatile tunneling synapse: multiscale modeling augmented development.

Bastien Beltrando, Marco A. Villena, Mondol Anik Kumar, Shruba Gangopadhyay, Deepak Kamalanathan, E. Smith, Nasrin Kazem, Ghazal Saheli, Stephen Weeks, Michael Haverty, Muthukumar Kaliappan, Andrea Padovani, S. Krishnan, Jeffrey W. Anthis, Luca Larcher, Milan Pesic

Proceedings of the IEEE International Memory Workshop, 2024

2008

Flattening tuples in an SSA intermediate representation.

Lukasz Ziarek, Stephen Weeks, Suresh Jagannathan

High. Order Symb. Comput., 2008

Caml trading - experiences with functional programming on Wall Street.

Yaron Minsky, Stephen Weeks

J. Funct. Program., 2008

2006

Whole-program compilation in MLton.

Stephen Weeks

Proceedings of the ACM Workshop on ML, 2006, Portland, Oregon, USA, September 16, 2006, 2006

2001

Understanding Trust Management Systems.

Stephen Weeks

Proceedings of the 2001 IEEE Symposium on Security and Privacy, 2001

Contification Using Dominators.

Matthew Fluet, Stephen Weeks

Proceedings of the Sixth ACM SIGPLAN International Conference on Functional Programming (ICFP '01), 2001

Models and Languages for Digital Rights.

Carl A. Gunter, Stephen Weeks, Andrew K. Wright

Proceedings of the 34th Annual Hawaii International Conference on System Sciences (HICSS-34), 2001

2000

Flow-Directed Closure Conversion for Typed Languages.

Henry Cejtin, Suresh Jagannathan, Stephen Weeks

Proceedings of the Programming Languages and Systems, 2000

1998

Single and Loving It: Must-Alias Analysis for Higher-Order Languages.

Suresh Jagannathan, Peter Thiemann, Stephen Weeks, Andrew K. Wright

Proceedings of the POPL '98, 1998

1997

Type-Directed Flow Analysis for Typed Intermediate Languages.

Suresh Jagannathan, Stephen Weeks, Andrew K. Wright

Proceedings of the Static Analysis, 4th International Symposium, 1997

1995

A Unified Treatment of Flow Analysis in Higher-Order Languages.

Suresh Jagannathan, Stephen Weeks

Proceedings of the Conference Record of POPL'95: 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1995

1994

A Concurrent Abstract Interpreter.

Stephen Weeks, Suresh Jagannathan, James Philbin

LISP Symb. Comput., 1994

Analyzing Stores and References in a Parallel Symbolic Language.

Suresh Jagannathan, Stephen Weeks

Proceedings of the 1994 ACM Conference on LISP and Functional Programming, 1994

1993

On the Orthogonality of Assignments and Procedures in Algol.

Stephen Weeks, Matthias Felleisen

Proceedings of the Conference Record of the Twentieth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1993