Anfahrt & Lageplan

Mit dem Auto

Der Campus der TU Dortmund liegt in der Nähe des Autobahnkreuzes Dortmund West, wo die Sauerlandlinie A45 den Ruhrschnellweg B1/A40 kreuzt. Die Abfahrt Dortmund-Eichlinghofen auf der A45 führt zum Campus Süd, die Abfahrt Dortmund-Dorstfeld auf der A40 zum Campus-Nord. An beiden Ausfahrten ist die Universität ausgeschildert.
Für E-Autos gibt es eine Ladesäule am Campus Nord, Vogelpothsweg.

Mit Bus und Bahn

Direkt auf dem Campus Nord befindet sich die S-Bahn-Station „Dortmund Universität“. Von dort fährt die S-Bahn-Linie S1 im 20- oder 30-Minuten-Takt zum Hauptbahnhof Dortmund und in der Gegenrichtung zum Hauptbahnhof Düsseldorf über Bochum, Essen und Duisburg. Außerdem ist die Universität mit den Buslinien 445, 447 und 462 zu erreichen. Eine Fahrplanauskunft findet sich auf der Homepage des Verkehrsverbundes Rhein-Ruhr, außerdem bieten die DSW21 einen interaktiven Liniennetzplan an.

Mit dem Flugzeug

Vom Flughafen Dortmund aus gelangt man mit dem AirportExpress innerhalb von gut 20 Minuten zum Dortmunder Hauptbahnhof und von dort mit der S-Bahn zur Universität. Ein größeres Angebot an internationalen Flugverbindungen bietet der etwa 60 Kilometer entfernte Flughafen Düsseldorf, der direkt mit der S-Bahn vom Bahnhof der Universität zu erreichen ist.

Die H-Bahn

Zu den Wahrzeichen der TU Dortmund gehört die H-Bahn. Linie 1 verkehrt im 10-Minuten-Takt zwischen Dortmund Eichlinghofen und dem Technologiezentrum über Campus Süd und Dortmund Universität S, Linie 2 pendelt im 5-Minuten-Takt zwischen Campus Nord und Campus Süd. Diese Strecke legt sie in zwei Minuten zurück.

Lageplan

Die Einrichtungen der TU Dortmund verteilen sich auf den größeren Campus Nord und den kleineren Campus Süd. Zudem befinden sich einige Bereiche der Hochschule im angrenzenden Technologiepark. Genauere Informationen können Sie den Lageplänen entnehmen.

ServicePortal UniMail

Kontrast English

Anfahrt & Lageplan

Mit dem Auto

Der Campus der TU Dortmund liegt in der Nähe des Autobahnkreuzes Dortmund West, wo die Sauerlandlinie A45 den Ruhrschnellweg B1/A40 kreuzt. Die Abfahrt Dortmund-Eichlinghofen auf der A45 führt zum Campus Süd, die Abfahrt Dortmund-Dorstfeld auf der A40 zum Campus-Nord. An beiden Ausfahrten ist die Universität ausgeschildert.
Für E-Autos gibt es eine Ladesäule am Campus Nord, Vogelpothsweg.

Mit Bus und Bahn

Direkt auf dem Campus Nord befindet sich die S-Bahn-Station „Dortmund Universität“. Von dort fährt die S-Bahn-Linie S1 im 20- oder 30-Minuten-Takt zum Hauptbahnhof Dortmund und in der Gegenrichtung zum Hauptbahnhof Düsseldorf über Bochum, Essen und Duisburg. Außerdem ist die Universität mit den Buslinien 445, 447 und 462 zu erreichen. Eine Fahrplanauskunft findet sich auf der Homepage des Verkehrsverbundes Rhein-Ruhr, außerdem bieten die DSW21 einen interaktiven Liniennetzplan an.

Mit dem Flugzeug

Vom Flughafen Dortmund aus gelangt man mit dem AirportExpress innerhalb von gut 20 Minuten zum Dortmunder Hauptbahnhof und von dort mit der S-Bahn zur Universität. Ein größeres Angebot an internationalen Flugverbindungen bietet der etwa 60 Kilometer entfernte Flughafen Düsseldorf, der direkt mit der S-Bahn vom Bahnhof der Universität zu erreichen ist.

Die H-Bahn

Zu den Wahrzeichen der TU Dortmund gehört die H-Bahn. Linie 1 verkehrt im 10-Minuten-Takt zwischen Dortmund Eichlinghofen und dem Technologiezentrum über Campus Süd und Dortmund Universität S, Linie 2 pendelt im 5-Minuten-Takt zwischen Campus Nord und Campus Süd. Diese Strecke legt sie in zwei Minuten zurück.

Lageplan

Die Einrichtungen der TU Dortmund verteilen sich auf den größeren Campus Nord und den kleineren Campus Süd. Zudem befinden sich einige Bereiche der Hochschule im angrenzenden Technologiepark. Genauere Informationen können Sie den Lageplänen entnehmen.

ServicePortal UniMail

ECOOP Distinguished Paper Award

Auszeichnung für unsere Arbeit zu kompositioneller Analyse

22.06.2021

[Translate to English:]

Unsere Arbeit "Lossless, Persisted Summarization of Static Callgraph, Points-To and Data-Flow Analysis" erhält den ECOOP'21 Distinguished Paper Award. Mit dem Ansatz den wir in dieser Arbeit präsentieren können wir statische Programmanalysen in PhASAR modularisieren und so im Mittel 72% der Analysezeit in einem whole-program analysis Szenario einsparen.

In der statischen Programmanalyse beschreibt die Whole-Program Analysis (WPA) den Vorgang der Analyse eines kompletten Programms inklusive aller Abhängigkeiten und Systembibliotheken. Ziel ist es dabei, Eigenschaften des Programms (z. B. Sicherheitsgarantien oder Gegenbeispiele) mit hoher Genauigkeit abzuleiten, die (fast) alles einschließen, was in der späteren Ausführung des Programms enthalten ist. Dieser Prozess kann jedoch sehr kostspielig sein, da die Menge des zu analysierenden Bibliotheks- und Systemcodes in der Regel die Menge des Anwendungscodes übersteigt.

Interessanterweise ändert sich dieser recht große Teil des Anwendungsstacks zwischen den Analyseläufen nur selten. In unserem ECOOP-Paper nutzen wir diese Tatsache und stellen eine verlustfreie modulare Zusammenfassungstechnik zur Verfügung, die sich in Analysen mit PhASAR einfügt.

Für dieses Paper wurden wir gerade mit dem Distinguished Paper Award auf der ECOOP'21 ausgezeichnet. Nur zwei Arbeiten der Konferenz wurden dieses Jahr mit diesem Preis ausgezeichnet. Wir sind sehr glücklich und dankbar, ausgewählt worden zu sein.

Paper Preprint: Lossless, Persisted Summarization of Static Callgraph, Points-To and Data-Flow Analysis