Guy L. Steele Jr.
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
40
Venues
19
Active years
1983–2021
Best venue rank
A*
Where they publish
Papers
40 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2021 | CPP | Formal verification of authenticated, append-only skip lists in Agda. | Victor Cacciari Miraldo, Harold Carr, Mark Moir, Lisandra Silva, Guy L. Steele Jr. |
| 2021 | EuroSys | Vate: Runtime Adaptable Probabilistic Programming for Java. | Daniel Goodman, Adam Craig Pocock, Jason Peck, Guy L. Steele Jr. |
| 2017 | PPoPP | It's Time for a New Old Language. | Guy L. Steele Jr. |
| 2017 | PPoPP | Using Butterfly-Patterned Partial Sums to Draw from Discrete Distributions. | Guy L. Steele Jr., Jean-Baptiste Tristan |
| 2016 | AISTATS | Exponential Stochastic Cellular Automata for Massively Parallel Inference. | Manzil Zaheer, Michael L. Wick, Jean-Baptiste Tristan, Alexander J. Smola, Guy L. Steele Jr. |
| 2016 | PPoPP | Adding approximate counters. | Guy L. Steele Jr., Jean-Baptiste Tristan |
| 2015 | ICML | Efficient Training of LDA on a GPU by Mean-for-Mode Estimation. | Jean-Baptiste Tristan, Joseph Tassarotti, Guy L. Steele Jr. |
| 2014 | OOPSLA | Fast splittable pseudorandom number generators. | Guy L. Steele Jr., Doug Lea, Christine H. Flood |
| 2013 | APLAS | Fine-Grained Function Visibility for Multiple Dispatch with Multiple Inheritance. | Jieung Kim, Sukyoung Ryu, Victor Luchangco, Guy L. Steele Jr. |
| 2013 | PPoPP | Parallel programming with big operators. | Changhee Park, Guy L. Steele Jr., Jean-Baptiste Tristan |
| 2011 | OOPSLA | 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. |
| 2011 | OOPSLA | 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 |
| 2009 | ICFP | Organizing functional code for parallel execution or, foldl and foldr considered slightly harmful. | Guy L. Steele Jr. |
| 2009 | OOPSLA | Curricula for concurrency and parallelism. | Guy L. Steele Jr., Vijay A. Saraswat |
| 2008 | OOPSLA | Lisp50: The 50th birthday of lisp at OOPSLA 2008. | Pascal Costanza, Richard P. Gabriel, Robert Hirschfeld, Guy L. Steele Jr. |
| 2008 | SAC | Integrating coercion with subtyping and multiple dispatch. | J. J. Hallett, Victor Luchangco, Sukyoung Ryu, Guy L. Steele Jr. |
| 2007 | OOPSLA | 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. |
| 2007 | OOPSLA | 50 in 50. | Guy L. Steele Jr., Richard P. Gabriel |
| 2007 | SAC | Modular multiple dispatch with multiple inheritance. | Eric E. Allen, J. J. Hallett, Victor Luchangco, Sukyoung Ryu, Guy L. Steele Jr. |
| 2006 | FLOPS | Parallel Programming and Parallel Abstractions in Fortress. | Guy L. Steele Jr. |
| 2006 | OOPSLA | Aspects and/versus modularity the grand debate. | Richard P. Gabriel, Guy L. Steele Jr., Friedrich Steimann, Jim Waldo, Gregor Kiczales, Kevin J. Sullivan |
| 2006 | OOPSLA | A growable language. | Guy L. Steele Jr. |
| 2006 | PPoPP | Parallel programming and code selection in fortress. | Guy L. Steele Jr. |
| 2005 | ARITH | Arithmetic Interactions: From Hardware to Applications. | David Hough, Bill Hay, Jeff Kidder, E. Jason Riedy, Guy L. Steele Jr., Jim Thomas |
| 2004 | OOPSLA | Object-oriented units of measurement. | Eric E. Allen, David Chase, Victor Luchangco, Jan-Willem Maessen, Guy L. Steele Jr. |
| 2004 | SPAA | 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. |
| 2002 | LCN | Deadlock-Free Routing Based on Ordered Links. | Dah-Ming Chiu, Miriam Kadansky, Radia J. Perlman, John Reynders, Guy L. Steele Jr., Murat Yuksel |
| 2001 | PODC | Lock-free reference counting. | David Detlefs, Paul Alan Martin, Mark Moir, Guy L. Steele Jr. |
| 2000 | SPAA | DCAS-based concurrent deques. | Ole Agesen, David Detlefs, Christine H. Flood, Alex Garthwaite, Paul Alan Martin, Nir Shavit, Guy L. Steele Jr. |
| 1998 | OOPSLA | Compatible Genericity with Run-Time Types for the Java Programming Language. | Robert Cartwright, Guy L. Steele Jr. |
| 1998 | OOPSLA | Growing a language. | Guy L. Steele Jr. |
| 1997 | ICSE | Java and the Evolution of Web Software (Abstract). | Guy L. Steele Jr. |
| 1994 | POPL | Building Interpreters by Composing Monads. | Guy L. Steele Jr. |
| 1991 | PLDI | Fortran at Ten Gigaflops: The Connection Machine Convolution Compiler. | Mark Bromley, Steven Heller, Timothy S. McNerney, Guy L. Steele Jr. |
| 1991 | SC | Seismic modeling at 14 gigaflops on the connection machine. | Jacek Myczkowski, Guy L. Steele Jr. |
| 1990 | PLDI | How to Print Floating-Point Numbers Accurately. | Guy L. Steele Jr., Jon L. White |
| 1990 | PLDI | How to print floating-point numbers accurately (with retrospective) | Guy L. Steele Jr., Jon L. White |
| 1990 | POPL | Making Asynchronous Parallelism Safe for the World. | Guy L. Steele Jr. |
| 1988 | PPoPP | Compiling Fortran 8x Array Features for the Connection Machine Computer System. | Eugene Albert, Kathleen Knobe, Joan D. Lukas, Guy L. Steele Jr. |
| 1983 | IJCAI | Lisp-in-Lisp: High Performance and Portability. | Rodney A. Brooks, Richard P. Gabriel, Guy L. Steele Jr. |