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

Reachability analysis is a fundamental program analysis with a wide variety of applications. We present FlowCFL, a type-based reachability analysis that accounts for mutable heap data. The underlying semantics of FlowCFL is Context-Free-Language (CFL)-reachability.

We make three contributions. First, we define a dynamic semantics that captures the notion of flow commonly used in reachability analysis. Second, we establish correctness of CFL-reachability over graphs with inverse edges (inverse edges are necessary for the handling of mutable heap data).
Our approach combines CFL-reachability with reference immutability to avoid the addition of certain inverse edges, which results in graph reduction and precision improvement. The key contribution of our work is the formal account of correctness, which extends to the case when inverse edges are removed. Third, we present a type-based reachability analysis and establish equivalence between a certain CFL-reachability analysis and the type-based analysis, thus proving correctness of the type-based analysis.

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

17:00 - 18:20: T-6AOOPSLA at SPLASH-I +12h
Chair(s): Zhefeng WuAlibaba Group, Filip NiksicGoogle
17:00 - 17:20
Talk
OOPSLA
Yulei SuiUniversity of Technology Sydney, Xiao ChengBeijing University of Posts and Telecommunications, Guanqin ZhangUniversity of Technology Sydney, Haoyu WangBeijing University of Posts and Telecommunications
Link to publication DOI Media Attached
17:20 - 17:40
Talk
OOPSLA
Ana MilanovaRensselaer Polytechnic Institute
Link to publication DOI Media Attached
17:40 - 18:00
Talk
OOPSLA
Zhefeng WuAlibaba Group, Zhe SunAlibaba Group, Kai GongAlibaba Group, Lingyun ChenAlibaba Group, Bin LiaoAlibaba Group, Yihua JinAlibaba Group
Link to publication DOI Media Attached
18:00 - 18:20
Talk
OOPSLA
Jenna WiseCarnegie Mellon University, Johannes BaderJane Street, Cameron WongJane Street, Jonathan AldrichCarnegie Mellon University, Éric TanterUniversity of Chile, Joshua SunshineCarnegie Mellon University
Link to publication DOI Media Attached

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

05:00 - 06:20: T-6AOOPSLA at SPLASH-I
Chair(s): Michael PradelUniversity of Stuttgart, Germany, Konstantinos KallasUniversity of Pennsylvania
05:00 - 05:20
Talk
OOPSLA
Yulei SuiUniversity of Technology Sydney, Xiao ChengBeijing University of Posts and Telecommunications, Guanqin ZhangUniversity of Technology Sydney, Haoyu WangBeijing University of Posts and Telecommunications
Link to publication DOI Media Attached
05:20 - 05:40
Talk
OOPSLA
Ana MilanovaRensselaer Polytechnic Institute
Link to publication DOI Media Attached
05:40 - 06:00
Talk
OOPSLA
Zhefeng WuAlibaba Group, Zhe SunAlibaba Group, Kai GongAlibaba Group, Lingyun ChenAlibaba Group, Bin LiaoAlibaba Group, Yihua JinAlibaba Group
Link to publication DOI Media Attached
06:00 - 06:20
Talk
OOPSLA
Jenna WiseCarnegie Mellon University, Johannes BaderJane Street, Cameron WongJane Street, Jonathan AldrichCarnegie Mellon University, Éric TanterUniversity of Chile, Joshua SunshineCarnegie Mellon University
Link to publication DOI Media Attached