2 citations · 5 across the 12 of their papers we have counts for
Showing cs.SEShow all
2 papers · 1 filter
cs.SE2025★ 2 cited
Leveraging AI for Productive and Trustworthy HPC Software: Challenges and Research Directions
Keita Teranishi, Harshitha Menon, William F. Godoy +25
We discuss the challenges and propose research directions for using AI to revolutionize the development of high-performance computing (HPC) software. AI technologies, in particular…
cs.SE2024
Testing the Unknown: A Framework for OpenMP Testing via Random Program Generation
Ignacio Laguna, Patrick Chapman, Konstantinos Parasyris +2
We present a randomized differential testing approach to test OpenMP implementations. In contrast to previous work that manually creates dozens of verification and validation tests…