Johannes Bader

According to our database1, Johannes Bader authored at least 21 papers between 2008 and 2020.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2020
Gradual verification of recursive heap data structures.
Proc. ACM Program. Lang., 2020

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

2019
Getafix: learning to fix bugs automatically.
Proc. ACM Program. Lang., 2019

Getafix: Learning to fix bugs automatically.
CoRR, 2019

SapFix: automated end-to-end repair at scale.
Proceedings of the 41st International Conference on Software Engineering: Software Engineering in Practice, 2019

2018
Gradual Program Verification.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2018

2016
Practical Variable Length Gap Pattern Matching.
Proceedings of the Experimental Algorithms - 15th International Symposium, 2016

A Comprehensive Measurement Study of Domain Generating Malware.
Proceedings of the 25th USENIX Security Symposium, 2016

2012
Hypervolume-based multiobjective optimization: Theoretical foundations and practical implications.
Theor. Comput. Sci., 2012

2011
HypE: An Algorithm for Fast Hypervolume-Based Many-Objective Optimization.
Evol. Comput., 2011

2010
On Set-Based Multiobjective Optimization.
IEEE Trans. Evol. Comput., 2010

Defining and Optimizing Indicator-Based Diversity Measures in Multiobjective Search.
Proceedings of the Parallel Problem Solving from Nature, 2010

Theoretically Investigating Optimal <i>µ</i>-Distributions for the Hypervolume Indicator: First Results for Three Objectives.
Proceedings of the Parallel Problem Solving from Nature, 2010

Integrating decision space diversity into hypervolume-based multiobjective search.
Proceedings of the Genetic and Evolutionary Computation Conference, 2010

2009
Investigating and exploiting the bias of the weighted hypervolume to articulate user preferences.
Proceedings of the Genetic and Evolutionary Computation Conference, 2009

Articulating user preferences in many-objective problems by sampling the weighted hypervolume.
Proceedings of the Genetic and Evolutionary Computation Conference, 2009

Theory of the hypervolume indicator: optimal μ-distributions and the choice of the reference point.
Proceedings of the Foundations of Genetic Algorithms, 2009

On Using Populations of Sets in Multiobjective Optimization.
Proceedings of the Evolutionary Multi-Criterion Optimization, 5th International Conference, 2009

2008
SPAM: Set Preference Algorithm for Multiobjective Optimization.
Proceedings of the Parallel Problem Solving from Nature, 2008

Faster Hypervolume-Based Search Using Monte Carlo Sampling.
Proceedings of the Multiple Criteria Decision Making for Sustainable Energy and Transportation Systems, 2008

Reducing Bloat in GP with Multiple Objectives.
Proceedings of the Multiobjective Problem Solving from Nature, 2008


  Loading...