Guy L. Steele Jr.

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