Seminar aus Programmiersprachen

LVA-Nummer 185.307 bzw. 185.A22.

Die Vorbesprechung wird am 11.10.2018 14:00 c.t. in der Complang Bibliothek (Argentinierstraße 8, 4. Stock Mitte) stattfinden.

Themen

Im Wintersemester 2018 werden verschiedene Themen rund um die Konferenz Programming und Configuration Management behandelt.

• Scoped Extension Methods in Dynamically-Typed Languages
  Guillermo Polito, Camille Teruel, Stéphane Ducasse, and Luc Fabresse
• On the Effect of Semantically Enriched Context Models on Software Modularization
  Amir Saeidi, Jurriaan Hage, Ravi Khadka, and Slinger Jansen
• Search-based Tier Assignment for Optimising Offline Availability in Multi-tier Web Applications
  Laure Philips, Joeri De Koster, Wolfgang De Meuter, and Coen De Roover
• Introspection for C and its Applications to Library Robustness
  Manuel Rigger, Rene Mayrhofer, Roland Schatz, Matthias Grimmer, and Hanspeter Mössenböck
• Harmonizing Signals and Events with a Lightweight Extension to Java
  Tetsuo Kamina and Tomoyuki Aotani
• Proactive Empirical Assessment of New Language Feature Adoption via Automated Refactoring: The Case of Java 8 Default Methods
  Raffi Khatchadourian and Hidehiko Masuhara
• Description Languages for Consistency Management Scenarios Based on Examples from the Industry Automation Domain
  Anthony Anjorin, Enes Yigitbas, Erhan Leblebici, Andy Schürr, Marius Lauder, and Martin Witte
• Live Multi-language Development and Runtime Environments
  Fabio Niephaus, Tim Felgentreff, Tobias Pape, Robert Hirschfeld, and Marcel Taeumel
• PIE: A Domain-Specific Language for Interactive Software Development Pipelines
  Gabriël Konat, Michael J. Steindorfer, Sebastian Erdweg, and Eelco Visser
• Lisp, Jazz, Aikido – Three Expressions of a Single Essence
  Didier Verna
• Language-integrated provenance in Haskell
  Jan Stolarek and James Cheney
• What we talk about when we talk about monads
  Tomas Petricek
• Towards Zero-Overhead Disambiguation of Deep Priority Conflicts
  Luís Eduardo de Souza Amorim, Michael J. Steindorfer, and Eelco Visser
• Fast, Flexible, Polyglot Instrumentation Support for Debuggers and other Tools
  Michael Van De Vanter, Chris Seaton, Michael Haupt, Christian Humer, and Thomas Würthinger
• Deadlock-Free Typestate-Oriented Programming
  Luca Padovani
• Oder eigene Vorschläge im Bereich von Configuration Management

Ablauf:

Die Vorbesprechung, Einführung in das Thema, Terminfixierung für restliche Termine (inkl. Deadlines), und Themenvergabe werden in der Vorbesprechung durchgeführt. Die Vorbesprechungsfolien finden Sie hier. Anmeldungen bitte via TISS. Bei Fragen bitte eine EMail an mich. Nach der Deadline für das Paper (max. 6 Seiten), werden Sie aufgefordert für zwei Kollegen ein Review zu schreiben. Das korrigierte Review wird an den Author zurückgesendet. Voraussichtlich im November/Dezember wird es dann Workshops geben, wo Sie Ihr korrigiertes Paper in einer Präsentation vorstellen. Zudem sind Sie Session-Chair für einen Vortrag.

• Ausarbeitung: Do, 08.11.2018, 06:00
• Gutachten: Do, 15.11.2018, 06:00
• Finales Paper: Do, 22.11.2018, 06:00
• Workshop 1: Do, 22.11.2018, 09:00 s.t. - 12:00
• Workshop 2: Do, 29.11.2018, 09:00 s.t. - 12:00
• Workshop 3: Do, 06.12.2018, 09:00 s.t. - 12:00

Die Vorbesprechung und Workshops finden in der Bibliothek vom Institut für Programmiersprachen im 4ten Stock statt.

Begleitende LVAs:

Neben dem Seminar werden auch Praktika und Abschlussarbeiten angeboten. Wenn Sie daran interessiert sind, können Sie auch vertiefende Arbeiten zu Configuration Management durchführen. Bei Interesse bitte Mail an mich.

ECTS Breakdown:

3 ECTS=75h, Anwesenheit: 10h, Literaturrecherche: 14h, Paper schreiben: 30h, Review: 6h, Review einarbeiten: 10h, Präsentationen vorbereiten: 5h

Leistungsnachweis:

Das Paper, das Review, Session-Chair und die Präsentation müssen jeweils positiv absolviert werden, damit die Lehrveranstaltung positiv absolviert wird. Bei positiver Beurteilung erfolgt die Benotung aufgrund der gewichteten Ergebnisse der Einzelteile. Die Gewichtung der Teile sind: Paper 60%, Review 15% und Präsentation 25%. Daraus ergibt sich dann ab 63% befriedigend, ab 75% gut und ab 88% sehr gut.

Ehemalige Themen (Auswahl)

Wintersemester 2018:

• Misconfiguration Injection in Systems for Reaction Evaluation
• Automatisches Erkennen von fehlerhaften Konfigurationseinstellungen
• Rehearsal: A Configuration Verification Tool for Puppet
• Early Detection of Configuration Errors by Learning Configuration Rules

Sommersemester 2016:

• Definitions to the Configuration Problem
• Code Generation from Configuration Specification Languages
• Configuration File Manipulation with Configuration Management Tools
• An approach to configure a program by using context-aware features

Wintersemester 2014:

• Comparison of Configuration File Parsers and Systems
• Efficient data structures for key/value pairs
• Using constraint solver to find valid software configuration
• Using types for representation of ad-hoc data