Rückblick und Vorschau auf unsere Konferenz BOB 2019

Unsere Konferenz BOB ist im Jahr 2019 mächtig aktiv. Neben der „üblichen“ Auflage im Februar/März findet dieses Jahr auch eine einmalige Sommerausgabe, ebenfalls in Berlin, statt. Zur Sommerausgabe gab‘s in diesem Blog schon mal was zu lesen, aber auch die Ausgabe im März verdient Aufmerksamkeit in Form eines Rückblicks, fand im März 2019 doch die 5. Ausgabe der Konferenz und somit auch ein kleines Jubiläum statt.

Mit 150 Teilnehmerinnen und Teilnehmern war die Konferenz mal wieder ausverkauft. Falls Sie es nicht nach Berlin geschafft haben oder die interessanten Vorträge einfach nochmal Revue passieren lassen möchten, finden Sie in diesem Blogartikel eine kurze Zusammenfassung der Beiträge. Sie können Folien und Videoaufzeichnungen hierzu auch auf YouTube anschauen oder über das Programm der Konferenz aufrufen.

Diversity & Sponsoring

Neben technischen Vorträgen und Tutorials rund um die neuen Techniken und Technologien im Bereich der Softwareentwicklung ist ein besonderes Anliegen der Konferenz das Thema „Diversity“, also die Einbindung Menschen aller Geschlechter, Hautfarben und Einkommensgruppen. Wir konnten 2019 die Vielfalt der Teilnehmerinnen und Teilnehmer durch verschiedene Maßnahmen wie Freitickets, Reiskostenzuschüsse und Kinderbetreuung nochmal erhöhen.

Ein herzlicher Dank soll an dieser Stelle auch an unsere Sponsoren gehen, durch deren Unterstützung solche Fördermaßnahmen erst möglich werden.

• blockstack (Goldsponsor)
• here (Goldsponsor)
• Silbersponsoren:
  • INNOQ
  • Wunderdog
• Bronzesponsoren:
  • Exoscale
  • frobese
  • inoio
  • kommitment
  • TNG

Keynote

In dem Keynote-Vortrag von Gabriele Keller ging es um High-Performance Haskell. Gabriele Keller berichtete mit ihrer langjährigen Erfahrung in den Bereichen Haskell und High-Performance Computing, wie aus einer Hochsprache wie Haskell sehr performanter Code erzeugt werden kann.

Vorträge

• Checking Musical Correctness Chris Ford erklärt, wie Typsystem, musikalische Regeln und die bewusste Verletzung solcher Regeln zusammen passen.
• Applicative DSLs Franz Thoma zeigt ein Designprinzip für domänenspezifische Sprachen.
• Modern SQL Markus Winand stellt SQL-Features vor, die weit über das immer noch verbreitete SQL-92 gehen.
• Inspection Testing Joachim Breitner berichtet über eine Technik, mit der man durch Tests sicherstellen kann, dass bestimmte Compileroptimierungen auch in Zukunft noch wirksam sind.
• Programmation en Logique Lars Hupel zeigt, warum Prolog wieder/noch modern ist.
• Analyzing Programs with SMT Solvers Tikhon Jelvis berichtet über Programmanalyse mittels SMT Solver.
• The Way of APL Aaron W. Hsu gibt eine Einführung in die Programmiersprache APL.
• Designing Applications with Pluggable Layers Using Polymorphism Philipp Kant zeigt ein Architekturprinzip für sicherheitskritische Software.
• Logic in the Service of System Configurations Shriram Krishnamurthi stellt ein System vor, mit dem deklarativ das Verhalten einer Systemkonfiguration wie z.B. einer Firewall spezifiziert werden kann.
• Wire Once, Rewire Twice Eric Torreborre demonstriert ein Komponentenmodell, mit dem man Anwendungen einfach umkonfigurieren kann.
• EventSourcing All Over the Place Nicole Rauch zeigt, wie man das EventSourcing-Prinzip über eine ganze Anwendung hinweg durchziehen kann.
• Across Time and Space: Building Explorative UIs Using a Many-Worlds Interpretation of State Nikolas Göbel und Malte Sandstede erweitern den funktionalen Ansatz zum Zustandsmanagement in modernen Webanwendungen.
• Emotional Programming Johannes Mainusch und Michael Sperber zeigen, dass neben technischer Expertise auch zwischenmenschliche Aspekte wichtig sind.
• State machine modelling and property based testing combined with fault injection Stevan Andjelkovic erklärt, wie Property-Testing auch für Programme mit Seiteneffekten funktionieren kann.

Tutorials

• Introduction to Web Development in Racket von Jesse Alama
• Learn FP with Code Katas von İlke Zilci
• Clojure, Getting Your Feet Wet von Nicolas Frankel
• MirageOS: building minimized special-purpose unikernels von Hannes Mehnert
• Superficial SQL Indexing von Markus Winand
• Type-Level Programming in Haskell von Vitaly Bragilevsky
• Einstieg in die Probabilistische Programmierung von Christoph Schmalhofer
• Writing Hardware in Haskell von Matthias Heinzel

Ausblick

Am 21. August 2019 findet eine einmalige Sommerausgabe der BOB statt. Das Programm der Sommerausgabe ist etwas anders aufgebaut als sonst: Ein Track ist besetzt mit hochkarätigen Forscherinnen und Forschern aus der der Szene der funktionalen Programmierung, der andere mit spannenden Berichten über besonders effektive Techniken und Technologien in der Entwicklung, wie immer mit einem Fokus auf funktionaler Programmierung.

Die Registrierung für die Sommerausgabe läuft, bis zum 18.7.2019 gibt es noch Frühbucher-Rabatt!

Und eine weitere Ausgabe der Konferenz ist für Februar oder März 2020 geplant. Am besten verfolgen Sie unseren Twitter-Kanal oder diesen Blog, um über Updates informiert zu werden.