Sat 22 Jun 2019 14:45 - 15:30 at 105A - Session 3

Good benchmarks are hard to find because they require a substantial effort to keep them representative for the constantly changing challenges of a particular field. Synthetic benchmarks are a common approach to deal with this, and methods from machine learning are natural candidates for synthetic benchmark generation. In this paper we investigate the usefulness of machine learning in the prominent CLgen benchmark generator. We re-evaluate CLgen by comparing the benchmarks generated by the model with the raw data used to train it. This re-evaluation indicates that, for the use case considered, machine learning did not yield additional benefit over a simpler method using the raw data. We investigate the reasons for this and provide further insights into the challenges the problem could pose for potential future generators.

Sat 22 Jun
Times are displayed in time zone: (GMT-07:00) Tijuana, Baja California change

14:00 - 15:30: MAPL 2019 - Session 3 at 105A
mapl-2019-papers14:00 - 14:45
Jason Liu, Seohyun KimFacebook, Vijayaraghavan MuraliRice University, USA, Swarat ChaudhuriRice University, Satish ChandraFacebook
mapl-2019-papers14:45 - 15:30
Andrés Goens, Alexander Brauckmann, Sebastian Ertel, Chris CumminsUniversity of Edinburgh, Hugh LeatherUniversity of Edinburgh, Jeronimo CastrillonTU Dresden, Germany