Abu Naser Masud

Publication Activity (10 Years)

Years Active: 2011-2023
Publications (10 Years): 13

Top Topics

Upper And Lower Bounds

Semantically Related

Efficient Computation

Top Venues

J. Syst. Softw.

Publications

Abu Naser Masud
The Duality in Computing SSA Programs and Control Dependency. IEEE Trans. Software Eng. 49 (4) (2023)
Federico Ciccozzi, Lorenzo Addazi, Sara Abbaspour Asadollah, Björn Lisper, Abu Naser Masud, Saad Mubeen
A Comprehensive Exploration of Languages for Parallel Computing. ACM Comput. Surv. 55 (2) (2023)
Abu Naser Masud, Björn Lisper
On the computation of interprocedural weak control closure. CC (2022)
Abu Naser Masud
Fast and Incremental Computation of Weak Control Closure. SAS (2022)
Abu Naser Masud
Efficient computation of minimal weak and strong control closure. J. Syst. Softw. 184 (2022)
Jean Malm, Eduard Enoiu, Abu Naser Masud, Björn Lisper, Zoltán Porkoláb, Sigrid Eldh
An Evaluation of General-Purpose Static Analysis Tools on C/C++ Test Code. SEAA (2022)
Abu Naser Masud, Björn Lisper
Semantic Correctness of Dependence-based Slicing for Interprocedural, Possibly Nonterminating Programs. ACM Trans. Program. Lang. Syst. 42 (4) (2021)
Abu Naser Masud
Simple and Efficient Computation of Minimal Weak Control Closure. SAS (2020)
Abu Naser Masud, Federico Ciccozzi
More precise construction of static single assignment programs using reaching definitions. J. Syst. Softw. 166 (2020)
Abu Naser Masud, Federico Ciccozzi
Towards Constructing the SSA form using Reaching Definitions Over Dominance Frontiers. SCAM (2019)
Abu Naser Masud, Björn Lisper, Federico Ciccozzi
Automatic Inference of Task Parallelism in Task-Graph-Based Actor Models. IEEE Access 6 (2018)
Björn Lisper, Abu Naser Masud, Husni Khanfar
Static Backward Demand-Driven Slicing. PEPM (2015)
Husni Khanfar, Björn Lisper, Abu Naser Masud
Static Backward Program Slicing for Safety-Critical Systems. Ada-Europe (2015)
Elvira Albert, Samir Genaim, Abu Naser Masud
On the Inference of Resource Usage Upper and Lower Bounds. ACM Trans. Comput. Log. 14 (3) (2013)
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
Automatic Inference of Bounds on Resource Consumption. FMCO (2012)
Amir M. Ben-Amram, Samir Genaim, Abu Naser Masud
On the Termination of Integer Loops. ACM Trans. Program. Lang. Syst. 34 (4) (2012)
Amir M. Ben-Amram, Samir Genaim, Abu Naser Masud
On the Termination of Integer Loops. VMCAI (2012)
Elvira Albert, Samir Genaim, Abu Naser Masud
More Precise Yet Widely Applicable Cost Analysis. VMCAI (2011)