Saarbrücker Informatiker mit dem ACM Software Systems Award ausgezeichnet

Die Saarbrücker Preisträger des ACM Software Systems Award, Bernhard Schommer (links) und Michael Schmidt (rechts). Foto: AbsInt

Die Saarbrücker Informatiker Michael Schmidt und Bernhard Schommer wurden zusammen mit fünf Kollegen für die Entwicklung eines hochsicheren Compilers mit dem international renommierten „ACM Software Systems“ Award ausgezeichnet. Zu den bisherigen Preisträgern gehören unter anderem die Entwickler des Betriebssystems „UNIX“, des „World Wide Web“ und der Entwickler der Programmiersprache „JAVA“. Der Preis wird seit 1983 jährlich vergeben und von dem IT-Unternehmen IBM mit 35.000 US-Dollar gesponsert.

Michael Schmidt und Bernhard Schommer sind beide Mitarbeiter der Saarbrücker „AbsInt Angewandte Informatik GmbH“, die 1998 von dem Saarbrücker Informatik-Professor Reinhard Wilhelm mitbegründet wurde. Michael Schmidt ist ein ehemaliger Student von Reinhard Wilhelm an der Universität des Saarlandes, wo Bernhard Schommer derzeit in Informatik promoviert.

Zusammen mit fünf weiteren Kollegen wurden Schmidt und Schommer nun vom weltweit größten Verband für Informatik, der „Association for Computing Machinery (ACM)“, für ihre Arbeit am „CompCert“-Compiler ausgezeichnet. Bei einem Compiler handelt es sich um eine Art Übersetzer von Programmcode, der den vom Programmierer geschriebenen Code in die für Computer verständliche Maschinensprache aus Nullen und Einsen übersetzt. „CompCert ist der erste industrietaugliche Compiler für die Programmiersprache ‚C‘, für den ein mathematischer Korrektheitsbeweis existiert. Für den also bewiesen ist, dass die Übersetzung von Programmen aus der Programmiersprache ‚C‘ in die Maschinensprache absolut fehlerfrei ist und immer genau dem entspricht, was der Programmierer geschrieben hat“, erläutert der emeritierte Informatik-Professor der Universität des Saarlandes und AbsInt-Mitgründer Reinhard Wilhelm.

Diese vorher nie dagewesenen Sicherheitsgarantieren sorgten dafür, das „CompCert“ großen Anklang in der Industrie gefunden hat und heute in hochsicherheitskritischen Systemen eingesetzt wird, beispielsweise in der Luftfahrtindustrie, oder in Kernkraftwerken.

CompCert wird als Forschungsprojekt bei INRIA, dem französischen Nationalen Forschungsinstitut für Informatik und Automatisierung, weitergeführt. Andere Forscher nutzen CompCert als Ausgangsbasis, und in Unternehmen wird es zur Entwicklung sicherheitskritischer Anwendungen eingesetzt. AbsInt bietet kommerzielle Lizenzen an, leistet technischen Support und Wartung und trägt aktiv zur Weiterentwicklung des Tools bei.

Der ACM Software System Award ist eine jährliche Auszeichnung, die an Personen oder Organisationen verliehen wird, die sich auf dem Gebiet der Software-System-Entwicklung besonders verdient gemacht haben. Die Preisträger des 2021er ACM Software Systems Award im Einzelnen:

• Xavier Leroy, Collège de France;
• Sandrine Blazy, Universität von Rennes 1, IRISA;
• Zaynah Dargaye, Nomadic Labs;
• Jacques-Henri Jourdan, CNRS, Laboratoire Méthodes Formelles;
• Michael Schmidt, AbsInt Angewandte Informatik GmbH;
• Bernhard Schommer, Universität des Saarlandes / AbsInt GmbH;
• Jean-Baptiste Tristan, Boston College.

/pzs

Mehr Informationen:
https://awards.acm.org/software-system
https://www.absint.com/compcert/

Pressekontakt:
Philipp Zapf-Schramm
Saarland Informatics Campus
Telefon: +49 681 302-70741
E-Mail: pzapf@mmci.uni-saarland.de

Hintergrund Saarland Informatics Campus:
900 Wissenschaftlerinnen und Wissenschaftler (darunter 400 Promovierende) und rund 2100 Studierende aus mehr als 80 Nationen machen den Saarland Informatics Campus (SIC) zu einem der führenden Standorte für Informatik in Deutschland und Europa. Fünf weltweit angesehene Forschungsinstitute, nämlich das Deutsche Forschungszentrum für Künstliche Intelligenz (DFKI), das Max-Planck-Institut für Informatik, das Max-Planck-Institut für Softwaresysteme, das Zentrum für Bioinformatik und das Forschungs-Cluster für „Multimodal Computing and Interaction“ sowie die Universität des Saarlandes mit drei vernetzten Fachbereichen und 24 Studiengänge decken das gesamte Themenspektrum der Informatik ab.