Bob Conference Archive – 2024

This archive holds all talks of Bob 2024.

---

English

• Model-Based Testing with QuickCheck
  Arnaud Bailly, Talk at Bob 2024, english
• Functional Programming in Swift
  Manuel Chakravarty, Talk at Bob 2024, english
• Software Analytics with Data Science on Software Data
  Markus Harrer, Talk at Bob 2024, english
• The Unreasonable Effectiveness of Events
  Lutz Hühnken, Talk at Bob 2024, english
• Property-testing all* the things in SerenityOS
  Martin Janiczek, Talk at Bob 2024, english
• Zero-Knowledge-Proofs for Privacy and Trust
  Philipp Kant, Talk at Bob 2024, english
• Erlang, OCaml, same thing 🤷
  Leandro Ostera, Talk at Bob 2024, english
• Who’s Afraid of the Turnstile?
  Andreas Rossberg, Talk at Bob 2024, english
• End-to-end Type-Safety with Your Own API Spec DSL
  Sabine Schmalz, Talk at Bob 2024, english

---

German

• Kommunikationsmuster für Services: Effizient und zuverlässig
  Roger Butenuth, Talk at Bob 2024, german
• Referenziell transparente Business-Prozesse in funktional
  Simon Härer, Talk at Bob 2024, german
• Konsequente Barrierefreiheit durch Partizipation im Prozess
  Irmhild Rogalla, Jolanta Paliszewska, Talk at Bob 2024, german
• Kontrollsoftware für eine Jupitermission der ESA: Ein Erfahrungsbericht
  Oskar Schirmer, Felix Winkelmann, Talk at Bob 2024, german
• Hyper Hyper! Javascript fatigue und die Hypermedia Renaissance (?)
  Marco Schneider, Talk at Bob 2024, german
• Cypress überall - Ein einziges Automatisierungswerkzeug für alle Teststufen?!
  Dehla Sokenou, Talk at Bob 2024, german

---

Time travel to the conference website of 2024