Guy L. Steele Jr.

ORCID

Publication Activity (10 Years)

Years Active: 1975-2023
Publications (10 Years): 18

Top Venues

CoRR

PPOPP

ACM Trans. Parallel Comput.

Proc. ACM Program. Lang.

Massachusetts Institute of Technology, Cambridge, MA, USA (PHD)

Education History

Massachusetts Institute of Technology, Cambridge, MA, USA

PHD

Publications

Lennart Augustsson, Joachim Breitner, Koen Claessen, Ranjit Jhala, Simon Peyton Jones, Olin Shivers, Guy L. Steele Jr., Tim Sweeney
The Verse Calculus: A Core Calculus for Deterministic Functional Logic Programming. Proc. ACM Program. Lang. 7 (ICFP) (2023)
Guy L. Steele Jr., Sebastiano Vigna
Computationally easy, spectrally good multipliers for congruential pseudorandom number generators. Softw. Pract. Exp. 52 (2) (2022)
Victor Cacciari Miraldo, Harold Carr, Mark Moir, Lisandra Silva, Guy L. Steele Jr.
Formal Verification of Authenticated, Append-Only Skip Lists in Agda: Extended Version. CoRR (2021)
Guy L. Steele Jr., Sebastiano Vigna
LXM: better splittable pseudorandom number generators (and almost as fast). Proc. ACM Program. Lang. 5 (OOPSLA) (2021)
Victor Cacciari Miraldo, Harold Carr, Mark Moir, Lisandra Silva, Guy L. Steele Jr.
Formal verification of authenticated, append-only skip lists in Agda. CPP (2021)
Daniel Goodman, Adam Craig Pocock, Jason Peck, Guy L. Steele Jr.
Vate: Runtime Adaptable Probabilistic Programming for Java. EuroMLSys@EuroSys (2021)
Jaejin Lee, Lawrence Rauchwerger, Armando Solar-Lezama, Guy L. Steele Jr.
Introduction to the Special Issue on PPoPP 2017 (Part 2). ACM Trans. Parallel Comput. 7 (3) (2020)
Guy L. Steele Jr., Sebastiano Vigna
Computationally easy, spectrally good multipliers for congruential pseudorandom number generators. CoRR (2020)
Gyunghee Park, Jaemin Hong, Guy L. Steele Jr., Sukyoung Ryu
Polymorphic symmetric multiple dispatch with variance. Proc. ACM Program. Lang. 3 (POPL) (2019)
Lawrence Rauchwerger, Jaejin Lee, Armando Solar-Lezama, Guy L. Steele Jr.
Introduction to the Special Issue on PPoPP 2017 (Part 1). ACM Trans. Parallel Comput. 6 (4) (2019)
Guy L. Steele Jr., Jean-Baptiste Tristan
Using Butterfly-patterned Partial Sums to Draw from Discrete Distributions. ACM Trans. Parallel Comput. 6 (4) (2019)
Guy L. Steele Jr., Jean-Baptiste Tristan
Using Butterfly-Patterned Partial Sums to Draw from Discrete Distributions. PPOPP (2017)
Guy L. Steele Jr.
It's Time for a New Old Language. PPOPP (2017)
Guy L. Steele Jr., Jean-Baptiste Tristan
Adding Approximate Counters. ACM Trans. Parallel Comput. 4 (1) (2017)
Manzil Zaheer, Michael L. Wick, Jean-Baptiste Tristan, Alexander J. Smola, Guy L. Steele Jr.
Exponential Stochastic Cellular Automata for Massively Parallel Inference. AISTATS (2016)
Guy L. Steele Jr., Jean-Baptiste Tristan
Adding approximate counters. PPOPP (2016)
Guy L. Steele Jr., Jean-Baptiste Tristan
Using Butterfly-Patterned Partial Sums to Optimize GPU Memory Accesses for Drawing from Discrete Distributions. CoRR (2015)
Jean-Baptiste Tristan, Joseph Tassarotti, Guy L. Steele Jr.
Efficient Training of LDA on a GPU by Mean-for-Mode Estimation. ICML (2015)
Guy L. Steele Jr., Doug Lea, Christine H. Flood
Fast splittable pseudorandom number generators. OOPSLA (2014)
Jean-Baptiste Tristan, Daniel Huang, Joseph Tassarotti, Adam Craig Pocock, Stephen J. Green, Guy L. Steele Jr.
Augur: Data-Parallel Probabilistic Modeling. NIPS (2014)
Jean-Baptiste Tristan, Daniel Huang, Joseph Tassarotti, Adam Craig Pocock, Stephen J. Green, Guy L. Steele Jr.
Augur: a Modeling Language for Data-Parallel Probabilistic Inference. CoRR (2013)
Changhee Park, Guy L. Steele Jr., Jean-Baptiste Tristan
Parallel programming with big operators. PPOPP (2013)
Jieung Kim, Sukyoung Ryu, Victor Luchangco, Guy L. Steele Jr.
Fine-Grained Function Visibility for Multiple Dispatch with Multiple Inheritance. APLAS (2013)
Guy L. Steele Jr.
Programming language life cycles. HILT (2012)
Eric E. Allen, Justin Hilburn, Scott Kilpatrick, Victor Luchangco, Sukyoung Ryu, David Chase, Guy L. Steele Jr.
Type checking modular multiple dispatch with parametric polymorphism and multiple inheritance. OOPSLA (2011)
Guy L. Steele Jr.
An interview with Frances E. Allen. Commun. ACM 54 (1) (2011)
S. Tucker Taft, Joshua J. Bloch, Robert Bocchino, Sebastian Burckhardt, Hassan Chafi, Russ Cox, Benedict R. Gaster, Guy L. Steele Jr., David M. Ungar
Multicore, manycore, and cloud computing: is a new programming language paradigm required? OOPSLA Companion (2011)
J. J. Hallett, Victor Luchangco, Sukyoung Ryu, Guy L. Steele Jr.
Integrating coercion with subtyping and multiple dispatch. Sci. Comput. Program. 75 (9) (2010)
Guy L. Steele Jr.
Organizing functional code for parallel execution or, foldl and foldr considered slightly harmful. ICFP (2009)
Guy L. Steele Jr., Vijay A. Saraswat
Curricula for concurrency and parallelism. OOPSLA Companion (2009)
Pascal Costanza, Richard P. Gabriel, Robert Hirschfeld, Guy L. Steele Jr.
Lisp50: The 50th birthday of lisp at OOPSLA 2008. OOPSLA Companion (2008)
J. J. Hallett, Victor Luchangco, Sukyoung Ryu, Guy L. Steele Jr.
Integrating coercion with subtyping and multiple dispatch. SAC (2008)
Eric E. Allen, J. J. Hallett, Victor Luchangco, Sukyoung Ryu, Guy L. Steele Jr.
Modular multiple dispatch with multiple inheritance. SAC (2007)
Guy L. Steele Jr., Richard P. Gabriel
50 in 50. OOPSLA Companion (2007)
Steven Fraser, James Gosling, Anders Hejlsberg, Ole Lehrmann Madsen, Bertrand Meyer, Guy L. Steele Jr.
Celebrating 40 years of language evolution: simula 67 to the present and beyond. OOPSLA Companion (2007)
Richard P. Gabriel, Guy L. Steele Jr., Friedrich Steimann, Jim Waldo, Gregor Kiczales, Kevin J. Sullivan
Aspects and/versus modularity the grand debate. OOPSLA Companion (2006)
Guy L. Steele Jr.
A growable language. OOPSLA Companion (2006)
Guy L. Steele Jr.
Parallel programming and code selection in fortress. PPOPP (2006)
Guy L. Steele Jr.
Parallel Programming and Parallel Abstractions in Fortress. FLOPS (2006)
Guy L. Steele Jr.
Parallel Programming and Parallel Abstractions in Fortress. IEEE PACT (2005)
David Hough, Bill Hay, Jeff Kidder, E. Jason Riedy, Guy L. Steele Jr., Jim Thomas
Arithmetic Interactions: From Hardware to Applications. IEEE Symposium on Computer Arithmetic (2005)
Eric E. Allen, David Chase, Victor Luchangco, Jan-Willem Maessen, Guy L. Steele Jr.
Object-oriented units of measurement. OOPSLA (2004)
Simon Doherty, David Detlefs, Lindsay Groves, Christine H. Flood, Victor Luchangco, Paul Alan Martin, Mark Moir, Nir Shavit, Guy L. Steele Jr.
DCAS is not a silver bullet for nonblocking algorithm design. SPAA (2004)
David Detlefs, Paul Alan Martin, Mark Moir, Guy L. Steele Jr.
Lock-free reference counting. Distributed Comput. 15 (4) (2002)
Dah-Ming Chiu, Miriam Kadansky, Radia J. Perlman, John Reynders, Guy L. Steele Jr., Murat Yuksel
Deadlock-Free Routing Based on Ordered Links. LCN (2002)
Ole Agesen, David Detlefs, Christine H. Flood, Alexander T. Garthwaite, Paul Alan Martin, Mark Moir, Nir Shavit, Guy L. Steele Jr.
DCAS-Based Concurrent Deques. Theory Comput. Syst. 35 (3) (2002)
David Detlefs, Paul Alan Martin, Mark Moir, Guy L. Steele Jr.
Lock-free reference counting. PODC (2001)
Ole Agesen, David Detlefs, Christine H. Flood, Alex Garthwaite, Paul Alan Martin, Nir Shavit, Guy L. Steele Jr.
DCAS-based concurrent deques. SPAA (2000)
David Detlefs, Christine H. Flood, Alex Garthwaite, Paul Alan Martin, Nir Shavit, Guy L. Steele Jr.
Even Better DCAS-Based Concurrent Deques. DISC (2000)
Guy L. Steele Jr.
Growing a Language. High. Order Symb. Comput. 12 (3) (1999)
Gerald J. Sussman, Guy L. Steele Jr.
The First Report on Scheme Revisited. High. Order Symb. Comput. 11 (4) (1998)
Robert Cartwright, Guy L. Steele Jr.
Compatible Genericity with Run-Time Types for the Java Programming Language. OOPSLA (1998)
Guy L. Steele Jr.
Growing a language. OOPSLA Addendum (1998)
Harold Abelson, R. Kent Dybvig, Christopher T. Haynes, Guillermo Juan Rozas, N. I. Adams IV, Daniel P. Friedman, Eugene E. Kohlbecker, Guy L. Steele Jr., David H. Bartley, Robert H. Halstead Jr., Don Oxley, Gerald J. Sussman, G. Brooks, Chris Hanson, Kent M. Pitman, Mitchell Wand
Revised Report on the Algorithmic Language Scheme. High. Order Symb. Comput. 11 (1) (1998)
Guy L. Steele Jr.
Java Applications and Implementations. WWCA (1998)
Gerald J. Sussman, Guy L. Steele Jr.
Scheme: A Interpreter for Extended Lambda Calculus. High. Order Symb. Comput. 11 (4) (1998)
Guy L. Steele Jr.
Java and the Evolution of Web Software (Abstract). ICSE (1997)
Guy L. Steele Jr.
Building Interpreters by Composing Monads. POPL (1994)
Guy L. Steele Jr., Richard P. Gabriel
The Evolution of Lisp. HOPL Preprints (1993)
Guy L. Steele Jr.
An Overview of the Connection Machine Model CM-5. Supercomputer (1992)
Guy L. Steele Jr.
High Performance Fortran: Status Report. SIGPLAN Workshop (1992)
Eugene Albert, Joan D. Lukas, Guy L. Steele Jr.
Data Parallel Computers and the FORALL Statement. J. Parallel Distributed Comput. 13 (2) (1991)
Steven J. Wallach, Justin R. Rattner, Carl W. Diem, Kenichi Miura, Craig J. Mundie, Guy L. Steele Jr., Andreas Reuter
Supercomputing 1995 and Beyond - the Different Perspectives. Supercomputer (1991)
Mark Bromley, Steven Heller, Timothy S. McNerney, Guy L. Steele Jr.
Fortran at Ten Gigaflops: The Connection Machine Convolution Compiler. PLDI (1991)
Jacek Myczkowski, Guy L. Steele Jr.
Seismic modeling at 14 gigaflops on the connection machine. SC (1991)
Guy L. Steele Jr., Jon L. White
How to print floating-point numbers accurately (with retrospective) Best of PLDI (1990)
Guy L. Steele Jr.
Making Asynchronous Parallelism Safe for the World. POPL (1990)
Kathleen Knobe, Joan D. Lukas, Guy L. Steele Jr.
Data Optimization: Allocation of Arrays to Reduce Communication on SIMD Machines. J. Parallel Distributed Comput. 8 (2) (1990)
Guy L. Steele Jr., Jon L. White
How to Print Floating-Point Numbers Accurately. PLDI (1990)
Eugene Albert, Kathleen Knobe, Joan D. Lukas, Guy L. Steele Jr.
Compiling Fortran 8x Array Features for the Connection Machine Computer System. PPOPP/PPEALS (1988)
John R. Rose, Guy L. Steele Jr.
C*: An Extended C Language. C++ Workshop (1987)
Guy L. Steele Jr., W. Daniel Hillis
Connection Machine LISP: Fine-Grained Parallel Symbolic Processing. LISP and Functional Programming (1986)
W. Daniel Hillis, Guy L. Steele Jr.
Data Parallel Algorithms. Commun. ACM 29 (12) (1986)
Gerry Fisher, Daniel D. McCracken, Larry Rosler, Guy L. Steele Jr.
Directions in Programming Languages (Panel). ACM Annual Conference (1985)
Rodney A. Brooks, Richard P. Gabriel, Guy L. Steele Jr.
Lisp-in-Lisp: High Performance and Portability. IJCAI (1983)
Guy L. Steele Jr.
An Overview of Common Lisp. Symposium on LISP and Functional Programming (1982)
Rodney A. Brooks, Richard P. Gabriel, Guy L. Steele Jr.
An Optimizing Compiler for Lexically Scoped LISP. SIGPLAN Symposium on Compiler Construction (1982)
Rodney A. Brooks, Richard P. Gabriel, Guy L. Steele Jr.
S-1 Common Lisp Implementation. Symposium on LISP and Functional Programming (1982)
Gerald J. Sussman, Guy L. Steele Jr.
CONSTRAINTS - A Language for Expressing Almost-Hierarchical Descriptions. Artif. Intell. 14 (1) (1980)
Guy L. Steele Jr., Gerald J. Sussman
The Dream of Lifetime: A Lazy Variable Extent Mechanism. LISP Conference (1980)
Guy L. Steele Jr., Gerald J. Sussman
Design of a LISP-Based Microprocessor. Commun. ACM 23 (11) (1980)
Guy L. Steele Jr., Gerald Jay Sussman
Constraints. APL (1979)
Guy L. Steele Jr.
Debunking the "expensive procedure call" myth or, procedure call implementations considered harmful or, LAMBDA: The Ultimate GOTO. ACM Annual Conference (1977)
Guy L. Steele Jr.
Macaroni is better than spaghetti. Artificial Intelligence and Programming Languages (1977)
Johan de Kleer, Jon Doyle, Guy L. Steele Jr., Gerald Jay Sussman
AMORD explicit control of reasoning. Artificial Intelligence and Programming Languages (1977)
Guy L. Steele Jr.
Arithmetic shifting considered harmful. ACM SIGPLAN Notices 12 (11) (1977)
Guy L. Steele Jr.
Multiprocessing Compactifying Garbage Collection. Commun. ACM 18 (9) (1975)

Guy L. Steele Jr..css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Guy L. Steele Jr.