eBPF Grant Award für Zhendong Su und Hao Sun
Die eBPF-Foundation hat Grant Awards für fünf akademische eBPF-Forschungsprojekte bekannt gegeben. Darunter ist das Projekt mit dem Titel „Lazy abstraction refinement with proof for an enhanced verifier“ von Professor Zhendong Su und Doktorand Hao Sun – beide vom Departement Informatik der ETH Zürich. Herzlichen Glückwunsch!
Zhendong Su, Professor am Departement Informatik und Leiter des Advanced Software Technologies Lab, und der Doktorand Hao Sun erhalten einen Förderpreis der eBPF-Foundation für ihr akademisches Forschungsprojekt.
Zum Projekt
Das Projekt mit dem Titel „Lazy abstraction refinement with proof for an enhanced verifier“ stellt einen neuartigen Ansatz vor, um die Präzision des eBPF-Verifizierers zu steigern. Durch die selektive und träge Verfeinerung von Abstraktionen mit Verifikationstechniken höherer Präzision und die Kodierung von Verfeinerungen in maschinell überprüfbaren Beweisen verbessert der Ansatz die Präzision erheblich, während die Komplexität überschaubar bleibt. Beweise, die im Benutzerraum erzeugt und im Kernelraum validiert werden, sorgen für minimalen Overhead. Die Implementierung und die gründliche Evaluierung werden die Effektivität des Ansatzes demonstrieren, mit dem Ziel, ihn in den Upstream zu integrieren und die Akzeptanz von eBPF zu erweitern.
Fünfundzwanzig Vorschläge für technische Projekte wurden von 20 Universitäten zur Entwicklung neuer Funktionen und Verbesserungen für eBPF eingereicht. Die eBPF-Foundation hat insgesamt fünf Vorschläge mit Zuschüssen bedacht. Die Grants dienen dazu, die Funktionalität und Zuverlässigkeit von eBPF zu verbessern. Da die Mittel an Bildungseinrichtungen vergeben werden, bietet dieses Stipendienprogramm Student:innen und Forschenden wertvolle Erfahrungen und unterstützt gleichzeitig ihre Einrichtungen. Darüber hinaus fördern diese Stipendien die Zusammenarbeit zwischen Industrie und Hochschulen und tragen so zur Weiterentwicklung von eBPF bei.
Hao Sun wird das Projekt auf der kommenden externe Seite Linux Plumbers Conference 2024, der wichtigsten Veranstaltung für Kernel-Entwickler:innen, vorstellen.
Zhendong Su ist ordentlicher Professor am Departement Informatik der ETH Zürich, wo er das Advanced Software Technologies Lab leitet. Vor seiner Zeit an der ETH Zürich arbeitete er als ordentlicher Professor und Chancellor's Fellow an der UC Davis. Zhendong Su beschäftigt sich leidenschaftlich mit grundlegenden und praktischen Innovationen für die Erstellung von Software. Seine Forschung umfasst Programmiersprachen und Compiler, Software Engineering, Computersicherheit, Deep Learning und Bildungstechnologien. Er war in den Lenkungsausschüssen von ISSTA und ESEC/FSE sowie als Associate Editor für ACM TOSEM tätig. Zhendong Su war außerdem Ko-Vorsitzender der SAS 2009 und Programmvorsitzender der ISSTA 2012 und der SIGSOFT FSE 2016. Er ist Mitglied der Academia Europaea und ein Fellow der ACM und des IEEE.
Hao Sun ist derzeit Doktorand im Advanced Software Technologies Lab der ETH Zürich, unter der Leitung von Professor Zhendong Su. Zuvor erwarb er seinen Master-Abschluss an der Tsinghua-Universität in Peking, China. Sun möchte Lösungen vorschlagen, die auf konzeptioneller Ebene neuartig und in der Praxis umsetzbar sind. Das grundlegende Ziel seiner Forschung ist die Verbesserung der Korrektheit von Betriebssystem-Kerneln (mit Schwerpunkt auf Linux), einer der kompliziertesten Software, durch die Erkennung von Logikfehlern mit prinzipiellen Ideen und die Verbesserung der Kernel-Infrastruktur mit effektiven Mechanismen. In letzter Zeit hat er sich besonders für den eBPF-Verifizierer interessiert, eine kritische Komponente für die Sicherheit des Linux-Kernels.
Über die eBPF-Foundation
Die eBPF-Foundation wurde gegründet, um eine Gemeinschaft von eBPF-bezogenen Projekten aus der gesamten Open-Source-Welt in einem neutralen Raum zu vereinen. Sie wird von rund einem Dutzend Mitgliedern unterstützt, die an einer gemeinsamen technischen Vision, einer gemeinsamen Terminologie, bewährten Sicherheitspraktiken und einer allgemeinen Roadmap arbeiten, die dann in verschiedenen Workstreams, Betriebssystemkernen und Unternehmensumgebungen angewendet werden.