Abu Naser Masud
Mälardalens högskola
H-index: 7
Europe-Sweden
Top articles of Abu Naser Masud
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Efficient computation of minimal weak and strong control closure | Journal of Systems and Software | Abu Naser Masud | 2022/2/1 |
A comprehensive exploration of languages for parallel computing | Federico Ciccozzi Lorenzo Addazi Sara Abbaspour Asadollah Björn Lisper Abu Naser Masud | 2022/1/18 | |
Fast and incremental computation of weak control closure | Abu Naser Masud | 2022/12/2 | |
The duality in computing SSA programs and control dependency | IEEE Transactions on Software Engineering | Abu Naser Masud | 2022/7/19 |
On the computation of interprocedural weak control closure | Abu Naser Masud Björn Lisper | 2022/3/19 | |
Semantic correctness of dependence-based slicing for interprocedural, possibly nonterminating programs | ACM Transactions on Programming Languages and Systems (TOPLAS) | Abu Naser Masud Björn Lisper | 2021/1/4 |
More precise construction of static single assignment programs using reaching definitions | Journal of Systems and Software | Abu Naser Masud Federico Ciccozzi | 2020/8/1 |
Simple and efficient computation of minimal weak control closure | Abu Naser Masud | 2020 |