SPLASH 2020
Sun 15 - Sat 21 November 2020 Online Conference
Tue 17 Nov 2020 17:00 - 17:20 at OOPSLA/ECOOP - T-6A
Wed 18 Nov 2020 05:00 - 05:20 at OOPSLA/ECOOP - T-6A

Code embedding, as an emerging paradigm for source code analysis, has attracted much attention over the past few years. It aims to represent code semantics through distributed vector representations, which can be used to support a variety of program analysis tasks (e.g., code summarization and semantic labeling). However, existing code embedding approaches are intraprocedural, alias-unaware and ignoring the asymmetric transitivity of directed graphs abstracted from source code, thus they are still ineffective in preserving the structural information of code.

This paper presents Flow2Vec, a new code embedding approach that precisely preserves interprocedural program dependence (a.k.a value-flows). By approximating the high-order proximity, i.e., the asymmetric transitivity of value-flows, Flow2Vec embeds control-flows and alias-aware data-flows of a program in a low-dimensional vector space. Our value-flow embedding is formulated as matrix multiplication to preserve context-sensitive transitivity through CFL reachability by filtering out infeasible value-flow paths.

We have evaluated Flow2Vec using 32 popular open-source projects. Results from our experiments show that Flow2Vec successfully boosts the performance of two recent code embedding approaches code2vec and code2seq for two client applications, i.e., code classification and code summarization. For code classification, Flow2Vec improves code2vec with an average increase of 21.2%, 20.1% and 20.7% in precision, recall and F1, respectively. For code summarization, Flow2Vec outperforms code2seq by an average of 13.2%, 18.8% and 16.0% in precision, recall and F1, respectively.

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

17:00 - 18:20: T-6AOOPSLA at OOPSLA/ECOOP +12h
17:00 - 17:20
Talk
OOPSLA
Yulei SuiUniversity of Technology Sydney, Australia, Xiao ChengBeijing University of Posts and Telecommunications, Guanqin ZhangUniversity of Technology Sydney, Haoyu WangBeijing University of Posts and Telecommunications, China
17:20 - 17:40
Talk
OOPSLA
Ana MilanovaRensselaer Polytechnic Institute
17:40 - 18:00
Talk
OOPSLA
Zhefeng WuAlibaba Group, Zhe SunAlibaba Group, Kai GongAlibaba Group, lingyun ChenAlibaba Group, Bin LiaoAlibaba Group, Yihua JinAlibaba Group
18:00 - 18:20
Talk
OOPSLA
Jenna WiseCarnegie Mellon University, Johannes BaderFacebook, Cameron WongJane Street, Jonathan AldrichCarnegie Mellon University, Éric TanterUniversity of Chile, Joshua SunshineCarnegie Mellon University

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

05:00 - 06:20: T-6AOOPSLA at OOPSLA/ECOOP
05:00 - 05:20
Talk
OOPSLA
Yulei SuiUniversity of Technology Sydney, Australia, Xiao ChengBeijing University of Posts and Telecommunications, Guanqin ZhangUniversity of Technology Sydney, Haoyu WangBeijing University of Posts and Telecommunications, China
05:20 - 05:40
Talk
OOPSLA
Ana MilanovaRensselaer Polytechnic Institute
05:40 - 06:00
Talk
OOPSLA
Zhefeng WuAlibaba Group, Zhe SunAlibaba Group, Kai GongAlibaba Group, lingyun ChenAlibaba Group, Bin LiaoAlibaba Group, Yihua JinAlibaba Group
06:00 - 06:20
Talk
OOPSLA
Jenna WiseCarnegie Mellon University, Johannes BaderFacebook, Cameron WongJane Street, Jonathan AldrichCarnegie Mellon University, Éric TanterUniversity of Chile, Joshua SunshineCarnegie Mellon University