Showing 2026Show all
3 papers · 1 filter
cs.SE2026
Towards an Accurate GPU Data Race Detector
Ajay Nayak, Anubhab Ghosh, Arkaprava Basu
Data races in GPU programs pose a threat to the reliability of GPU-accelerated software stacks. Prior works proposed various dynamic (runtime) and static (compile-time) techniques…
cs.LG2026
LLM-42: Enabling Determinism in LLM Inference with Verified Speculation
Raja Gond, Aditya K Kamath, Ramachandran Ramjee +1
In LLM inference, the same prompt may yield different outputs across different runs. At the system level, this non-determinism arises from floating-point non-associativity combined…
cs.SE2026
Chasing Elusive Memory Bugs in GPU Programs
Anubhab Ghosh, Ajay Nayak, Dhananjay Rao Thallikar Shyam +1
Memory safety bugs, such as out-of-bound accesses (OOB) in GPU programs, can compromise the security and reliability of GPU-accelerated software. We report the existence of input-d…