SPLASH 2020
Sun 15 - Sat 21 November 2020 Online Conference
Fri 20 Nov 2020 11:40 - 12:00 at SPLASH-III - F-3B Chair(s): Francisco Ferreira, Yaniv David
Fri 20 Nov 2020 23:40 - 00:00 at SPLASH-III - F-3B Chair(s): Dimitri Racordon, Yulei Sui

Learning distributed representations of source code has been a challenging task for machine learning models. Earlier works treated programs as text so that natural language methods can be readily applied. Unfortunately, such approaches do not capitalize on the rich structural information possessed by source code. Of late, Graph Neural Network (GNN) was proposed to learn embeddings of programs from their graph representations. Due to the homogeneous (i.e. do not take advantage of the program-specific graph characteristics) and expensive (i.e. require heavy information exchange among nodes in the graph) message-passing procedure, GNN can suffer from precision issues, especially when dealing with programs rendered into large graphs. In this paper, we present a new graph neural architecture, called Graph Interval Neural Network (GINN), to tackle the weaknesses of the existing GNN. Unlike the standard GNN, GINN generalizes from a curated graph representation obtained through an abstraction method designed to aid models to learn. In particular, GINN focuses exclusively on intervals (generally manifested in looping construct) for mining the feature representation of a program, furthermore, GINN operates on a hierarchy of intervals for scaling the learning to large graphs.

We evaluate GINN for two popular downstream applications: variable misuse prediction and method name prediction. Results show in both cases GINN outperforms the state-of-the-art models by a comfortable margin. We have also created a neural bug detector based on GINN to catch null pointer deference bugs in Java code. While learning from the same 9,000 methods extracted from 64 projects, GINN-based bug detector significantly outperforms GNN-based bug detector on 13 unseen test projects. Next, we deploy our trained GINN-based bug detector and Facebook Infer, arguably the state-of-the-art static analysis tool, to scan the codebase of 20 highly starred projects on GitHub. Through our manual inspection, we confirm 38 bugs out of 102 warnings raised by GINN-based bug detector compared to 34 bugs out of 129 warnings for Facebook Infer. We have reported 38 bugs GINN caught to developers, among which 11 have been fixed and 12 have been confirmed (fix pending). GINN has shown to be a general, powerful deep neural network for learning precise, semantic program embeddings.

Fri 20 Nov
Times are displayed in time zone: Central Time (US & Canada) change

11:00 - 12:20: F-3BOOPSLA at SPLASH-III +12h
Chair(s): Francisco FerreiraImperial College London, Yaniv DavidTechnion
11:00 - 11:20
Talk
OOPSLA
Shraddha BarkeUniversity of California at San Diego, Hila PelegUniversity of California at San Diego, Nadia PolikarpovaUniversity of California at San Diego
Link to publication DOI Media Attached
11:20 - 11:40
Talk
OOPSLA
John Peter CamporaUniversity of Louisiana at Lafayette, Sheng ChenUniversity of Louisiana at Lafayette
Link to publication DOI Media Attached
11:40 - 12:00
Talk
OOPSLA
Yu WangNanjing University, Ke WangVisa Research, Fengjuan GaoNanjing University, Linzhang WangNanjing University
Link to publication DOI Media Attached
12:00 - 12:20
Talk
OOPSLA
Ifaz KabirUniversity of Alberta, Yufeng LiUniversity of Waterloo, Ondřej LhotákUniversity of Waterloo
Link to publication DOI Media Attached
23:00 - 00:20: F-3BOOPSLA at SPLASH-III
Chair(s): Dimitri RacordonUniversity of Geneva, Switzerland, Yulei SuiUniversity of Technology Sydney
23:00 - 23:20
Talk
OOPSLA
Shraddha BarkeUniversity of California at San Diego, Hila PelegUniversity of California at San Diego, Nadia PolikarpovaUniversity of California at San Diego
Link to publication DOI Media Attached
23:20 - 23:40
Talk
OOPSLA
John Peter CamporaUniversity of Louisiana at Lafayette, Sheng ChenUniversity of Louisiana at Lafayette
Link to publication DOI Media Attached
23:40 - 00:00
Talk
OOPSLA
Yu WangNanjing University, Ke WangVisa Research, Fengjuan GaoNanjing University, Linzhang WangNanjing University
Link to publication DOI Media Attached
00:00 - 00:20
Talk
OOPSLA
Ifaz KabirUniversity of Alberta, Yufeng LiUniversity of Waterloo, Ondřej LhotákUniversity of Waterloo
Link to publication DOI Media Attached