SAS 2020
Wed 18 - Fri 20 November 2020 Online Conference
co-located with SPLASH 2020
Wed 18 Nov 2020 15:40 - 16:00 at SPLASH-III - 4 Chair(s): Antoine Miné, Jeremy G. Siek
Thu 19 Nov 2020 03:40 - 04:00 at SPLASH-III - 4 Chair(s): Shigeru Chiba, Caterina Urban

Control dependency is a fundamental concept in many program analyses, transformation, parallelization, and compiler optimization techniques. An overwhelming number of definitions of control dependency relations are found in the literature that captures various kinds of program control flow structures. Weak and strong control closure (WCC and SCC) relations capture nontermination insensitive and sensitive control dependencies and subsume all previously defined control dependency relations. In this paper, we have shown that static dependency-based pro-gram slicing requires the repeated computation of WCC and SCC. The state-of-the-art WCC algorithm provided by Danicic et al. has the cubic worst-case complexity in terms of the size of the control flow graph and is a major obstacle to be used in static program slicing. We have provided a simple yet efficient method to compute the minimal WCC which has the quadratic worst-case complexity and proved the correctness of our algorithms. We implemented ours and the state-of-the-art algorithms in the Clang/LLVM compiler framework and run experiments on a number of SPEC CPU 2017 benchmarks. Our method performs a maximum of 23.8 times and on average 10.6 times faster than the state-of-the-art method. The performance curves of our WCC algorithm for practical applications are closer to the NlogN curve in the microsecond scale. Evidently, we improve the practical performance of WCC computation by an order of magnitude.

preprint (sas20.pdf)853KiB

Wed 18 Nov

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

15:00 - 16:20
4DLS / SAS at SPLASH-III +12h
Chair(s): Antoine Miné Sorbonne Université, Jeremy G. Siek Indiana University, USA
15:00
20m
Research paper
Memory-Efficient Fixpoint ComputationArtifact
SAS
Sung Kook Kim University of California, Davis, Arnaud J. Venet Facebook, Aditya V. Thakur University of California, Davis
Pre-print Media Attached
15:20
20m
Talk
Dynamic Pattern Matching with Python
DLS
Tobias Kohn University of Cambridge, UK, Guido van Rossum Python Software Foundation, Gary Brandt Bucher, II Research Affiliates, LLC, Talin , Ivan Levkivskyi Dropbox Ireland
Link to publication DOI Media Attached
15:40
20m
Research paper
Simple and Efficient Computation of Minimal Weak Control ClosureArtifact
SAS
Abu Naser Masud Malardalen University
Media Attached File Attached
16:00
20m
Talk
Sound, Heuristic Type Annotation Inference for Ruby
DLS
Milod Kazerounian University of Maryland, College Park, Brianna M. Ren University of Maryland, Jeffrey S. Foster Tufts University
Link to publication DOI Pre-print Media Attached

Thu 19 Nov

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

03:00 - 04:20
4SAS / DLS at SPLASH-III
Chair(s): Shigeru Chiba The University of Tokyo, Caterina Urban École normale supérieure
03:00
20m
Research paper
Memory-Efficient Fixpoint ComputationArtifact
SAS
Sung Kook Kim University of California, Davis, Arnaud J. Venet Facebook, Aditya V. Thakur University of California, Davis
Pre-print Media Attached
03:20
20m
Talk
Dynamic Pattern Matching with Python
DLS
Tobias Kohn University of Cambridge, UK, Guido van Rossum Python Software Foundation, Gary Brandt Bucher, II Research Affiliates, LLC, Talin , Ivan Levkivskyi Dropbox Ireland
Link to publication DOI Media Attached
03:40
20m
Research paper
Simple and Efficient Computation of Minimal Weak Control ClosureArtifact
SAS
Abu Naser Masud Malardalen University
Media Attached File Attached
04:00
20m
Talk
Sound, Heuristic Type Annotation Inference for Ruby
DLS
Milod Kazerounian University of Maryland, College Park, Brianna M. Ren University of Maryland, Jeffrey S. Foster Tufts University
Link to publication DOI Pre-print Media Attached