William Moses

  • Program Years: 2018-2022
  • Academic Institution: Massachusetts Institute of Technology
  • Field of Study: Computer Science
  • Academic Advisor: Charles Leiserson
  • Practicum(s):
    Lawrence Berkeley National Laboratory (2019)
    Argonne National Laboratory (2021)
  • Degree(s):
    M.Eng. Electrical Engineering and Computer Science, Massachusetts Institute of Technology, 2017; B.S. Electrical Engineering and Computer Science, and B.S. Physics, Massachusetts Institute of Technology, 2017

Current Status


Reverse-Mode Automatic Differentiation and Optimization of GPU Kernels via Enzyme, Best Student Paper Finalist
Moses, William S and Churavy, Valentin and Paehler, Ludger and Huckelheim, Jan and Hari Krishna Narayanan, Sri and Schanen, Michel and Doerfert, Johannes. SC'21.

Polygeist: Raising C to Polyhedral MLIR
Moses, William S. and Chelini, Lorenzo and Zhao, Ruizhe and Zinenko, Oleksandr. PACT '21.

Instead of Rewriting Foreign Code for Machine Learning, Automatically Synthesize Fast Gradients, Advances in Neural Information Processing Systems, William Moses, Valentin Churavy

AutoPhase: Juggling HLS Phase Orderings in Random Forests with Deep Reinforcement Learning, Proceedings of Machine Learning & Systems, Ameer Haj-Ali, Qijing Jenny Huang, John Xiang, William Moses, Krste Asanovic, John Wawrzynek, Ion Stoica

The Next 700 Accelerated Layers: From Mathematical Expressions of Network Computation Graphs to Accelerated GPU Kernels, Automatically
Vasilache, Nicolas and Zinenko, Oleksandr and Theodoridis, Theodoros and Goyal, Priya and Devito, Zachary and Moses, William S. and Verdoolaege, Sven and Adams, Andrew and Cohen, Albert. TACO.

LiTM: A Lightweight Deterministic Software Transactional Memory System
Xia, Yu and Yu, Xiangyao and Moses, William and Shun, Julian and Devadas, Srinivas. PPoPP PMAM'19.

Tensor Comprehensions: Framework-Agnostic High-Performance Machine Learning Abstractions, Vasilache, Nicolas and Zinenko, Oleksandr and Theodoridis, Theodoros and Goyal, Priya and DeVito, Zachary and Moses, William S and Verdoolaege, Sven and Adams, Andrew and Cohen, Albert.

Tapir: Embedding Fork-Join Parallelism into LLVM's Intermediate Representation, Best Paper Award Schardl, Tao B. and Moses, William S. and Leiserson, Charles E.. PPoPP 2017.

OpenMPIR: Implementing OpenMP Tasks with Tapir Stelle, George and Moses, William S. and Olivier, Stephen L. and McCormick, Patrick. LLVM-HPC 2017.

How Should Compilers Represent Fork-Join Parallelism? Moses, William S.. Thesis 2017.

Computational Complexity of Arranging Music Demaine, Erik D. and Moses, William S.. MOVES Conference 2015.

Extreme Multi-Resolution Visualization: A Challenge on Many Levels Balme, Joanna and Brown-Dymkoski, Eric and Guerrero, Victor and Jones, Stephen and Kessler, Andre and Lichtl, Adam and Lung, Kevin and Moses, William and Museth, Ken and Roberson, Nathan and others. SuperComputing Visualization Showcase 2015.


Karl Taylor Compton Prize, 2021

Golden Beaver Award, 2021

Sigma Xi, July 2018

DOE Computational Science Fellowship, 2018

NSF Graduate Fellowship, declined, 2018

Robert M. Fano Award for Outstanding SuperUROP Project, June 2017

Best Paper Award, PPoPP 2017

Sigma Pi Sigma, June 2017

Larry G. Benedict Leadership Award, May 2017

MakeMIT 2017 - iRobot Prize and Top 10, January 2017

Eta Kappa Nu Electrical Engineering and Computer Science Society, September 2016

MIT Idea2 Global Competition - Finalist, July 2016

Keel Foundation Undergraduate Research and Innovation Scholar, July 2016