The duality in computing SSA programs and control dependency
AN Masud - IEEE Transactions on Software Engineering, 2022 - ieeexplore.ieee.org
Control dependency (CD) and Static Single Assignment (SSA) form are the basis of many
program analyses, transformation, and optimization techniques, and these are implemented …
program analyses, transformation, and optimization techniques, and these are implemented …
Towards Systematic and Precise Compilation of Domain-Specific Modelling Languages
F Ciccozzi - International Conference on Information Technology …, 2024 - Springer
Software is pervasive and often critical in our everyday life. Its production is complicated and
expensive, especially for complex systems like Cyber-Physical Systems. These systems are …
expensive, especially for complex systems like Cyber-Physical Systems. These systems are …
More precise construction of static single assignment programs using reaching definitions
AN Masud, F Ciccozzi - Journal of Systems and Software, 2020 - Elsevier
Abstract The Static Single Assignment (SSA) form is an intermediate representation used for
the analysis and optimization of programs in modern compilers. The ϕ-function placement is …
the analysis and optimization of programs in modern compilers. The ϕ-function placement is …
[HTML][HTML] Efficient computation of minimal weak and strong control closure
AN Masud - Journal of Systems and Software, 2022 - Elsevier
Control dependency is a fundamental concept in many program analyses, transformation,
parallelization, and compiler optimization techniques. An overwhelming number of …
parallelization, and compiler optimization techniques. An overwhelming number of …
Simple and efficient computation of minimal weak control closure
AN Masud - Static Analysis: 27th International Symposium, SAS …, 2020 - Springer
Control dependency is a fundamental concept in many program analyses, transformation,
parallelization, and compiler optimization techniques. An overwhelming number of …
parallelization, and compiler optimization techniques. An overwhelming number of …
Fast and incremental computation of weak control closure
AN Masud - International Static Analysis Symposium, 2022 - Springer
Control dependence is a fundamental concept used in many program analysis techniques
such as program slicing, program debugging, program parallelization, and detecting security …
such as program slicing, program debugging, program parallelization, and detecting security …
[HTML][HTML] A method for decompilation of AMD GCN kernels to OpenCL
KI Mihajlenko, MA Lukin… - Информационно …, 2021 - cyberleninka.ru
Introduction: Decompilers are useful tools for software analysis and support in the absence
of source code. They are available for many hardware architectures and programming …
of source code. They are available for many hardware architectures and programming …