William S. Moses

39 papers A* 1A 6B 3Misc 1Journal 22Unranked 5

Year	Rank	Type	Title / Venue / Authors
2026	A	`conf`	Thinking Fast and Correct: Automated Rewriting of Numerical Code through Compiler Augmentation. CGO Siyuan Brant Qian, Vimarsh Sathia, Ivan R. Ivanov, Jan Hückelheim, Paul Hovland, William S. Moses
2025	J	`jnl`	Mind the Abstraction Gap: Bringing Equality Saturation to Real-World ML Compilers. Proc. ACM Program. Lang. Arya Vohra, Leo Seojun Lee, Jakub Bachurski, Oleksandr Zinenko, Phitchaya Mangpo Phothilimthana, Albert Cohen, William S. Moses
2025	A	`conf`	RAPTOR: Practical Numerical Profiling of Scientific Applications. SC Faveo Hoerold, Ivan R. Ivanov, Akash Dhruv, William S. Moses, Anshu Dubey, Mohamed Wahib, Jens Domke
2025	J	`jnl`	RAPTOR: Practical Numerical Profiling of Scientific Applications. CoRR Felix Hörold, Ivan R. Ivanov, Akash Dhruv, William S. Moses, Anshu Dubey, Mohamed Wahib, Jens Domke
2025	J	`jnl`	Sound and Modular Activity Analysis for Automatic Differentiation in MLIR. Proc. ACM Program. Lang. Mai Jacob Peng, William S. Moses, Oleksandr Zinenko, Christophe Dubach
2025	A	`conf`	The MLIR Transform Dialect: Your Compiler Is More Powerful Than You Think. CGO Martin Paul Lücke, Oleksandr Zinenko, William S. Moses, Michel Steuwer, Albert Cohen
2025	J	`jnl`	The Quantum Tortoise and the Classical Hare: When Will Quantum Computers Outpace Classical Ones and When Will They Be Left Behind? Proc. IEEE Sukwoong Choi, William S. Moses, Neil C. Thompson
2024	J	`jnl`	A taxonomy of automatic differentiation pitfalls. WIREs Data. Mining. Knowl. Discov. Jan Hückelheim, Harshitha Menon, William S. Moses, Bruce Christianson, Paul D. Hovland, Laurent Hascoët
2024	J	`jnl`	ComPile: A Large IR Dataset from Production Sources. J. Data-centric Mach. Learn. Res. Aiden Grossman, Ludger Paehler, Konstantinos Parasyris, Tal Ben-Nun, Jacob Hegna, William S. Moses, Jose Manuel Monsalve Diaz, Mircea Trofin, Johannes Doerfert
2024	J	`jnl`	Input-Gen: Guided Generation of Stateful Inputs for Testing, Tuning, and Training. CoRR Ivan R. Ivanov, Joachim Meyer, Aiden Grossman, William S. Moses, Johannes Doerfert
2024	A	`conf`	Retargeting and Respecializing GPU Workloads for Performance Portability. CGO Ivan R. Ivanov, Oleksandr Zinenko, Jens Domke, Toshio Endo, William S. Moses
2024	J	`jnl`	The MLIR Transform Dialect. Your compiler is more powerful than you think. CoRR Martin Paul Lücke, Oleksandr Zinenko, William S. Moses, Michel Steuwer, Albert Cohen
2023	J	`jnl`	ComPile: A Large IR Dataset from Production Sources. CoRR Aiden Grossman, Ludger Paehler, Konstantinos Parasyris, Tal Ben-Nun, Jacob Hegna, William S. Moses, Jose Manuel Monsalve Diaz, Mircea Trofin, Johannes Doerfert
2023	B	`conf`	High-Performance GPU-to-CPU Transpilation and Optimization via High-Level Parallel Constructs. PPoPP William S. Moses, Ivan R. Ivanov, Jens Domke, Toshio Endo, Johannes Doerfert, Oleksandr Zinenko
2023	—	`—`	Supercharging Programming through Compiler Technology William S. Moses
2023	J	`jnl`	The Quantum Tortoise and the Classical Hare: A simple framework for understanding which problems quantum computing will accelerate (and which it will not). CoRR Sukwoong Choi, William S. Moses, Neil C. Thompson
2023	—	`conf`	Transparent Checkpointing for Automatic Differentiation of Program Loops Through Expression Transformations. ICCS (3) Michel Schanen, Sri Hari Krishna Narayanan, Sarah Williamson, Valentin Churavy, William S. Moses, Ludger Paehler
2023	J	`jnl`	Understanding Automatic Differentiation Pitfalls. CoRR Jan Hückelheim, Harshitha Menon, William S. Moses, Bruce Christianson, Paul D. Hovland, Laurent Hascoët
2022	—	`conf`	Enabling Transformers to Understand Low-Level Programs. HPEC Zifan Carl Guo, William S. Moses
2022	J	`jnl`	High-Performance GPU-to-CPU Transpilation and Optimization via High-Level Parallel Constructs. CoRR William S. Moses, Ivan R. Ivanov, Jens Domke, Toshio Endo, Johannes Doerfert, Oleksandr Zinenko
2022	J	`jnl`	Performance Portable Solid Mechanics via Matrix-Free p-Multigrid. CoRR Jed Brown, Valeria Barra, Natalie Beams, Leila Ghaffari, Matthew G. Knepley, William S. Moses, Rezgar Shakeri, Karen Stengel, Jeremy L. Thompson, Junchao Zhang
2022	A	`conf`	Scalable Automatic Differentiation of Multiple Parallel Paradigms through Compiler Augmentation. SC William S. Moses, Sri Hari Krishna Narayanan, Ludger Paehler, Valentin Churavy, Michel Schanen, Jan Hückelheim, Johannes Doerfert, Paul D. Hovland
2021	B	`conf`	Polygeist: Raising C to Polyhedral MLIR. PACT William S. Moses, Lorenzo Chelini, Ruizhe Zhao, Oleksandr Zinenko
2021	A	`conf`	Reverse-mode automatic differentiation and optimization of GPU kernels via enzyme. SC William S. Moses, Valentin Churavy, Ludger Paehler, Jan Hückelheim, Sri Hari Krishna Narayanan, Michel Schanen, Johannes Doerfert
2020	—	`conf`	AutoPhase: Juggling HLS Phase Orderings in Random Forests with Deep Reinforcement Learning. MLSys Ameer Haj-Ali, Qijing (Jenny) Huang, William S. Moses, John Xiang, Krste Asanovic, John Wawrzynek, Ion Stoica
2020	J	`jnl`	AutoPhase: Juggling HLS Phase Orderings in Random Forests with Deep Reinforcement Learning. CoRR Qijing Huang, Ameer Haj-Ali, William S. Moses, John Xiang, Ion Stoica, Krste Asanovic, John Wawrzynek
2020	A*	`conf`	Instead of Rewriting Foreign Code for Machine Learning, Automatically Synthesize Fast Gradients. NeurIPS William S. Moses, Valentin Churavy
2020	J	`jnl`	Instead of Rewriting Foreign Code for Machine Learning, Automatically Synthesize Fast Gradients. CoRR William S. Moses, Valentin Churavy
2020	J	`jnl`	ProTuner: Tuning Programs with Monte Carlo Tree Search. CoRR Ameer Haj-Ali, Hasan Genc, Qijing Huang, William S. Moses, John Wawrzynek, Krste Asanovic, Ion Stoica
2020	J	`jnl`	The Next 700 Accelerated Layers: From Mathematical Expressions of Network Computation Graphs to Accelerated GPU Kernels, Automatically. ACM Trans. Archit. Code Optim. Nicolas Vasilache, Oleksandr Zinenko, Theodoros Theodoridis, Priya Goyal, Zachary DeVito, William S. Moses, Sven Verdoolaege, Andrew Adams, Albert Cohen
2019	Misc	`conf`	AutoPhase: Compiler Phase-Ordering for HLS with Deep Reinforcement Learning. FCCM Qijing Huang, Ameer Haj-Ali, William S. Moses, John Xiang, Ion Stoica, Krste Asanovic, John Wawrzynek
2019	J	`jnl`	AutoPhase: Compiler Phase-Ordering for High Level Synthesis with Deep Reinforcement Learning. CoRR Ameer Haj Ali, Qijing Huang, William S. Moses, John Xiang, Ion Stoica, Krste Asanovic, John Wawrzynek
2019	J	`jnl`	Extracting Incentives from Black-Box Decisions. CoRR Yonadav Shavit, William S. Moses
2019	—	`conf`	LiTM: A Lightweight Deterministic Software Transactional Memory System. PMAM@PPoPP Yu Xia, Xiangyao Yu, William S. Moses, Julian Shun, Srinivas Devadas
2019	J	`jnl`	Tapir: Embedding Recursive Fork-join Parallelism into LLVM's Intermediate Representation. ACM Trans. Parallel Comput. Tao B. Schardl, William S. Moses, Charles E. Leiserson
2018	J	`jnl`	Tensor Comprehensions: Framework-Agnostic High-Performance Machine Learning Abstractions. CoRR Nicolas Vasilache, Oleksandr Zinenko, Theodoros Theodoridis, Priya Goyal, Zachary DeVito, William S. Moses, Sven Verdoolaege, Andrew Adams, Albert Cohen
2017	—	`conf`	OpenMPIR: Implementing OpenMP Tasks with Tapir. LLVM-HPC@SC George Stelle, William S. Moses, Stephen L. Olivier, Patrick S. McCormick
2017	B	`conf`	Tapir: Embedding Fork-Join Parallelism into LLVM's Intermediate Representation. PPoPP Tao B. Schardl, William S. Moses, Charles E. Leiserson
2016	J	`jnl`	Computational Complexity of Arranging Music. CoRR William S. Moses, Erik D. Demaine