TensorRight: Automated Verification of Tensor Graph Rewrites

A history of APL in the USSR (1991)

I was wrong about the ethics crisis

Program Synthesis and Large Language Models

Intel's Fall from Grace

Controlling AI's Growing Energy Needs

Computer Architecture, Fifth Edition: A Quantitative Approach (2011)

Compilation on the GPU? A Feasibility Study

You Don't Know Jack about Bandwidth

Ending Affirmative Action Harms Diversity Without Improving Academic Merit [pdf]