Johannes Bader

11 papers A 1B 2Journal 6Unranked 2
YearRankTypeTitle / Venue / Authors
2021 J jnl
AI in Software Engineering at Facebook.
IEEE Softw.
Johannes Bader, Sonia Seohyun Kim, Frank Sifei Luan, Satish Chandra, Erik Meijer
2021 A conf
Gradual Program Analysis for Null Pointers.
ECOOP
Sam Estep, Jenna Wise, Jonathan Aldrich, Éric Tanter, Johannes Bader, Joshua Sunshine
2021 J jnl
Gradual Program Analysis for Null Pointers.
CoRR
Sam Estep, Jenna Wise, Jonathan Aldrich, Éric Tanter, Johannes Bader, Joshua Sunshine
2021 — conf
What It Would Take to Use Mutation Testing in Industry - A Study at Facebook.
ICSE (SEIP)
Moritz Beller, Chu-Pan Wong, Johannes Bader, Andrew Scott, Mateusz Machalica, Satish Chandra, Erik Meijer
2020 J jnl
Gradual verification of recursive heap data structures.
Proc. ACM Program. Lang.
Jenna Wise, Johannes Bader, Cameron Wong, Jonathan Aldrich, Éric Tanter, Joshua Sunshine
2020 J jnl
What It Would Take to Use Mutation Testing in Industry-A Study at Facebook.
CoRR
Moritz Beller, Chu-Pan Wong, Johannes Bader, Andrew Scott, Mateusz Machalica, Satish Chandra, Erik Meijer
2019 J jnl
Getafix: Learning to fix bugs automatically.
CoRR
Andrew Scott, Johannes Bader, Satish Chandra
2019 J jnl
Getafix: learning to fix bugs automatically.
Proc. ACM Program. Lang.
Johannes Bader, Andrew Scott, Michael Pradel, Satish Chandra
2019 — conf
SapFix: automated end-to-end repair at scale.
ICSE (SEIP)
Alexandru Marginean, Johannes Bader, Satish Chandra, Mark Harman, Yue Jia, Ke Mao, Alexander Mols, Andrew Scott
2018 B conf
Gradual Program Verification.
VMCAI
Johannes Bader, Jonathan Aldrich, Éric Tanter
2016 B conf
Practical Variable Length Gap Pattern Matching.
SEA
Johannes Bader, Simon Gog, Matthias Petri