Bob Conference Archive – 2018

This archive holds all talks of Bob 2018.

---

English

• Keynote: A Language for Making Movies
  Leif Andersen, Talk at Bob 2018, english
• Testing monadic programs using QuickCheck and state machine based models
  Stevan Andjelkovic, Talk at Bob 2018, english
• Opening Performance
  Alexandra Cárdenas, Talk at Bob 2018, english
• Implications of Functional Programming on Human Rights Work
  Christo, Talk at Bob 2018, english
• Solving NP-Hard Problems: An Example of Universal Portfolios
  Jenny Hung, Talk at Bob 2018, english
• Formally Specifying Blockchain Protocols using the Psi Calculus
  Philipp Kant, Talk at Bob 2018, english
• May contain DTraces of FreeBSD feat. Spectre
  Raichoo Ketchum, Talk at Bob 2018, english
• GRiSP, Bare Metal Functional Programming
  Adam Lindberg, Talk at Bob 2018, english
• Engineering TCP/IP with logic
  Hannes Mehnert, Talk at Bob 2018, english
• Understanding the realtime ecosystem
  Srushtika Neelakantam, Talk at Bob 2018, english
• When one beyond-mainstream technology is not enough: Combining program verification with component-based architectures
  Alexander Senier, Talk at Bob 2018, english
• Reactive Streaming with Akka Streams
  Franz Thoma, Talk at Bob 2018, english
• New Hasql - a native Haskell Postgres driver faster than C
  Nikita Volkov, Talk at Bob 2018, english
• Finite-state machines? Your compiler wants in!
  Oskar Wickström, Talk at Bob 2018, english
• GRiSP, Bare Metal Functional Programming
  Nadezda Zryanina, Talk at Bob 2018, english

---

German

• Vertikale Organisation - da muss sich was um 90° drehen im Kopf!
  Johannes Mainusch, Ole Langbehn, Talk at Bob 2018, german
• FIX-Engine in zwei Wochen
  Maxim Minin, Talk at Bob 2018, german
• Funktionale Datenstrukturen
  Michael Wiedeking, Talk at Bob 2018, german

---

Time travel to the conference website of 2018