Publications

Type: Date:
Scope:
Author:

Number of publications matching the search criterion: 8

Journal article (3)

Semantic Correctness of Dependence-Based Slicing for Interprocedural, Possibly Nonterminating Programs (Dec 2020)
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 (4)

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: