Bob Conference Archive – English talks

This archive holds all English language talks from Bob 2015 to Bob 2025.

---

2025

• Correct by Construction Concurrent Programs in Idris 2
  Guillaume Allais, Talk at Bob 2025, english
• Against the (formal) method?
  Arnaud Bailly, Talk at Bob 2025, english
• Functional data structures in Swift
  Manuel Chakravarty, Talk at Bob 2025, english
• Four Fascinating Programming Languages You've Probably Never Heard Of
  Lutz Hühnken, Talk at Bob 2025, english
• Property-Based Testing: The Past, The Present, and The Future
  Alperen Keles, Talk at Bob 2025, english
• Developing DSLs: A Look at Three Practical Strategies with Real-World Examples
  Ziyang Liu, Talk at Bob 2025, english
• Abstraction and program design, or the power of parametricity
  Andres Löh, Talk at Bob 2025, english
• Between Monolith and Microfrontends - Advantages of a modulithic architecture and how an incremental refactoring can succeed
  Milena-Mercedes May, Talk at Bob 2025, english
• The Microservices Problem No One Warned Us About (And How You Can Avoid It)
  Ivett Ördög, Talk at Bob 2025, english
• A Language Server for your DSL for Fun and Profit
  Hannes Siebenhandl, Talk at Bob 2025, english
• Coverage-guided property-based testing
  Stevan A, Talk at Bob 2025, english
• Service-less communication: is it possible?
  Bartosz Sypytkowski, Talk at Bob 2025, english
• OOP is dead, long live Object Orientation!
  Franz Thoma, Talk at Bob 2025, english
• Beyond the Basics of LSP: Advanced IDE services for OCaml
  Xavier Van de Woestyne, Talk at Bob 2025, english

---

2024

• 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

---

2023

• Delta encodings help separate business logic from database operations
  Heinrich Apfelmus, Talk at Bob 2023, english
• Cloud, done the nix way
  Julian Kirsten Arni, Talk at Bob 2023, english
• Getting recursive definitions off their bottoms
  Joachim Breitner, Talk at Bob 2023, english
• State Transitions in Complex Systems
  Marijn Haverbeke, Talk at Bob 2023, english
• When testing just doesn't cut it
  Lars Hupel, Talk at Bob 2023, english
• Web Accessibility DeepDive
  Josefine, Talk at Bob 2023, english
• Structuring effectful programs
  Andres Löh, Talk at Bob 2023, english
• Version control in the age of distributed computing
  Pierre-Étienne Meunier, Talk at Bob 2023, english
• Wood instead of ivory — functional programming for CNC machines
  quchen, Talk at Bob 2023, english
• Keynote: Re-thinking Modules for the Web
  Yulia Startsev, Talk at Bob 2023, english
• What a computer game taught me about software architecture
  Franz Thoma, Talk at Bob 2023, english
• A world to win: WebAssembly for the rest of us
  Andy Wingo, Talk at Bob 2023, english

---

2022

• Specification-driven design
  Joachim Breitner, Talk at Bob 2022, english
• Detecting Oxbow Code in Erlang Codebases with the Highest Degree of Certainty
  Laura M Castro, Brujo, Talk at Bob 2022, english
• Python Gradual Typing: The Good, The Bad and the Ugly
  Ben Clifford, Talk at Bob 2022, english
• RustBelt: Securing the Foundations of the Rust Programming Language
  Derek Dreyer, Talk at Bob 2022, english
• io-sim: testing, simulating, and prototyping concurrent programs in Haskell
  Philipp Kant, Talk at Bob 2022, english
• Haskell ❤️ Lua
  Albert Krewinkel, Talk at Bob 2022, english
• An Enigma Machine in Elm
  Ju Liu, Talk at Bob 2022, english
• Structuring effectful programs
  Andres Löh, Talk at Bob 2022, english
• Categorical CPUs
  Sandy Maguire, Talk at Bob 2022, english
• Local-first Distributed Applications with REScala
  Ragnar Mogk, Talk at Bob 2022, english
• Compiling Anything to Categories
  Greg Pfeil, Talk at Bob 2022, english
• Composable UI Components
  Markus Schlegel, Talk at Bob 2022, english
• Event Sourcing without Responsibility
  Michael Sperber, Talk at Bob 2022, english

---

2021

• A gentle introduction to Stream Processing
  Nicolas Fränkel, Talk at Bob 2021, english
• How I Design Programs
  Jeremy Gibbons, Talk at Bob 2021, english
• Theorems for Free
  Lars Hupel, Talk at Bob 2021, english
• Darcs, because git won
  Raichoo Ketchum, Talk at Bob 2021, english
• Raspberry Pi, Reflex and Haskell
  Tristan McLeay, Talk at Bob 2021, english
• Show case: STG backend for Idris2
  Andor Penzes, Talk at Bob 2021, english
• Logic Programming and Databases
  pukkamustard, Talk at Bob 2021, english
• Pipes, Arrows, and the Universe
  Albert Schimpf, Talk at Bob 2021, english
• Servant vs. Mu: A Type-Level Battle
  Alejandro Serrano Mena, Talk at Bob 2021, english
• Guarding your IO Boundaries
  Franz Thoma, Talk at Bob 2021, english
• SIMD in higher level programming languages
  Matthias Wahl, Talk at Bob 2021, english

---

2020

• Opening Performance
  Alexandra Cárdenas, Talk at Bob 2020, english
• Practical ReasonML
  Marco Emrich, Talk at Bob 2020, english
• Criminally fast Rust and Breaking Safety for Fun and Profit
  Darach Ennis, Heinz Gies, Talk at Bob 2020, english
• Opening Doors to Open Source
  Jigyasa Grover, Talk at Bob 2020, english
• Programming by any other name
  Mariano Guerra, Talk at Bob 2020, english
• JS, Rust, Python and the Holy Graal
  Lars Hupel, Talk at Bob 2020, english
• What is Functional Reactive Programming?
  Tikhon Jelvis, Talk at Bob 2020, english
• Self-Documenting Computation
  Olaf Klinke, Talk at Bob 2020, english
• The Lessons of 14 Years of Open Source Haskell
  Albert Krewinkel, Talk at Bob 2020, english
• A Nokia 3310 Ringtone Player in Elm
  Ju Liu, Talk at Bob 2020, english
• ImplicitCAD: Haskell all of the Things
  Julia Longtin, Talk at Bob 2020, english
• Keynote
  Heather Miller, Talk at Bob 2020, english
• Engineering Principles of a highly effective team
  Steve Robinson-Burns, Talk at Bob 2020, english
• The Object-Oriented/Functional-Programming symmetry: theory and practice
  Gabriel Scherer, Talk at Bob 2020, english
• Bringing experimentation to JavaScript
  Yulia Startsev, Talk at Bob 2020, english
• The Essence of Programming
  Ludvig Sundström, Talk at Bob 2020, english
• Leveraging Algebraic Data Types
  Franz Thoma, Talk at Bob 2020, english

---

2019 Summer Edition

---

2019

• State machine modelling and property based testing combined with fault injection
  Stevan Andjelkovic, Talk at Bob 2019, english
• Inspection Testing
  Joachim Breitner, Talk at Bob 2019, english
• Checking Musical Correctness
  Chris Ford, Talk at Bob 2019, english
• Across Time and Space: Building Explorative UIs Using a Many-Worlds Interpretation of State
  Nikolas Göbel, Malte Sandstede, Talk at Bob 2019, english
• The Way of APL
  Aaron W. Hsu, Talk at Bob 2019, english
• Programmation en Logique
  Lars Hupel, Talk at Bob 2019, english
• Analyzing Programs with SMT Solvers
  Tikhon Jelvis, Talk at Bob 2019, english
• Designing Applications with Pluggable Layers Using Polymorphism
  Philipp Kant, Talk at Bob 2019, english
• Keynote: High-Peformance Haskell
  Gabriele Keller, Talk at Bob 2019, english
• Logic in the Service of System Configurations
  Shriram Krishnamurthi, Talk at Bob 2019, english
• Emotional Programming
  Johannes Mainusch vs. Michael Sperber, Talk at Bob 2019, english
• EventSourcing All Over the Place
  Nicole Rauch, Talk at Bob 2019, english
• Applicative DSLs
  Franz Thoma, Talk at Bob 2019, english
• Wire Once, Rewire Twice
  Eric Torreborre, Talk at Bob 2019, english
• Modern SQL
  Markus Winand, Talk at Bob 2019, english

---

2018

• 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

---

2017

• The Future of Front-end Development: A comparison
  Alexander Thiemann, Talk at Bob 2017, english
• Bayadera: Bayes + Clojure + GPU
  Dragan Djuric, Talk at Bob 2017, english
• Testing business logic using DSLs in Clojure
  Mayank Jain, Talk at Bob 2017, english
• Privacy-first data structures on SAFE
  Benjamin Kampmann, Talk at Bob 2017, english
• Performance and Safety: an Example of using Liquid Haskell in the Real World
  Philipp Kant, Talk at Bob 2017, english
• Why Functional Programming Matters
  John Hughes, Talk at Bob 2017, english
• The Hidden Nature of Data
  Martin Kühl, Talk at Bob 2017, english
• Write one program, get two (or three, or many)
  Andres Löh, Talk at Bob 2017, english
• Writing a native Mac GUI application in Haskell
  Nikolas Mayr, Talk at Bob 2017, english
• Synergy of IoT and BPM
  Yevgen Pikus, Talk at Bob 2017, english
• Immutable Hash Maps: Plenty of room at the bottom
  Peter Schuck, Cliff Rodgers, Talk at Bob 2017, english
• Functional package management with GNU Guix for developers and power users
  Ricardo Wurmus, Talk at Bob 2017, english

---

2016

• Functional Reactive Programming
  Heinrich Apfelmus, Talk at Bob 2016, english
• Verdict - Reified refinement
  Julian Arni, Talk at Bob 2016, english
• How to Make Front-End More Functional
  Julia Gao, Talk at Bob 2016, english
• Applications of Datatype Generic Programming in Haskell
  Sönke Hahn, Talk at Bob 2016, english
• Functional Programming and the Web: Frontend Development in PureScript
  Michael Karg, Jürgen Nicklisch-Franken, Talk at Bob 2016, english
• Languages We Love
  Elise Huard, Talk at Bob 2016, english
• Type Classes for OO programmers, a Scala journey
  Ivan Kusalic, Talk at Bob 2016, english
• Type the web with Servant!
  Andres Löh, Talk at Bob 2016, english
• Jackline, a secure instant messaging application, functional from the ground up
  Hannes Mehnert, Talk at Bob 2016, english
• Dynamic programming at ease - with grammars, algebras, products
  Stefanie Schirmer, Talk at Bob 2016, english
• Keeping Front-end Development Simple with React
  Tony Tsui, Talk at Bob 2016, english

---

2015

• Package management rethought - Nix
  Rok Garbas, Talk at Bob 2015, english
• Break the Monolith - Service Extraction at SoundCloud
  Jan Kischkel, Talk at Bob 2015, english
• Advanced functional programming in industry
  José Pedro Magalhães, Talk at Bob 2015, english
• Programming Workflows with Grammars
  Arie Middelkoop, Talk at Bob 2015, english
• Clutching a grip on AUTOSAR using Haskell
  Johan Nordlander, Talk at Bob 2015, english
• The purely functional fab
  Michael Sperber, Talk at Bob 2015, english
• Clojure Redeployed
  Jan Stępień, Talk at Bob 2015, english
• Functional Programming in Swift
  Wouter Swierstra, Talk at Bob 2015, english