Guy L. Steele Jr.

According to our database, Guy L. Steele Jr. authored at least 90 papers between 1975 and 2023.

Collaborative distances:

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

2023

The Verse Calculus: A Core Calculus for Deterministic Functional Logic Programming.

Lennart Augustsson, Joachim Breitner, Koen Claessen, Ranjit Jhala, Simon Peyton Jones, Olin Shivers, Guy L. Steele Jr., Tim Sweeney

Proc. ACM Program. Lang., August, 2023

2022

Computationally easy, spectrally good multipliers for congruential pseudorandom number generators.

Guy L. Steele Jr., Sebastiano Vigna

Softw. Pract. Exp., 2022

2021

LXM: better splittable pseudorandom number generators (and almost as fast).

Guy L. Steele Jr., Sebastiano Vigna

Proc. ACM Program. Lang., 2021

Formal Verification of Authenticated, Append-Only Skip Lists in Agda: Extended Version.

Victor Cacciari Miraldo, Harold Carr, Mark Moir, Lisandra Silva, Guy L. Steele Jr.

CoRR, 2021

Vate: Runtime Adaptable Probabilistic Programming for Java.

Daniel Goodman, Adam Craig Pocock, Jason Peck, Guy L. Steele Jr.

Proceedings of the EuroMLSys@EuroSys 2021, 2021

Formal verification of authenticated, append-only skip lists in Agda.

Victor Cacciari Miraldo, Harold Carr, Mark Moir, Lisandra Silva, Guy L. Steele Jr.

Proceedings of the CPP '21: 10th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2021

2020

Introduction to the Special Issue on PPoPP 2017 (Part 2).

Jaejin Lee, Lawrence Rauchwerger, Armando Solar-Lezama, Guy L. Steele Jr.

ACM Trans. Parallel Comput., 2020

2019

Using Butterfly-patterned Partial Sums to Draw from Discrete Distributions.

Guy L. Steele Jr., Jean-Baptiste Tristan

ACM Trans. Parallel Comput., 2019

Introduction to the Special Issue on PPoPP 2017 (Part 1).

Lawrence Rauchwerger, Jaejin Lee, Armando Solar-Lezama, Guy L. Steele Jr.

ACM Trans. Parallel Comput., 2019

Polymorphic symmetric multiple dispatch with variance.

Gyunghee Park, Jaemin Hong, Guy L. Steele Jr., Sukyoung Ryu

Proc. ACM Program. Lang., 2019

2017

Adding Approximate Counters.

Guy L. Steele Jr., Jean-Baptiste Tristan

ACM Trans. Parallel Comput., 2017

It's Time for a New Old Language.

Guy L. Steele Jr.

Proceedings of the 22nd ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2017

2016

Exponential Stochastic Cellular Automata for Massively Parallel Inference.

Manzil Zaheer, Michael L. Wick, Jean-Baptiste Tristan, Alexander J. Smola, Guy L. Steele Jr.

Proceedings of the 19th International Conference on Artificial Intelligence and Statistics, 2016

2015

Using Butterfly-Patterned Partial Sums to Optimize GPU Memory Accesses for Drawing from Discrete Distributions.

Guy L. Steele Jr., Jean-Baptiste Tristan

CoRR, 2015

Efficient Training of LDA on a GPU by Mean-for-Mode Estimation.

Jean-Baptiste Tristan, Joseph Tassarotti, Guy L. Steele Jr.

Proceedings of the 32nd International Conference on Machine Learning, 2015

2014

Fast splittable pseudorandom number generators.

Guy L. Steele Jr., Doug Lea, Christine H. Flood

Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications, 2014

Augur: Data-Parallel Probabilistic Modeling.

Jean-Baptiste Tristan, Daniel Huang, Joseph Tassarotti, Adam Craig Pocock, Stephen J. Green, Guy L. Steele Jr.

Proceedings of the Advances in Neural Information Processing Systems 27: Annual Conference on Neural Information Processing Systems 2014, 2014

2013

Augur: a Modeling Language for Data-Parallel Probabilistic Inference.

Jean-Baptiste Tristan, Daniel Huang, Joseph Tassarotti, Adam Craig Pocock, Stephen J. Green, Guy L. Steele Jr.

CoRR, 2013

Parallel programming with big operators.

Changhee Park, Guy L. Steele Jr., Jean-Baptiste Tristan

Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2013

Fine-Grained Function Visibility for Multiple Dispatch with Multiple Inheritance.

Jieung Kim, Sukyoung Ryu, Victor Luchangco, Guy L. Steele Jr.

Proceedings of the Programming Languages and Systems - 11th Asian Symposium, 2013

2012

Programming language life cycles.

Guy L. Steele Jr.

Proceedings of the 2012 ACM Conference on High Integrity Language Technology, 2012

2011

Fortress (Sun HPCS Language).

Guy L. Steele Jr., Eric E. Allen, David Chase, Christine H. Flood, Victor Luchangco, Jan-Willem Maessen, Sukyoung Ryu

Proceedings of the Encyclopedia of Parallel Computing, 2011

Connection Machine Lisp.

Guy L. Steele Jr.

Proceedings of the Encyclopedia of Parallel Computing, 2011

Connection Machine Fortran.

Guy L. Steele Jr.

Proceedings of the Encyclopedia of Parallel Computing, 2011

Connection Machine.

Guy L. Steele Jr.

Proceedings of the Encyclopedia of Parallel Computing, 2011

C.

Guy L. Steele Jr.

Proceedings of the Encyclopedia of Parallel Computing, 2011

An interview with Frances E. Allen.

Guy L. Steele Jr.

Commun. ACM, 2011

Multicore, manycore, and cloud computing: is a new programming language paradigm required?

S. Tucker Taft, Joshua J. Bloch, Robert Bocchino, Sebastian Burckhardt, Hassan Chafi, Russ Cox, Benedict R. Gaster, Guy L. Steele Jr., David M. Ungar

Proceedings of the Companion to the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

Type checking modular multiple dispatch with parametric polymorphism and multiple inheritance.

Eric E. Allen, Justin Hilburn, Scott Kilpatrick, Victor Luchangco, Sukyoung Ryu, David Chase, Guy L. Steele Jr.

Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

2010

Integrating coercion with subtyping and multiple dispatch.

J. J. Hallett, Victor Luchangco, Sukyoung Ryu, Guy L. Steele Jr.

Sci. Comput. Program., 2010

2009

Curricula for concurrency and parallelism.

Guy L. Steele Jr., Vijay A. Saraswat

Proceedings of the Companion to the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2009

Organizing functional code for parallel execution or, foldl and foldr considered slightly harmful.

Guy L. Steele Jr.

Proceedings of the Proceeding of the 14th ACM SIGPLAN international conference on Functional programming, 2009

2008

Lisp50: The 50th birthday of lisp at OOPSLA 2008.

Pascal Costanza, Richard P. Gabriel, Robert Hirschfeld, Guy L. Steele Jr.

Proceedings of the Companion to the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2008

2007

Modular multiple dispatch with multiple inheritance.

Eric E. Allen, J. J. Hallett, Victor Luchangco, Sukyoung Ryu, Guy L. Steele Jr.

Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), 2007

50 in 50.

Guy L. Steele Jr., Richard P. Gabriel

Proceedings of the Companion to the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2007

Celebrating 40 years of language evolution: simula 67 to the present and beyond.

Steven Fraser, James Gosling, Anders Hejlsberg, Ole Lehrmann Madsen, Bertrand Meyer, Guy L. Steele Jr.

Proceedings of the Companion to the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2007

2006

Parallel programming and code selection in fortress.

Guy L. Steele Jr.

Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2006

A growable language.

Guy L. Steele Jr.

Proceedings of the Companion to the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2006

Aspects and/versus modularity the grand debate.

Richard P. Gabriel, Guy L. Steele Jr., Friedrich Steimann, Jim Waldo, Gregor Kiczales, Kevin J. Sullivan

Proceedings of the Companion to the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2006

Parallel Programming and Parallel Abstractions in Fortress.

Guy L. Steele Jr.

Proceedings of the Functional and Logic Programming, 8th International Symposium, 2006

2005

Arithmetic Interactions: From Hardware to Applications.

David Hough, Bill Hay, Jeff Kidder, E. Jason Riedy, Guy L. Steele Jr., Jim Thomas

Proceedings of the 17th IEEE Symposium on Computer Arithmetic (ARITH-17 2005), 2005

2004

DCAS is not a silver bullet for nonblocking algorithm design.

Simon Doherty, David Detlefs, Lindsay Groves, Christine H. Flood, Victor Luchangco, Paul Alan Martin, Mark Moir, Nir Shavit, Guy L. Steele Jr.

Proceedings of the SPAA 2004: Proceedings of the Sixteenth Annual ACM Symposium on Parallelism in Algorithms and Architectures, 2004

Object-oriented units of measurement.

Eric E. Allen, David Chase, Victor Luchangco, Jan-Willem Maessen, Guy L. Steele Jr.

Proceedings of the 19th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2004

2002

DCAS-Based Concurrent Deques.

Ole Agesen, David Detlefs, Christine H. Flood, Alexander T. Garthwaite, Paul Alan Martin, Mark Moir, Nir Shavit, Guy L. Steele Jr.

Theory Comput. Syst., 2002

Lock-free reference counting.

David Detlefs, Paul Alan Martin, Mark Moir, Guy L. Steele Jr.

Distributed Comput., 2002

Deadlock-Free Routing Based on Ordered Links.

Dah-Ming Chiu, Miriam Kadansky, Radia J. Perlman, John Reynders, Guy L. Steele Jr., Murat Yuksel

Proceedings of the 27th Annual IEEE Conference on Local Computer Networks (LCN 2002), 2002

2000

Even Better DCAS-Based Concurrent Deques.

David Detlefs, Christine H. Flood, Alex Garthwaite, Paul Alan Martin, Nir Shavit, Guy L. Steele Jr.

Proceedings of the Distributed Computing, 14th International Conference, 2000

DCAS-based concurrent deques.

Ole Agesen, David Detlefs, Christine H. Flood, Alex Garthwaite, Paul Alan Martin, Nir Shavit, Guy L. Steele Jr.

Proceedings of the Twelfth annual ACM Symposium on Parallel Algorithms and Architectures, 2000

1999

Growing a Language.

Guy L. Steele Jr.

High. Order Symb. Comput., 1999

1998

Scheme: A Interpreter for Extended Lambda Calculus.

Gerald J. Sussman, Guy L. Steele Jr.

High. Order Symb. Comput., 1998

The First Report on Scheme Revisited.

Gerald J. Sussman, Guy L. Steele Jr.

High. Order Symb. Comput., 1998

Revised Report on the Algorithmic Language Scheme.

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

High. Order Symb. Comput., 1998

Java Applications and Implementations.

Guy L. Steele Jr.

Proceedings of the Worldwide Computing and Its Applications, International Conference, 1998

Compatible Genericity with Run-Time Types for the Java Programming Language.

Robert Cartwright, Guy L. Steele Jr.

Proceedings of the 1998 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 1998

1997

Java and the Evolution of Web Software (Abstract).

Guy L. Steele Jr.

Proceedings of the Pulling Together, 1997

Java - die Sprachspezifikation: die offizielle Dokumentation von JAVASOFT.

James Gosling, William N. Joy, Guy L. Steele Jr.

Addison-Wesley, ISBN: 978-3-8273-1038-5, 1997

1996

The Java Language Specification.

James Gosling, William N. Joy, Guy L. Steele Jr.

Addison-Wesley, ISBN: 0-201-63451-1, 1996

1995

C - a reference manual (4. ed.).

Samuel P. Harbison, Guy L. Steele Jr.

Prentice Hall, ISBN: 978-0-13-326224-7, 1995

1994

Building Interpreters by Composing Monads.

Guy L. Steele Jr.

Proceedings of the Conference Record of POPL'94: 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1994

1993

The Evolution of Lisp.

Guy L. Steele Jr., Richard P. Gabriel

Proceedings of the History of Programming Languages Conference (HOPL-II), 1993

1992

An Overview of the Connection Machine Model CM-5.

Guy L. Steele Jr.

Proceedings of the Supercomputer'92: Anwendungen, Architekturen, Trends, 1992

High Performance Fortran: Status Report.

Guy L. Steele Jr.

Proceedings of the 2nd SIGPLAN Workshop on Languages, Compilers, and Run-Time Environments for Distributed Memory Multiprocessors, Boulder, Colorado, September 30, 1992

1991

Data Parallel Computers and the FORALL Statement.

Eugene Albert, Joan D. Lukas, Guy L. Steele Jr.

J. Parallel Distributed Comput., 1991

Supercomputing 1995 and Beyond - the Different Perspectives.

Steven J. Wallach, Justin R. Rattner, Carl W. Diem, Kenichi Miura, Craig J. Mundie, Guy L. Steele Jr., Andreas Reuter

Proceedings of the Supercomputer'91: Anwendungen, Architekturen, Trends, 1991

Seismic modeling at 14 gigaflops on the connection machine.

Jacek Myczkowski, Guy L. Steele Jr.

Proceedings of the Proceedings Supercomputing '91, 1991

Fortran at Ten Gigaflops: The Connection Machine Convolution Compiler.

Mark Bromley, Steven Heller, Timothy S. McNerney, Guy L. Steele Jr.

Proceedings of the ACM SIGPLAN'91 Conference on Programming Language Design and Implementation (PLDI), 1991

1990

Data Optimization: Allocation of Arrays to Reduce Communication on SIMD Machines.

Kathleen Knobe, Joan D. Lukas, Guy L. Steele Jr.

J. Parallel Distributed Comput., 1990

Making Asynchronous Parallelism Safe for the World.

Guy L. Steele Jr.

Proceedings of the Conference Record of the Seventeenth Annual ACM Symposium on Principles of Programming Languages, 1990

How to print floating-point numbers accurately (with retrospective)

Guy L. Steele Jr., Jon L. White

Proceedings of the 20 Years of the ACM SIGPLAN Conference on Programming Language Design and Implementation 1979-1999, 1990

How to Print Floating-Point Numbers Accurately.

Guy L. Steele Jr., Jon L. White

Proceedings of the ACM SIGPLAN'90 Conference on Programming Language Design and Implementation (PLDI), 1990

Common LISP: the language, 2nd Edition.

Guy L. Steele Jr.

Digital Pr., ISBN: 0131556649, 1990

1988

Compiling Fortran 8x Array Features for the Connection Machine Computer System.

Eugene Albert, Kathleen Knobe, Joan D. Lukas, Guy L. Steele Jr.

Proceedings of the ACM/SIGPLAN PPEALS 1988, 1988

1987

C*: An Extended C Language.

John R. Rose, Guy L. Steele Jr.

Proceedings of the C++ Workshop. Santa Fe, NM, USA, November 1987, 1987

1986

Data Parallel Algorithms.

W. Daniel Hillis, Guy L. Steele Jr.

Commun. ACM, 1986

Connection Machine LISP: Fine-Grained Parallel Symbolic Processing.

Guy L. Steele Jr., W. Daniel Hillis

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

1985

Directions in Programming Languages (Panel).

Gerry Fisher, Daniel D. McCracken, Larry Rosler, Guy L. Steele Jr.

Proceedings of the 1985 ACM annual conference on The range of computing: mid-80's perspective: mid-80's perspective, 1985

1983

Lisp-in-Lisp: High Performance and Portability.

Rodney A. Brooks, Richard P. Gabriel, Guy L. Steele Jr.

Proceedings of the 8th International Joint Conference on Artificial Intelligence. Karlsruhe, 1983

1982

An Optimizing Compiler for Lexically Scoped LISP.

Rodney A. Brooks, Richard P. Gabriel, Guy L. Steele Jr.

Proceedings of the SIGPLAN '82 Symposium on Compiler Construction, 1982

An Overview of Common Lisp.

Guy L. Steele Jr.

Proceedings of the 1982 ACM Symposium on LISP and Functional Programming, 1982

S-1 Common Lisp Implementation.

Rodney A. Brooks, Richard P. Gabriel, Guy L. Steele Jr.

Proceedings of the 1982 ACM Symposium on LISP and Functional Programming, 1982

1980

The definition and implementation of a computer programming language based on constraints.

Guy L. Steele Jr.

PhD thesis, 1980

Design of a LISP-Based Microprocessor.

Guy L. Steele Jr., Gerald J. Sussman

Commun. ACM, 1980

CONSTRAINTS - A Language for Expressing Almost-Hierarchical Descriptions.

Gerald J. Sussman, Guy L. Steele Jr.

Artif. Intell., 1980

The Dream of Lifetime: A Lazy Variable Extent Mechanism.

Guy L. Steele Jr., Gerald J. Sussman

Proceedings of the 1980 LISP Conference, Stanford, California, USA, August 25-27, 1980., 1980

1979

Constraints.

Guy L. Steele Jr., Gerald Jay Sussman

Proceedings of the international conference on APL, 1979

1977

Arithmetic shifting considered harmful.

Guy L. Steele Jr.

ACM SIGPLAN Notices, 1977

Macaroni is better than spaghetti.

Guy L. Steele Jr.

Proceedings of the 1977 Symposium on Artificial Intelligence and Programming Languages, 1977

AMORD explicit control of reasoning.

Johan de Kleer, Jon Doyle, Guy L. Steele Jr., Gerald Jay Sussman

Proceedings of the 1977 Symposium on Artificial Intelligence and Programming Languages, 1977

Debunking the "expensive procedure call" myth or, procedure call implementations considered harmful or, LAMBDA: The Ultimate GOTO.

Guy L. Steele Jr.

Proceedings of the 1977 annual conference, 1977

1975

Multiprocessing Compactifying Garbage Collection.

Guy L. Steele Jr.

Commun. ACM, 1975