Stephen Weeks

16 papers A* 3A 2B 1Journal 3Unranked 7
YearRankTypeTitle / Venue / Authors
2024 — conf
Low-PBTS defect-engineered high-mobility metal-oxide BEOL transistors.
IRPS
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
2024 — conf
Novel Material, Process and Device Innovations for Next Generation Silicon Carbide (SiC) Trench MOSFET Technology.
VLSI Technology and Circuits
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
2024 — conf
Self-rectifying non-volatile tunneling synapse: multiscale modeling augmented development.
IMW
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
2008 J jnl
Caml trading - experiences with functional programming on Wall Street.
J. Funct. Program.
Yaron Minsky, Stephen Weeks
2008 J jnl
Flattening tuples in an SSA intermediate representation.
High. Order Symb. Comput.
Lukasz Ziarek, Stephen Weeks, Suresh Jagannathan
2006 — conf
Whole-program compilation in MLton.
ML
Stephen Weeks
2001 A conf
Contification Using Dominators.
ICFP
Matthew Fluet, Stephen Weeks
2001 — conf
Models and Languages for Digital Rights.
HICSS
Carl A. Gunter, Stephen Weeks, Andrew K. Wright
2001 — conf
Understanding Trust Management Systems.
S&P
Stephen Weeks
2000 A conf
Flow-Directed Closure Conversion for Typed Languages.
ESOP
Henry Cejtin, Suresh Jagannathan, Stephen Weeks
1998 A* conf
Single and Loving It: Must-Alias Analysis for Higher-Order Languages.
POPL
Suresh Jagannathan, Peter Thiemann, Stephen Weeks, Andrew K. Wright
1997 B conf
Type-Directed Flow Analysis for Typed Intermediate Languages.
SAS
Suresh Jagannathan, Stephen Weeks, Andrew K. Wright
1995 A* conf
A Unified Treatment of Flow Analysis in Higher-Order Languages.
POPL
Suresh Jagannathan, Stephen Weeks
1994 J jnl
A Concurrent Abstract Interpreter.
LISP Symb. Comput.
Stephen Weeks, Suresh Jagannathan, James Philbin
1994 — conf
Analyzing Stores and References in a Parallel Symbolic Language.
LISP and Functional Programming
Suresh Jagannathan, Stephen Weeks
1993 A* conf
On the Orthogonality of Assignments and Procedures in Algol.
POPL
Stephen Weeks, Matthias Felleisen