1 citations · 3 across the 7 of their papers we have counts for
Showing 2024Show all
2 papers · 1 filter
cs.SE2024
LLM4VV: Exploring LLM-as-a-Judge for Validation and Verification Testsuites
Zachariah Sollenberger, Jay Patel, Christian Munley +2
Large Language Models (LLM) are evolving and have significantly revolutionized the landscape of software development. If used well, they can significantly accelerate the software d…
cs.PL2024★ 1 cited
CI/CD Efforts for Validation, Verification and Benchmarking OpenMP Implementations
Aaron Jarmusch, Felipe Cabarcas, Swaroop Pophale +6
Software developers must adapt to keep up with the changing capabilities of platforms so that they can utilize the power of High- Performance Computers (HPC), including exascale sy…