Blick auf die Regnitz beim Bamberger Stadtteil "Klein-Venedig"
(CC-BY-SA 3.0 by Reinhard Kirchner)
Das Herbsttreffen 2023 der Fachgruppe Betriebssysteme findet am
Donnerstag, 28. und Freitag, 29. September 2023
an der Otto-Friedrich-Universität Bamberg statt.
Gastgeber ist Prof. Michael Engel
Von Programmiersprachen zu Betriebssystemen
Forschung und Entwicklung von Programmiersprachen und Betriebssystemen sind seit über fünf Jahrzehnten eng miteinander verbunden. Dabei spielt nicht nur die Implementierung von Betriebssystemcode in einer Hochsprache, wie z.B. die erste in C geschriebene Version des Unix-Kerns in den 1970er Jahren, sondern auch die Verwendung von kleinen, domänenspezifischen Sprachen eine zunehmend wichtigere Rolle.
Während über lange Zeit die Sprachen C und C++ bei der Betriebssystementwicklung dominierend waren, sind im Laufe des vergangenen Jahrzehnts neue Sprachen entstanden, die versprechen, die Probleme der von C abgeleiteten Sprachen, wie z.B. Sicherheits- und Zuverlässigkeitsprobleme durch manuelle Speicherverwaltung oder undefiniertes Verhalten, zu lindern. Hierbei existieren verschiedenste Ansätze: Forschungssysteme wie Singularity, das C# verwendet, open source Systeme wie Linux, das seit Kurzem die Entwicklung von Kernkomponenten in Rust ermöglicht, und auch Ansätze zur Verbesserung der Zuverlässigkeit von C++-Code durch neue Spracheigenschaften und formale Verifikationsmethoden.
Fragestellungen an der Schnittstelle von Programmiersprachen und Betriebssystemen sollen daher im Fokus des Herbsttreffens 2023 der Fachgruppe Betriebssysteme stehen. Themen aus dem weiteren Umfeld der Systemsoftware sind aber natürlich, wie immer, auch willkommen.
Vortragsvorschläge können in Form eines maximal einseitigen Abstracts oder optional in Form eines kurzen (bisher unpublizierten) Papiers zum Thema in deutscher oder englischer Sprache eingereicht werden. Im Falle der Annahme eines Papiers würde dieses in der digitalen Bibliothek der Gesellschaft für Informatik publiziert werden. Ein kleines Programmkomitee aus Mitgliedern des Leitungsgremiums der Fachgruppe entscheidet über die Annahme der Vortragsvorschläge.
Wir erbitten die Einreichung von Abstracts und Papieren in deutscher oder englischer Sprache bis zum 7. September 2023. Bitte formatieren Sie Einreichungen mit Hilfe des ACM LaTeX-Templates.
Michael Engel (Otto-Friedrich-Universität Bamberg)
The 2023 autumn meeting of the Operating Systems SIG takes place on
Thursday, September 28th and Friday, September 29th 2023
hosted by Prof. Michael Engel at the University of Bamberg.
From Programming Languages to Operating Systems
Research and Development of programming languages and operating systems are closely related for more than fifty years. In this relation, not only the implementation of OS code in high-level languages, such as the Unix kernel being reimplemented in C in the 1970s, but also the use of small, domain-specific languages, plays an important role.
While C and C++ dominated OS development for a long time, new languages have appeared during the previous decade which try to mitigate the problems connected with languages derived from C, such as dependability and security problems introduced by manual memory management or undefined behavior. Here, a number of different approaches exist. Research systems such as Singularity employ C#, open source systems like Linux enable the development of kernel components in Rust, and approaches exist to improve the reliability of C++ code through new language properties and formal verification.
Accordingly, topics on the intersection of programming languages and operating systems are in the focus of this year's autumn meeting of the OS SIG. As always, contributions from all areas of system software are also welcome.
Please submit either a one-page abstract (presentation only) or a 2- to 4-page unpublished paper (ACM conference style) in German or English. A program committee consisting of members of the two steering boards will review the submissions and decide on their acceptance. In case of acceptance, papers (2-4 pages) will be published in the digital library of the Gesellschaft für Informatik.
We explicitly welcome presentations in English. The talks' language will be indicated in the program to facilitate non-German members' participation in our workshops in the future. The event will also be organized in a hybrid format.
Michael Engel (University of Bamberg)
Termine:
-
7. September 2023Meldung von Beiträgen 14. September 2023Anmeldung zum Treffen 28./29. September 2023Treffen
Links: