Invited Talk at POPL’20 by Prof. Martin Vechev: Can Programming Languages Research impact Deep Learning 2.0?