2 papers
cs.LG2026
Multi-turn RL with Structural and Performance Aware Rewards for CUDA Kernel Generation
Quazi Ishtiaque Mahmud, Nesreen K. Ahmed, Ali Jannesari
Reinforcement Learning with Verifiable Rewards (RLVR) has emerged as a powerful technique to enhance the reasoning capacity of LLMs for optimized code generation. However, existing…
cs.DC2025
Data Race Satisfiability on Array Elements
Junhyung Shim, Quazi Ishtiaque Mahmud, Ali Jannesari
Detection of data races is one of the most important tasks for verifying the correctness of OpenMP parallel codes. Two main models of analysis tools have been proposed for detectin…