Programming by Example: Efficient, but Not "Helpful". - Mark Santolucito; Drew Goldman; Allyson Weseley; Ruzica Piskac (PLATEAU@SPLASH, 2018)