A case study on machine learning for synthesizing benchmarks.

Andrs Goens, Alexander Brauckmann, Sebastian Ertel, Chris Cummins, Hugh Leather, Jernimo Castrilln

Browse the full PLDI paper archive.