Bob Conference Archive – Formal methods

This archive holds all talks from previous Bob conferences about formal methods such as theorem provers, liquid types, SMT solvers, abstraction interpretation etc.

---

English

• 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
• Programming as a Conversation: Type-driven Development in Action
  Edwin Brady, Talk at Bob 2019-summer, english
• Recursive Definitions in Lean
  Joachim Breitner, Talk at Bob , english
• Getting recursive definitions off their bottoms
  Joachim Breitner, Talk at Bob 2023, english
• RustBelt: Securing the Foundations of the Rust Programming Language
  Derek Dreyer, Talk at Bob 2022, english
• Using Formal Methods to Eliminate Exploitable Bugs
  Kathleen Fisher, Talk at Bob 2019-summer, english
• Theorems for Free
  Lars Hupel, Talk at Bob 2021, english
• When testing just doesn't cut it
  Lars Hupel, Talk at Bob 2023, english
• Analyzing Programs with SMT Solvers
  Tikhon Jelvis, Talk at Bob 2019, english
• Formally Specifying Blockchain Protocols using the Psi Calculus
  Philipp Kant, Talk at Bob 2018, english
• Logic in the Service of System Configurations
  Shriram Krishnamurthi, Talk at Bob 2019, english
• In Search of Software Perfection
  Xavier Leroy, Talk at Bob 2019-summer, english
• Engineering TCP/IP with logic
  Hannes Mehnert, Talk at Bob 2018, english
• Who’s Afraid of the Turnstile?
  Andreas Rossberg, Talk at Bob 2024, english
• When one beyond-mainstream technology is not enough: Combining program verification with component-based architectures
  Alexander Senier, Talk at Bob 2018, english
• Types for Protocols
  Peter Thiemann, Talk at Bob 2019-summer, english
• Dependent Types in Haskell
  Stephanie Weirich, Talk at Bob 2019-summer, english
• Finite-state machines? Your compiler wants in!
  Oskar Wickström, Talk at Bob 2018, english

---

No German talks for this topic