Johannes Bader

PL & Developer Experience Improver

	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

	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 Coq inductive definitions Sources & documentation

	Jane Street Developer Tools
	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 Symbol Search
	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