Publications

Type: Date:
Scope:
Author:

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

Items per page: