Write a Blog >>
CC 2022
Tue 5 - Wed 6 April 2022 Online conference
Tue 5 Apr 2022 13:20 - 13:35 at CC Virtual Room - Session 2: Compiler Theory Chair(s): EunJung (EJ) Park

Many program analysis techniques depend on capturing the control dependencies of the program. Most existing control dependence algorithms either compute intraprocedural control dependencies only, or they compute control dependence relations that are not precise in general including nonterminating systems. Weak control closure (WCC) subsumes all known nontermination insensitive control dependence relations, including those that are appropriate for nonterminating systems. In this paper, we provide the first formal development of an algorithm to compute the WCC for interprocedural programs capturing the weak form of interprocedural control dependencies. The method is widely applicable due to the generality of WCC. Theorems on the theoretical results of soundness, precision, and the worst-case complexity of our method are also included. We have compared our algorithm with a WCC computation algorithm based on a state-of-the-art interprocedural control dependence computation algorithm. The latter algorithm loses soundness, and we improve the precision by 15.21% on all our experimental benchmarks. This empirical evidence suggests that our algorithm is more effective for any client application of WCC requiring interprocedural program analysis.

Tue 5 Apr

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

12:50 - 13:50
Session 2: Compiler TheoryCC Research Papers at CC Virtual Room
Chair(s): EunJung (EJ) Park Qualcomm, USA
12:50
15m
Paper
Graph Transformations for Register-Pressure-Aware Instruction Scheduling
CC Research Papers
Ghassan Shobaki California State University, Sacramento, Justin Bassett California State University Sacramento, Mark Heffernan Google, Austin Kerbow AMD
DOI
13:05
15m
Paper
Caviar: An E-Graph Based TRS for Automatic Code Optimization
CC Research Papers
Smail Kourta New York University Abu Dhabi, Adel Abderahmane NAMANI , Fatima Benbouzid-Si Tayeb École nationale supérieure d'informatique, Kim Hazelwood Facebook, Chris Cummins Facebook, Hugh Leather Facebook, Riyadh Baghdadi NYU Abu Dhabi
DOI
13:20
15m
Paper
On the Computation of Interprocedural Weak Control Closure
CC Research Papers
Abu Naser Masud Malardalen University, Bjorn Lisper Malardalen University
DOI
13:35
15m
Paper
Seamless Deductive Inference via MacrosArtifacts Evaluated – Reusable v1.1Artifacts Available v1.1Results Reproduced v1.1
CC Research Papers
Arash Sahebolamri , Thomas Gilray University of Alabama at Birmingham, Kristopher Micinski Syracuse University
DOI