Abstract PCAST (PGI Compiler-Assisted Software Testing) is a feature being developed in
the PGI compilers and runtime to help users automate testing high performance numerical …

Embedded software is found everywhere from our highly visible mobile devices to the
confines of our car in the form of smart sensors. Embedded software companies are under …

With the growing complexity of software, the number of test cases needed for effective
validation is extremely large. Executing these large test suites is expensive and time …

Concolic testing combines concrete execution with symbolic execution along the executed
path to automatically generate new test inputs that exercise program paths and deliver high …

Software testing is widely used in industry, but its application in the High Performance
Computing area has been scarce. Concolic testing, that automates testing via generation of …

OpenACC is an emerging directive-based programming model for programming
accelerators that typically enable non-expert programmers to achieve portable and …

Recently, MPI has become widely used in many scientific applications, including different
non-computer science fields, for parallelizing their applications. An MPI programming model …

MPI is widely used as the bedrock of HPC applications, but there are no effective systematic
software testing techniques for MPI programs. In this paper we develop COMPI, the first …

As scientific codes are ported between GPU platforms, continuous testing is required to
ensure numerical robustness and identify potential numerical differences between platforms …

Developing just-in-time (JIT) compilers that that allow scientific programmers to efficiently
target both CPUs and GPUs is of increasing interest. However building such compilers …