Guy L. Steele Jr.

According to our database1, Guy L. Steele Jr. authored at least 89 papers between 1975 and 2022.

Collaborative distances:

Awards

ACM Fellow

ACM Fellow 1994, "For his general contributions to the development of Higher Order Symbolic Programming, principally for his advancement of lexical scoping in LISP.".

IEEE Fellow

IEEE Fellow 2011, "For contributions to the definition, design and standardization of computer languages".

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2022
Computationally easy, spectrally good multipliers for congruential pseudorandom number generators.
Softw. Pract. Exp., 2022

2021
LXM: better splittable pseudorandom number generators (and almost as fast).
Proc. ACM Program. Lang., 2021

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

Vate: Runtime Adaptable Probabilistic Programming for Java.
Proceedings of the EuroMLSys@EuroSys 2021, 2021

Formal verification of authenticated, append-only skip lists in Agda.
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).
ACM Trans. Parallel Comput., 2020

2019
Using Butterfly-patterned Partial Sums to Draw from Discrete Distributions.
ACM Trans. Parallel Comput., 2019

Introduction to the Special Issue on PPoPP 2017 (Part 1).
ACM Trans. Parallel Comput., 2019

Polymorphic symmetric multiple dispatch with variance.
Proc. ACM Program. Lang., 2019

2017
Adding Approximate Counters.
ACM Trans. Parallel Comput., 2017

It's Time for a New Old Language.
Proceedings of the 22nd ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2017

2016
Exponential Stochastic Cellular Automata for Massively Parallel Inference.
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.
CoRR, 2015

Efficient Training of LDA on a GPU by Mean-for-Mode Estimation.
Proceedings of the 32nd International Conference on Machine Learning, 2015

2014
Fast splittable pseudorandom number generators.
Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications, 2014

Augur: Data-Parallel Probabilistic Modeling.
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.
CoRR, 2013

Parallel programming with big operators.
Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2013

Fine-Grained Function Visibility for Multiple Dispatch with Multiple Inheritance.
Proceedings of the Programming Languages and Systems - 11th Asian Symposium, 2013

2012
Programming language life cycles.
Proceedings of the 2012 ACM Conference on High Integrity Language Technology, 2012

2011
Fortress (Sun HPCS Language).
Proceedings of the Encyclopedia of Parallel Computing, 2011

Connection Machine Lisp.
Proceedings of the Encyclopedia of Parallel Computing, 2011

Connection Machine Fortran.
Proceedings of the Encyclopedia of Parallel Computing, 2011

Connection Machine.
Proceedings of the Encyclopedia of Parallel Computing, 2011

Proceedings of the Encyclopedia of Parallel Computing, 2011

An interview with Frances E. Allen.
Commun. ACM, 2011

Multicore, manycore, and cloud computing: is a new programming language paradigm required?
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.
Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

2010
Integrating coercion with subtyping and multiple dispatch.
Sci. Comput. Program., 2010

2009
Curricula for concurrency and parallelism.
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.
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.
Proceedings of the Companion to the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2008

2007
Modular multiple dispatch with multiple inheritance.
Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), 2007

50 in 50.
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.
Proceedings of the Companion to the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2007

2006
Parallel programming and code selection in fortress.
Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2006

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

Aspects and/versus modularity the grand debate.
Proceedings of the Companion to the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2006

2005
Arithmetic Interactions: From Hardware to Applications.
Proceedings of the 17th IEEE Symposium on Computer Arithmetic (ARITH-17 2005), 2005

Parallel Programming and Parallel Abstractions in Fortress.
Proceedings of the 14th International Conference on Parallel Architectures and Compilation Techniques (PACT 2005), 2005

2004
DCAS is not a silver bullet for nonblocking algorithm design.
Proceedings of the SPAA 2004: Proceedings of the Sixteenth Annual ACM Symposium on Parallelism in Algorithms and Architectures, 2004

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

2002
DCAS-Based Concurrent Deques.
Theory Comput. Syst., 2002

Lock-free reference counting.
Distributed Comput., 2002

Deadlock-Free Routing Based on Ordered Links.
Proceedings of the 27th Annual IEEE Conference on Local Computer Networks (LCN 2002), 2002

2000
Even Better DCAS-Based Concurrent Deques.
Proceedings of the Distributed Computing, 14th International Conference, 2000

DCAS-based concurrent deques.
Proceedings of the Twelfth annual ACM Symposium on Parallel Algorithms and Architectures, 2000

1999
Growing a Language.
High. Order Symb. Comput., 1999

1998
Scheme: A Interpreter for Extended Lambda Calculus.
High. Order Symb. Comput., 1998

The First Report on Scheme Revisited.
High. Order Symb. Comput., 1998

Revised Report on the Algorithmic Language Scheme.
High. Order Symb. Comput., 1998

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

Compatible Genericity with Run-Time Types for the Java Programming Language.
Proceedings of the 1998 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 1998

1997
Java and the Evolution of Web Software (Abstract).
Proceedings of the Pulling Together, 1997

Java - die Sprachspezifikation: die offizielle Dokumentation von JAVASOFT.
Addison-Wesley, ISBN: 978-3-8273-1038-5, 1997

1996
The Java Language Specification.
Addison-Wesley, ISBN: 0-201-63451-1, 1996

1995
C - a reference manual (4. ed.).
Prentice Hall, ISBN: 978-0-13-326224-7, 1995

1994
Building Interpreters by Composing Monads.
Proceedings of the Conference Record of POPL'94: 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1994

1993
The Evolution of Lisp.
Proceedings of the History of Programming Languages Conference (HOPL-II), 1993

1992
An Overview of the Connection Machine Model CM-5.
Proceedings of the Supercomputer'92: Anwendungen, Architekturen, Trends, 1992

High Performance Fortran: Status Report.
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.
J. Parallel Distributed Comput., 1991

Supercomputing 1995 and Beyond - the Different Perspectives.
Proceedings of the Supercomputer'91: Anwendungen, Architekturen, Trends, 1991

Seismic modeling at 14 gigaflops on the connection machine.
Proceedings of the Proceedings Supercomputing '91, 1991

Fortran at Ten Gigaflops: The Connection Machine Convolution Compiler.
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.
J. Parallel Distributed Comput., 1990

Making Asynchronous Parallelism Safe for the World.
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)
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.
Proceedings of the ACM SIGPLAN'90 Conference on Programming Language Design and Implementation (PLDI), 1990

Common LISP: the language, 2nd Edition.
Digital Pr., ISBN: 0131556649, 1990

1988
Compiling Fortran 8x Array Features for the Connection Machine Computer System.
Proceedings of the ACM/SIGPLAN PPEALS 1988, 1988

1987
C*: An Extended C Language.
Proceedings of the C++ Workshop. Santa Fe, NM, USA, November 1987, 1987

1986
Data Parallel Algorithms.
Commun. ACM, 1986

Connection Machine LISP: Fine-Grained Parallel Symbolic Processing.
Proceedings of the 1986 ACM Conference on LISP and Functional Programming, 1986

1985
Directions in Programming Languages (Panel).
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.
Proceedings of the 8th International Joint Conference on Artificial Intelligence. Karlsruhe, 1983

1982
An Optimizing Compiler for Lexically Scoped LISP.
Proceedings of the SIGPLAN '82 Symposium on Compiler Construction, 1982

An Overview of Common Lisp.
Proceedings of the 1982 ACM Symposium on LISP and Functional Programming, 1982

S-1 Common Lisp Implementation.
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.
PhD thesis, 1980

Design of a LISP-Based Microprocessor.
Commun. ACM, 1980

CONSTRAINTS - A Language for Expressing Almost-Hierarchical Descriptions.
Artif. Intell., 1980

The Dream of Lifetime: A Lazy Variable Extent Mechanism.
Proceedings of the 1980 LISP Conference, Stanford, California, USA, August 25-27, 1980., 1980

1979
Constraints.
Proceedings of the international conference on APL, 1979

1977
Arithmetic shifting considered harmful.
ACM SIGPLAN Notices, 1977

Macaroni is better than spaghetti.
Proceedings of the 1977 Symposium on Artificial Intelligence and Programming Languages, 1977

AMORD explicit control of reasoning.
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.
Proceedings of the 1977 annual conference, 1977

1975
Multiprocessing Compactifying Garbage Collection.
Commun. ACM, 1975


  Loading...