1 citations · 3 across the 7 of their papers we have counts for
Showing cs.SEShow 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.SE2022
Analysis of Validating and Verifying OpenACC Compilers 3.0 and Above
A. M. Jarmusch, A. Liu, C. Munley +4
OpenACC is a high-level directive-based parallel programming model that can manage the sophistication of heterogeneity in architectures and abstract it from the users. The portabil…