1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.PL2025★ 1 cited
Equivalence Checking of ML GPU Kernels
Benjamin Driscoll, Kshitij Dubey, Anjiang Wei +3
With the rapid progress of deep learning and large language models (LLMs), companies spend enormous sums executing GPU kernels. These kernels have become prime targets for aggressi…
cs.CY2025
Reclaiming the Future: American Information Technology Leadership in an Era of Global Competition
Alex Aiken, David Jensen, Catherine Gill +5
The United States risks losing its global leadership in information technology research due to declining basic research funding, challenges in attracting talent, and tensions betwe…