As an increasing number of leadership-class systems embrace GPU accelerators in the race towards exascale, efficient communication data is becoming one most critical components high-performance computing. For developers parallel programming models, implementing support for GPU-aware using native APIs GPUs such as CUDA can be a daunting task it requires considerable effort with little guarantee ...

Bounded-exhaustive testing (BET), which exercises a program under test for all inputs up to some bounds, is an effective method detecting software bugs. Systematic property-based BET approach where developers write generation programs that describe properties of inputs. Hybrid offer the most expressive way desired by freely combining declarative filters and imperative generators. However, explo...