Chris Cummins

Publication

1. MAPL'19 A case study on machine learning for synthesizing benchmarks

   Andrés Goens, Alexander Brauckmann, Sebastian Ertel, Chris Cummins, Hugh Leather, Jerónimo Castrillón