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

Displayed time zone: Tijuana, Baja California change

14:00 - 15:30
Session 3MAPL at 105A
14:00
45m
Talk
Neural Query Expansion for Code Search
MAPL
Jason Liu , Seohyun Kim Facebook, Vijayaraghavan Murali Rice University, USA, Swarat Chaudhuri Rice University, Satish Chandra Facebook
14:45
45m
Talk
A Case Study on Machine Learning for Synthesizing Benchmarks
MAPL
Andrés Goens , Alexander Brauckmann , Sebastian Ertel , Chris Cummins University of Edinburgh, Hugh Leather University of Edinburgh, Jeronimo Castrillon TU Dresden, Germany