Seminar aus Programmiersprachen 2024S

Betreuer

Jens Knoop, Anton Ertl

Termine

Alle Präsenztermine Mi 14h c.t.-18h im der Bibliothek 194-05, Argentinierstrasse 8, 4. Stock Mitte statt. Es besteht Anwesenheitspflicht.
  Mi, 13.3. 14h ct-15h Vorbesprechung

  Do, 14.3. 24h themen.txt nach Präferenz sortieren
  Fr, 15.3. Sie bekommen Email mit dem Programm (und damit Ihrem Thema)
    
  Mi, 17.4. 14h ct-18h 1. Vortrag
  Mi, 24.4. 14h ct-18h 1. Vortrag

  Di,  7.5., 24h Abgabe draft.pdf (Entwurfsversion der schriftlichen Arbeit)
  Mi,  8.5., 20h Sie finden paper1.pdf paper2.pdf zum Begutachten
  Mi, 15.5. 14h ct-18h 2. Vortrag
  Di, 21.5., 24h Gutachten review1.txt review2.txt sind ausgefüllt
  Mi, 22.5. 14h ct-18h 2. Vortrag
  Mi, 22.5., 20h Sie finden draftreview1.txt draftreview2.txt

  So, 30.6., 24h Abgabe final.pdf (schriftliche Arbeit)

Es herrscht Anwesenheitspflicht.

Grober Ablauf

JedeR TeilnehmerIn erarbeitet sich einen Teilbereich des Themas selbständig anhand vorgegebener sowie selbst gefundener Literatur und gibt die gewonnenen Erkenntnisse durch zwei Vorträge (jeweils 15min plus 5min Diskussion) an die KollegInnen weiter. In anschließenden Diskussionen werden die Ergebnisse verdeutlicht. Weiters schreibt jedeR Teilnehmer ein Paper über die gewonnenen Erkenntnisse.

Detailierter Ablauf

Wir legen für Sie ein git-Projekt an, über das die Themenvergabe, die Abgabe der schriftlichen Arbeit, und die Gutachten abgewickelt werden. Bitte vergessen Sie nicht, Änderungen im Projekt zu committen und zu pushen; am besten überprüfen Sie das über das Web-Interface unseres gitlab-Servers.

Sie müssen dann die Liste mit der Papers in Ihrem git-Projekt themenliste.txt nach Präferenz sortieren (das, das sie am liebsten vortragen würden, zuerst; im Normalfall bekommen Sie eines der ersten fünf Papers in Ihrer Liste, mehr brauchen sie also nicht vorreihen).

Sie erhalten dann per Email das Vortragsprogramm für den ersten Vortrag, und finden dort auch Ihr Vortragsthema und Ihren Vortragstermin.

Jeder TeilnehmerIn erarbeitet sich einen Teilbereich des Themas selbständig anhand vorgegebener sowie selbst gefundener Literatur und gibt die gewonnenen Erkenntnisse durch zwei Vorträge (jeweils 15min plus 5min Diskussion) an die KollegInnen weiter. In anschließenden Diskussionen werden die Ergebnisse verdeutlicht.

Der erste Vortrag ist über einen vorgegebenen wissenschaftlichen Artikel; fassen Sie die wesentlichen Inhalte des Artikels zusammen (es ist nicht möglich, den gesamten Inhalt in 15min unterzubringen).

Sie suchen sich ein weiteres Paper, das ein mit dem vorgegebenen Paper verwandtes Thema bearbeitet, und halten dann einen weiteren Vortrag, in dem Sie den Inhalt des zweiten Papers zusammenfassen und die beiden Papers vergleichen. Wieviel Fokus Sie dabei auf die Zusammenfassung legen und wieviel auf den Vergleich, ist Ihre Entscheidung. Wieder gibt es Session Chairs, Diskussion, und Metadiskussion. Sie können das zweite Paper schon früh lesen, sollten aber mit der Vorbereitung des zweiten Vortrags bis nach dem ersten Vortrag warten, damit Sie Erfahrungen und Feedback des ersten Vortrags einfliessen lassen können.

Zu jedem Vortrag gibt es eineN Session Chair, der/die nach dem Vortrag die Diskussion leitet und bei Bedarf mit einer Frage die Diskussion (wieder) in Gang bringt. JedeR TeilnehmerIn kommt als Session Chair dran, das benötigt allerdings keine besondere Vorbereitung. Nach der Diskussion gibt es auch noch eine Meta-Diskussion: Was an der Präsentation gut war und was verbessert werden kann.

Die schriftliche Arbeit (Umfang: 6-8 Seiten) soll in der Hauptsache die Inhalte der beiden Vorträge präsentieren (oder umgekehrt, die beiden Vorträge den Inhalt der schriftlichen Arbeit), wobei die andere Form natürlich auch zu einer anderen Präsentation des gleichen Inhalts führt. Weiters soll Ihre schriftliche Arbeit einen Abschnitt über verwandte Arbeiten enthalten, der mindestens fünf thematisch verwandte Arbeiten kurz bespricht, wobei die beiden von Ihnen vorgetragenen Papers schon zwei sind. Von den fünf Arbeiten soll jeweils mindestens eine auf einer Konferenz, eine in einem Journal und eine in einem Buch erschienen sein. Diese Arbeiten sollen in einem Literaturverzeichnis mit den wichtigen Informationen aufgeführt sein.

Eine Entwurfsversion der schriftlichen Arbeit ist nach den ersten Vorträgen abzugeben, indem Sie die Arbeit in Ihrem git-Projekt unter draft.pdf ablegen. Diese wird dann von zwei KollegInnen begutachtet, und umgekehrt begutachten Sie die Entwurfsversion zweier KollegInnen. Sie finden die Papers Ihrer KollegInnen in paper1.pdf und paper2.pdf. Sie finden in Ihrem git-Projekt zwei leere Gutachten in plain text review1.txt und review2.txt, die Sie ausfüllen sollen. Die Gutachten (nicht die Entwurfsversionen der Papers) werden bewertet.

Bei den Gutachten ist konstruktive Kritik besonders wichtig. Die Gutachten kommen dann zurück an die Autoren der begutachteten Arbeiten (als draftreview1.txt und draftreview2.txt), und helfen ihnen, eine bessere Endversion zu produzieren.

Am Ende des Semesters legen Sie die überarbeitete Endversion Ihrer Arbeit unter final.pdf ab.

Die Beurteilung beruht auf Ihren Vorträgen, Ihrer Session-Chair-Tätigkeit, Ihrer Beteiligung an der Diskussion, Ihren Gutachten, und Ihrer schriftlichen Arbeit.

Thema

Thematisch stützt sich das Seminar auf die Tagungsbeiträge der PLDI 2023 (Proceedings in der ACM Digital Library).

Download der Artikel

Alle Artikel der PLDI 2023 sind Open Access, und sie koennen von ueberall darauf in der ACM Digital Library zugreifen.

Hinweise


Anton Ertl