activity
20232026
most citedKernelBlaster: Continual Cross-Task CUDA Optimization via Memory-Augmented In-Context Reinforcement Learning

1 citations · 3 across the 7 of their papers we have counts for

collaborators
Showing 2025Show all

2 papers · 1 filter

cs.SE2025

ProofWright: Towards Agentic Formal Verification of CUDA

Bodhisatwa Chatterjee, Drew Zagieboylo, Sana Damani +2

Large Language Models (LLMs) are increasingly used to automatically generate optimized CUDA kernels, substantially improving developer productivity. However, despite rapid generati…

cs.DC2025★ 1 cited

GPUArmor: A Hardware-Software Co-design for Efficient and Scalable Memory Safety on GPUs

Mohamed Tarek Ibn Ziad, Sana Damani, Mark Stephenson +2

Memory safety errors continue to pose a significant threat to current computing systems, and graphics processing units (GPUs) are no exception. A prominent class of memory safety a…