Abu Naser Masud

According to our database, Abu Naser Masud authored at least 18 papers between 2011 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

On Time-Sensitive Control Closure for Secure Information Flow.

Abu Naser Masud, Björn Lisper

Proceedings of the Fundamentals of Software Engineering, 2025

2023

The Duality in Computing SSA Programs and Control Dependency.

Abu Naser Masud

IEEE Trans. Software Eng., April, 2023

A Comprehensive Exploration of Languages for Parallel Computing.

Federico Ciccozzi, Lorenzo Addazi, Sara Abbaspour Asadollah, Björn Lisper, Abu Naser Masud, Saad Mubeen

ACM Comput. Surv., 2023

2022

Efficient computation of minimal weak and strong control closure.

Abu Naser Masud

J. Syst. Softw., 2022

Fast and Incremental Computation of Weak Control Closure.

Abu Naser Masud

Proceedings of the Static Analysis - 29th International Symposium, 2022

An Evaluation of General-Purpose Static Analysis Tools on C/C++ Test Code.

Jean Malm, Eduard Enoiu, Abu Naser Masud, Björn Lisper, Zoltán Porkoláb, Sigrid Eldh

Proceedings of the 48th Euromicro Conference on Software Engineering and Advanced Applications, 2022

On the computation of interprocedural weak control closure.

Abu Naser Masud, Björn Lisper

Proceedings of the CC '22: 31st ACM SIGPLAN International Conference on Compiler Construction, Seoul, South Korea, April 2, 2022

2021

Semantic Correctness of Dependence-based Slicing for Interprocedural, Possibly Nonterminating Programs.

Abu Naser Masud, Björn Lisper

ACM Trans. Program. Lang. Syst., 2021

2020

More precise construction of static single assignment programs using reaching definitions.

Abu Naser Masud, Federico Ciccozzi

J. Syst. Softw., 2020

Simple and Efficient Computation of Minimal Weak Control Closure.

Abu Naser Masud

Proceedings of the Static Analysis - 27th International Symposium, 2020

2019

Towards Constructing the SSA form using Reaching Definitions Over Dominance Frontiers.

Abu Naser Masud, Federico Ciccozzi

Proceedings of the 19th International Working Conference on Source Code Analysis and Manipulation, 2019

2018

Automatic Inference of Task Parallelism in Task-Graph-Based Actor Models.

Abu Naser Masud, Björn Lisper, Federico Ciccozzi

IEEE Access, 2018

2015

Static Backward Demand-Driven Slicing.

Björn Lisper, Abu Naser Masud, Husni Khanfar

Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation, 2015

Static Backward Program Slicing for Safety-Critical Systems.

Husni Khanfar, Björn Lisper, Abu Naser Masud

Proceedings of the Reliable Software Technologies - Ada-Europe 2015, 2015

2013

On the Inference of Resource Usage Upper and Lower Bounds.

Elvira Albert, Samir Genaim, Abu Naser Masud

ACM Trans. Comput. Log., 2013

2012

On the Termination of Integer Loops.

Amir M. Ben-Amram, Samir Genaim, Abu Naser Masud

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2012

Automatic Inference of Bounds on Resource Consumption.

Elvira Albert, Diego Esteban Alonso-Blas, Puri Arenas, Jesús Correas, Antonio Flores-Montoya, Samir Genaim, Miguel Gómez-Zamalloa, Abu Naser Masud, German Puebla, José Miguel Rojas, Guillermo Román-Díez, Damiano Zanardini

Proceedings of the Formal Methods for Components and Objects, 2012

2011

More Precise Yet Widely Applicable Cost Analysis.

Elvira Albert, Samir Genaim, Abu Naser Masud

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2011