Guy L. Steele

Oracle (United States) — United States

Computer Science · Physical Sciences

46h-index14.8kcitations638works0.02yr avg
OpenAlex↗ORCID↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Parallel Computing and Optimization Techniques(74), Logic, programming, and type systems(47), Distributed and Parallel Computing Systems(35), Embedded Systems Design Techniques(29), Formal Methods in Verification(19)

Publications328 total

The Verse Calculus: A Core Calculus for Deterministic Functional Logic Programming
Proceedings of the ACM on Programming Languages·2023· 10 citedOpen Access
LXM: better splittable pseudorandom number generators (and almost as fast)
Proceedings of the ACM on Programming Languages·2021· 4 citedOpen Access
Computationally easy, spectrally good multipliers for congruential pseudorandom number generators
Software Practice and Experience·2021· 2 citedOpen Access
Vate
2021
Formal Verification of Authenticated, Append-Only Skip Lists in Agda: Extended Version
arXiv (Cornell University)·2021Open Access
Formal Verification of Authenticated, Append-Only Skip Lists in Agda:\n Extended Version
arXiv (Cornell University)·2021Open Access
Formal verification of authenticated, append-only skip lists in Agda
2021· 2 cited
Computationally easy, spectrally good multipliers for congruential pseudorandom number generators
Archivio Istituzionale della Ricerca (Universita Degli Studi Di Milano)·2021· 8 citedOpen Access
Computationally easy, spectrally good multipliers for congruential\n pseudorandom number generators
arXiv (Cornell University)·2020· 3 citedOpen Access
Using Butterfly-patterned Partial Sums to Draw from Discrete Distributions
ACM Transactions on Parallel Computing·2019
Polymorphic symmetric multiple dispatch with variance
Proceedings of the ACM on Programming Languages·2019· 5 citedOpen Access
Learning a Static Analyzer: A Case Study on a Toy Language
2017· 5 cited
Adding Approximate Counters
ACM Transactions on Parallel Computing·2017· 1 cited
Using Butterfly-Patterned Partial Sums to Draw from Discrete Distributions
ACM SIGPLAN Notices·2017
It's Time for a New Old Language
ACM SIGPLAN Notices·2017· 1 cited
Using Butterfly-Patterned Partial Sums to Draw from Discrete Distributions
2017· 1 cited
It's Time for a New Old Language
2017· 8 cited
Exponential Stochastic Cellular Automata for Massively Parallel Inference
International Conference on Artificial Intelligence and Statistics·2016· 20 cited
Adding approximate counters
ACM SIGPLAN Notices·2016· 2 cited
Adding approximate counters
2016· 10 cited
page 1 of 17Next →

Frequent Co-authors

Gerald Jay Sussman(13), Christine H. Flood(5), David Detlefs(5), Paul Martin(5), James Gosling(4), Bill Joy(4), Gilad Bracha(3), Hal Abelson(3), R. Kent Dybvig(3), Christopher T. Haynes(3), Guillermo J. Rozas(3), Norman I. Adams(3), Daniel P. Friedman(3), Eugene E. Kohlbecker(3), D. H. Bartley(3), Robert H. Halstead(3), D. Oxley(3), G. Brooks(3), Chris Hanson(3), Kent M. Pitman(3)