Johannes Bader

Simple Types for Polymorphic Functions

arXiv 2026  –  Barry Jay, Johannes Bader

• Abstract & paper

AI in Software Engineering at Facebook

IEEE Software 2021  –  Johannes Bader, Sonia Kim, Frank Luan, Satish Chandra, Erik Meijer

• Abstract & paper

Gradual Verification of Recursive Heap Data Structures

WGT 2020  –  Jenna Wise, Johannes Bader, Jonathan Aldrich, Éric Tanter, Joshua Sunshine

• Abstract & paper

Getafix: Learning to fix bugs automatically

OOPSLA 2019  –  Johannes Bader, Andrew Scott, Michael Pradel, Satish Chandra

• Abstract & paper
• Blog post

Gradual Program Verification

VMCAI 2018  –  Johannes Bader, Jonathan Aldrich, Éric Tanter

• Paper (alternative link)
• Prototype implementation & supplementary material

Practical Variable Length Gap Pattern Matching

SEA 2016  –  Johannes Bader, Simon Gog, Matthias Petri

• Abstract & paper
• Implementation & experiments

Triage Calculus

Variant of Barry Jay's tree calculus, check out Barry's book and blog!

• Website with demos and interactive playground
• Posts: visual introduction · Demo: fusion analysis · "first-class" functions · defining Church’s δ

Interactive Fractional Derivative Playground

Approximation of Grünwald–Letnikov and Riemann–Liouville

• Blog post
• Playground & Sources

LambAda

A minimalist PL bootstrapped from the Iota combinator

• Playground with examples
• Specification
• Documentation

RollerCoaster Tycoon in the browser

Transpiling OpenRCT2 to JavaScript using Emscripten

• Blog post
• Sources

coq2latex

LaTeX inference rules from Rocq inductive definitions

• Sources & documentation

Jane Street

Developer Tools & Experience

Facebook

Software Engineer @ Developer Infrastructure

• Using Machine Learning for Developer Productivity
• Getafix: How Facebook tools learn to fix bugs
• Finding and automatically fixing software bugs

Microsoft

Open Source Software Engineer @ Developer Division

• AutoRest (large-scale code generation)

Karlsruhe Institute of Technology

Research Assistant @ Institute of Theoretical Informatics

• Succinct Data Structure Library 2.0

Microsoft Ireland

Software Development Engineer Intern @ Office Marketplace

Karlsruhe Institute of Technology

Teaching Assistant @ Institute for Anthropomatics & Robotics

SAP Innovation Center Potsdam

Software Engineering Intern

Free University of Berlin

Intern @ Department of Computer Science