Write a Blog >>
PLDI 2020
Mon 15 - Fri 19 June 2020
Wed 17 Jun 2020 05:40 - 06:00 at PLDI Research Papers live stream - Machine Learning I Chair(s): Antonio Filieri

Learning neural program embeddings is key to utilizing deep neural networks in program languages research — precise and efficient program representations enable the application of deep models to a wide range of program analysis tasks. Existing approaches predominately learn to embed programs from their source code, and, as a result, they do not capture deep, precise program semantics. On the other hand, models learned from runtime information critically depend on the quality of program executions, thus leading to trained models with highly variant quality. This paper tackles these inherent weaknesses of prior approaches by introducing a new deep neural network, Liger, which learns program representations from a mixture of symbolic and concrete execution traces. We have evaluated Liger on two tasks: method name prediction and semantics classification. Results show that Liger is significantly more accurate than the state-of-the-art static model code2seq in predicting method names, and requires on average around 10x fewer executions covering nearly 4x fewer paths than the state-of-the-art dynamic model DYPRO in both tasks. Liger offers a new, interesting design point in the space of neural program embeddings and opens up this new direction for exploration.

Wed 17 Jun
Times are displayed in time zone: Pacific Time (US & Canada) change

05:00 - 06:00: Machine Learning IPLDI Research Papers at PLDI Research Papers live stream
Chair(s): Antonio FilieriImperial College London

YouTube lightning session video

05:00 - 05:20
Typilus: Neural Type Hints
PLDI Research Papers
Miltiadis AllamanisMicrosoft Research, Earl T. BarrUniversity College London, UK, Soline DucoussoENSTA Paris, France, Zheng GaoUniversity College London, UK
05:20 - 05:40
Learning Nonlinear Loop Invariants with Gated Continuous Logic Networks
PLDI Research Papers
Jianan YaoColumbia University, USA, Gabriel RyanColumbia University, USA, Justin WongColumbia University, USA, Suman JanaColumbia University, USA, Ronghui GuColumbia University, USA
05:40 - 06:00
Blended, Precise Semantic Program Embeddings
PLDI Research Papers
Ke WangVisa Research, Zhendong SuETH Zurich, Switzerland