(openPR) San Francisco/München – 25. Mai 2009 – Die Assocation for Computing Machinery (ACM) hat Dr. Dawson Engler, Mitbegründer von Coverity, für seine wegweisende Forschung im Bereich automatisierte Programmprüfung nach Fehlern in komplexer Computersoftware mit dem Grace Murry Hopper Award ausgezeichnet.
ACMs Wahl fiel auf Dr. Dawson Engler, weil er leistungsstarke Techniken und Tools zur angewandten Programmanalyse entwickelte und vorstellte, die Codefehler automatisch aufspüren. Diese Methoden finden inzwischen breiten Einsatz bei der Überprüfung von großen und komplexen Software-Systemen, wo sie versteckte Fehler sichtbar machen. Der fundierte und praxisnahe Ansatz zum automatisierten Programmcheck ist Auslöser für weitere Bemühungen und Tools, um Probleme in umfangreichen Software-Systemen zu finden.
Der Grace Murry Hopper Award wird jährlich aufgrund eines einzelnen kürzlich erfolgten wichtigen Technik- oder Service-Beitrags an einen herausragenden jungen Computer Experten verliehen. Dazu erhält der Gewinner einen von Google gestifteten Geldpreis von 35.000 US-Dollar. Voraussetzung ist, dass der Kandidat zum Zeitpunkt seines Qualifikationsantrags nicht älter als 35 Jahre ist.
Dr. Engler unterstützte die Entwicklung der Technologie hinter dem Software-Analysesystem von Coverity an der Standfort Universität, gemeinsam mit dem Mitbegründer Ben Chelf, Andy Chou und Seth Hallem, die die präzisen Quellcode-Analysefähigkeiten von Coverity weiter entwickeln. Dass sichere Software immer wichtiger für Unternehmen wird, bestätigt der Rekordumsatz von Coverity im ersten Quartal 2009 – verglichen mit demselben Zeitraum in 2008 steigerte sich dieser um 47 Prozent. Heute setzen über 600 Kunden auf Coverity, um die Sicherheit ihrer Anwendungen zu gewährleisten.
„Im Namen der Research Gruppen von Stanford und von Coverity betrachte ich den angesehenen ACM Grace Murry Hopper Award nehme ich den Award an und betrachte ihn als als große Ehre“, so Dr. Dawson Engler, Dozent der Informatik und Elektrotechnik an der Stanford Universität und Mitbegründer von Coverity. „Die wirkungsvolle Fehlererkennung ist in der letzten Dekade förmlich explodiert, und ich hoffe, wir können in den nächsten zehn Jahren ein ähnliches Ausmaß an Verbesserungen realisieren. Denn die sich im Alltag verbreitenden Computer führen schon zu lange zur selbenDiskussion: ‚Software ist überall, aber jede Software ist anfällig für Abstürze anfällig, deshalb ist alles gefährdet.’ Ich bin überzeugt, wir sind auf dem richtigen Weg, um diese Debatte mit wirkungsvollen Maßnahmen zu beenden. Damit können Entwickler sich auf die Programmierung von Software konzentrieren, anstelle wertvolle Zeit in die Fehlerbekämpfung zu stecken.“
„Der Grace Murray Hopper Award ist sehr eindrucksvoll – besonders im Hinblick darauf, dass kluge Köpfe wie Steve Wozniak, Don Knutz und Richard Stallman zu den früheren Gewinnern zählen“, führt Seth Hallem, Mitbegründer und CEO von Coverity, aus. „Dawson lieferte Coverity wichtige Unterstützung bei der technologischen Untermauerung unserer unsere Software-Sicherheitsstrategie. Im Namen aller Mitarbeiter, Kunden und Partner gratulieren wir ihm zu dieser Auszeichnung.“
