Johannes Bader

According to our database, Johannes Bader authored at least 9 papers between 2016 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

AI in Software Engineering at Facebook.

Johannes Bader, Sonia Seohyun Kim, Frank Sifei Luan, Satish Chandra, Erik Meijer

IEEE Softw., 2021

What It Would Take to Use Mutation Testing in Industry - A Study at Facebook.

Moritz Beller, Chu-Pan Wong, Johannes Bader, Andrew Scott, Mateusz Machalica, Satish Chandra, Erik Meijer

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering: Software Engineering in Practice, 2021

Gradual Program Analysis for Null Pointers.

Sam Estep, Jenna Wise, Jonathan Aldrich, Éric Tanter, Johannes Bader, Joshua Sunshine

Proceedings of the 35th European Conference on Object-Oriented Programming, 2021

2020

Gradual verification of recursive heap data structures.

Jenna Wise, Johannes Bader, Cameron Wong, Jonathan Aldrich, Éric Tanter, Joshua Sunshine

Proc. ACM Program. Lang., 2020

2019

Getafix: learning to fix bugs automatically.

Johannes Bader, Andrew Scott, Michael Pradel, Satish Chandra

Proc. ACM Program. Lang., 2019

Getafix: Learning to fix bugs automatically.

Andrew Scott, Johannes Bader, Satish Chandra

CoRR, 2019

SapFix: automated end-to-end repair at scale.

Alexandru Marginean, Johannes Bader, Satish Chandra, Mark Harman, Yue Jia, Ke Mao, Alexander Mols, Andrew Scott

Proceedings of the 41st International Conference on Software Engineering: Software Engineering in Practice, 2019

2018

Gradual Program Verification.

Johannes Bader, Jonathan Aldrich, Éric Tanter

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2018

2016

Practical Variable Length Gap Pattern Matching.

Johannes Bader, Simon Gog, Matthias Petri

Proceedings of the Experimental Algorithms - 15th International Symposium, 2016