C++ language; graphics processing units; parallel architectures; program diagnostics; C++ CUDA program; CUDA kernel; GPU program; Lonestar; Parboil; SESA; static analysis; symbolic execution; symbolic race checking; thread-ID based decision; Concrete; Graphics processing units; History; Indexes; Instruction sets; Kernel; Schedules; CUDA; Data Flow Analsis; Formal Verification; GPU; Parallelism; Symbolic Execution; Taint Analysis; Virtual Machine;
机译:OpenMP并行程序的符号一致性检查*
机译:通过混合符号分析对顺序软件程序进行模型检查
机译:将符号执行与模型检查相结合以验证并行数值程序
机译:GRace:一种用于检测GPU程序中数据竞争的低开销机制
机译:适用于GPU程序的实用符号执行分析和方法。
机译:在社区计划中提供联合口服避孕药和醋酸甲羟孕酮联合避孕药的新清单。
机译:基于符号模型检验的大型模型可诊断性实用形式验证