Programming language design, semantics, algorithms, and implementation with an emphasis on convenient use of parallelism using multicores and GPUs.

Among our current projects are:
1. Machine learning algorithms suitable for fast implementation on GPUs (in collaboration with the Oracle Labs IRML group).
2. Consulting with the Java product group on development of Java and the JVM, including compilation of collection operations and stream expressions for parallel target machines and/or GPUs, as well as explorations of value types and their interaction with generic types.
3. Fast parallel algorithms for pseudorandom number generators (this produced the SplittableRandom class for Java JDK8).

• Generality—or Not—in a Domain-Specific Language (A Case Study)
  Guy Steele, <programming> 2021 conference (https://2021.programming-conference.org).

• Computationally Easy, Spectrally Good Multipliers for Congruential Pseudorandom Number Generators
  Guy Steele, Sebastiano Vigna, CoRR at arXiv.org, and also a journal: Mathematics of Computation (American Mathematical Society)

• Computers and Hacking: A 50-Year View
  Guy Steele, MIT HackMIT conference (MIT Kresge Theater), Saturday, September 14

• SLIDES: It's Time for a New Old Language
  Guy Steele, 2017 ACM Symposium on Principles and Practice of Parallel Programming

• SLIDES: Using Butterfly-Patterned Partial Sums to Draw from Discrete Distributions
  Guy Steele, Jean-Baptiste Tristan, 2017 ACM Symposium on Principles and Practice of Parallel Programming

• Adding Approximate Counters
  Guy Steele, Jean-Baptiste Tristan, Journal Publication, (2017)

• Better Splittable Pseudorandom Number Generators (and Almost As Fast)
  Guy Steele, 2017 ACM OOPSLA

• It's Time for a New Old Language
  Guy Steele, 2017 ACM PPoPP conference

• Using Butterfly-Patterned Partial Sums to Draw from Discrete Distributions
  Guy Steele, 2017 ACM PPoPP conference

• Using Butterfly-Patterned Partial Sums to Draw from Discrete Distributions
  Guy Steele, Jean-Baptiste Tristan, 2017 ACM Symposium on Principles and Practice of Parallel Programming

• SLIDES: How to Tell a Compiler What We Think We Know?
  Guy Steele, 2016 ACM SIGPLAN Conference on Systems, Programming, Languages and Applications: Software for Humanity (SPLASH)

• Fortress Features and Lessons Learned
  Guy Steele, 2016 JuliaCon conference (about the Julia programming language)

• How to Tell a Compiler What We Think We Know?
  Guy Steele, 2016 ACM SPLASH Conference (Amsterdam, November 4, 2016)

• Toward a More Carefully Specified Metanotation
  Guy Steele, 2017 ACM POPL

• Intransitive noninterference in nondeterministic systems
  Kai Engelhardt, Ron van der Meyden, In Proceedings, (2012)