SPLASH 2020
Sun 15 - Sat 21 November 2020 Online Conference
Tue 17 Nov 2020 17:00 - 17:20 at SPLASH-I - T-6A Chair(s): Zhefeng Wu, Filip Niksic
Wed 18 Nov 2020 05:00 - 05:20 at SPLASH-I - T-6A Chair(s): Michael Pradel, Konstantinos Kallas

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 codevec and codeseq for two client applications, i.e., code classification and code summarization. For code classification, Flow2Vec improves codevec with an average increase of 21.2%, 20.1% and 20.7% in precision, recall and F1, respectively. For code summarization, Flow2Vec outperforms codeseq by an average of 13.2%, 18.8% and 16.0% in precision, recall and F1, respectively.

Tue 17 Nov

Displayed time zone: Central Time (US & Canada) change

17:00 - 18:20
T-6AOOPSLA at SPLASH-I +12h
Chair(s): Zhefeng Wu Alibaba Group, Filip Niksic Google
17:00
20m
Talk
Flow2Vec: Value-Flow-Based Precise Code EmbeddingDistinguished Paper
OOPSLA
Yulei Sui University of Technology Sydney, Xiao Cheng Beijing University of Posts and Telecommunications, Guanqin Zhang University of Technology Sydney, Haoyu Wang Beijing University of Posts and Telecommunications
Link to publication DOI Media Attached
17:20
20m
Talk
FlowCFL: Generalized Type-Based Reachability Analysis: Graph Reduction and Equivalence of CFL-Based and Type-Based Reachability
OOPSLA
Ana Milanova Rensselaer Polytechnic Institute
Link to publication DOI Media Attached
17:40
20m
Talk
Hidden Inheritance: An Inline Caching Design for TypeScript Performance
OOPSLA
Zhefeng Wu Alibaba Group, Zhe Sun Alibaba Group, Kai Gong Alibaba Group, Lingyun Chen Alibaba Group, Bin Liao Alibaba Group, Yihua Jin Alibaba Group
Link to publication DOI Media Attached
18:00
20m
Talk
Gradual Verification of Recursive Heap Data Structures
OOPSLA
Jenna DiVincenzo (Wise) Carnegie Mellon University, Johannes Bader Jane Street, Cameron Wong Jane Street, Jonathan Aldrich Carnegie Mellon University, Éric Tanter University of Chile, Joshua Sunshine Carnegie Mellon University
Link to publication DOI Media Attached

Wed 18 Nov

Displayed time zone: Central Time (US & Canada) change

05:00 - 06:20
T-6AOOPSLA at SPLASH-I
Chair(s): Michael Pradel University of Stuttgart, Germany, Konstantinos Kallas University of Pennsylvania
05:00
20m
Talk
Flow2Vec: Value-Flow-Based Precise Code EmbeddingDistinguished Paper
OOPSLA
Yulei Sui University of Technology Sydney, Xiao Cheng Beijing University of Posts and Telecommunications, Guanqin Zhang University of Technology Sydney, Haoyu Wang Beijing University of Posts and Telecommunications
Link to publication DOI Media Attached
05:20
20m
Talk
FlowCFL: Generalized Type-Based Reachability Analysis: Graph Reduction and Equivalence of CFL-Based and Type-Based Reachability
OOPSLA
Ana Milanova Rensselaer Polytechnic Institute
Link to publication DOI Media Attached
05:40
20m
Talk
Hidden Inheritance: An Inline Caching Design for TypeScript Performance
OOPSLA
Zhefeng Wu Alibaba Group, Zhe Sun Alibaba Group, Kai Gong Alibaba Group, Lingyun Chen Alibaba Group, Bin Liao Alibaba Group, Yihua Jin Alibaba Group
Link to publication DOI Media Attached
06:00
20m
Talk
Gradual Verification of Recursive Heap Data Structures
OOPSLA
Jenna DiVincenzo (Wise) Carnegie Mellon University, Johannes Bader Jane Street, Cameron Wong Jane Street, Jonathan Aldrich Carnegie Mellon University, Éric Tanter University of Chile, Joshua Sunshine Carnegie Mellon University
Link to publication DOI Media Attached