Practical Variable Length Gap Pattern Matching. - Johannes Bader 001; Simon Gog; Matthias Petri (SEA, 2016)

Gradual Program Verification. - Johannes Bader 001; Jonathan Aldrich; Éric Tanter (VMCAI, 2018)

SapFix: automated end-to-end repair at scale. - Alexandru Marginean; Johannes Bader 001; Satish Chandra 001; Mark Harman; Yue Jia 001; Ke Mao; Alexander Mols; Andrew Scott (ICSE (SEIP), 2019)

Getafix: Learning to fix bugs automatically. - Andrew Scott; Johannes Bader 001; Satish Chandra 001 (CoRR, 2019)

Getafix: learning to fix bugs automatically. - Johannes Bader 001; Andrew Scott; Michael Pradel; Satish Chandra 001 (Proc. ACM Program. Lang., 2019)

Gradual verification of recursive heap data structures. - Jenna Wise; Johannes Bader 001; Cameron Wong; Jonathan Aldrich; Éric Tanter; Joshua Sunshine (Proc. ACM Program. Lang., 2020)

Gradual Program Analysis for Null Pointers. - Sam Estep; Jenna Wise; Jonathan Aldrich; Éric Tanter; Johannes Bader 001; Joshua Sunshine (ECOOP, 2021)

What It Would Take to Use Mutation Testing in Industry - A Study at Facebook. - Moritz Beller; Chu-Pan Wong; Johannes Bader 001; Andrew Scott; Mateusz Machalica; Satish Chandra 001; Erik Meijer 001 (ICSE (SEIP), 2021)

AI in Software Engineering at Facebook. - Johannes Bader 001; Sonia Seohyun Kim; Frank Sifei Luan; Satish Chandra 001; Erik Meijer 001 (IEEE Softw., 2021)