Publication in Conference Proceedings/Workshop.
Static code analysis tools are designed to aid software developers to build better quality software in less time, by detecting defects early in the software development life cycle. Even the most experienced developer regularly introduces coding defects. Identifying, mitigating and resolving defects is an essential part of the software development process, but frequently defects can go undetected. One defect can lead to a minor malfunction or cause serious security and/or safety issues. Thus, there is an urgent need for new static code analysis tools to help in building better concurrent and parallel software. The paper reports preliminary results about the use of Appentra’s Parallelware technology to address this problem from the following three perspectives: Finding concurrency issues in the code, discovering new opportunities for parallelization in the code, and generating parallel-equivalent code that enable tasks to runs faster. The paper also presents experimental results using well-known scientific codes and POWER systems.
Publication Type: Invited talk
Year of Publication: 2019
Authors: Manuel Arenaz (Appentra), Xavier Martorell (BSC)
Publisher: International Workshop on OpenPOWER for HPC (IWOPH’19)
Place published: ISC19, Frankfurt, Germany.
Keywords: Static code analysis, Quality assurance, and testing, Detection of software defects, Concurrency and parallelism, Parallelware tools, OpenMP, Tasking, POWER systems
Publication link: https://link.springer.com/chapter/10.1007%2F978-3-030-34356-9_27
Publication link in Arxiv: https://arxiv.org/abs/2102.02582