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