Unter Koordination der RWTH Aachen ist am 1. Januar das Projekt „MYX – MUST correctness checking for YML and XMP programs“ gestartet. MYX ist eines von vier neuen Projekten im DFG-Schwerpunktprogramm „Software for Exascale Computing“ und mit französischen und japanischen Partnern trilateral angelegt (vgl. GA-Infobrief Nr. 40). Mit zunehmender Komplexität und Parallelität der Rechnersysteme werden Werkzeuge zum automatischen Erkennen von Programmierfehlern immer wichtiger. Die Projektpartner aus Frankreich und Japan arbeiten bereits in dem gemeinsamen Projekt FP2C an den Programmierparadigmen YvetteML und XcalableMP. XcalableMP ist eine Pragma-basierende PGAS-Sprache mit Exascale-Ambitionen, YvetteML beschreibt den Workflow der Komponenten einer Exascale-Anwendung. Im Rahmen des Projekts MYX wird die Anwendung von automatischen Korrektheitsanalysen in die Weiterentwicklung dieser Programmierkonzepte integriert. Außerdem wird erforscht, welche Eigenschaften Programmierparadigmen mitbringen müssen, um automatische Korrektheitsanalysen effizient auszuführen. Weitere Informationen: http://www.itc.rwth-aachen.de/myx