Publications
Number of publications matching the search criterion: 14
Journal article (6)
The Duality in Computing SSA Programs and Control Dependency (Aug 2022) Abu Naser Masud IEEE Transactions on Software Engineering (TSE)
Efficient Computation of Minimal Weak and Strong Control Closure (Feb 2022) Abu Naser Masud Journal of Systems and Software (JSS 2022 (184))
A Comprehensive Exploration of Languages for Parallel Computing (Jan 2022) Federico Ciccozzi, Lorenzo Addazi, Sara Abbaspour, Björn Lisper, Abu Naser Masud, Saad Mubeen ACM Computing Surveys (CSUR'21)
Semantic Correctness of Dependence-Based Slicing for Interprocedural, Possibly Nonterminating Programs (Jan 2021) Abu Naser Masud, Björn Lisper ACM Transactions on Programming Languages and Systems (TOPLAS)
More precise construction of static single assignment programs using reaching definitions (Apr 2020) Abu Naser Masud, Federico Ciccozzi Journal of Systems and Software (JSS)
Automatic Inference of Task Parallelism in Task-graph-based Actor Models (Dec 2018) Abu Naser Masud, Björn Lisper, Federico Ciccozzi Journal of IEEE Access (Access'18)
Conference/Workshop Paper (7)
An Evaluation of General-Purpose Static Analysis Tools on C/C++ Test Code Jean Malm, Eduard Paul Enoiu, Abu Naser Masud, Björn Lisper, Sigrid Eldh, Zoltan Porkolab Euromicro Conference Series on Software Engineering and Advanced Applications (SEAA2023)
Fast and incremental computation of weak control closure (Dec 2022) Abu Naser Masud 29th Static Analysis Symposium (SAS 2022)
On the Computation of Interprocedural Weak Control Closure (Apr 2022) Abu Naser Masud, Björn Lisper ACM SIGPLAN 2022 International Conference on Compiler Construction (CC '22)
Simple and Efficient Computation of Minimal Weak Control Closure (Nov 2020) Abu Naser Masud SAS 2020 - 27th Static Analysis Symposium (SAS 2020)
Towards constructing the SSA form using reaching definitions over dominance frontiers (Sep 2019) -- Best Paper Award-- Abu Naser Masud, Federico Ciccozzi IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM)
Static Backward Program Slicing for Safety Critical Systems (Jun 2015) Husni Khanfar, Björn Lisper, Abu Naser Masud The 20th International Conference on Reliable Software Technologies (Ada-Europe-2015)
Static Backward Demand-Driven Slicing (Jan 2015) Björn Lisper, Abu Naser Masud, Husni Khanfar ACM Sigplan-Sigact Symposium on Partial Evaluation and Program Manipulation (PEPM)
Report - MRTC (1)
A Survey on Static Data Race Detection Methods (Mar 2016) Abu Naser Masud
