Follow
Abu Naser Masud
Abu Naser Masud
Mälardalen University
Verified email at mdu.se
Title
Cited by
Cited by
Year
On the termination of integer loops
AM Ben-Amram, S Genaim, AN Masud
ACM Transactions on Programming Languages and Systems (TOPLAS) 34 (4), 1-24, 2012
632012
On the inference of resource usage upper and lower bounds
E Albert, S Genaim, AN Masud
ACM Transactions on Computational Logic (TOCL) 14 (3), 1-35, 2013
602013
More precise yet widely applicable cost analysis
E Albert, S Genaim, AN Masud
Verification, Model Checking, and Abstract Interpretation: 12th …, 2011
402011
Static backward demand-driven slicing
B Lisper, AN Masud, H Khanfar
Proceedings of the 2015 Workshop on Partial Evaluation and Program …, 2015
182015
Static backward program slicing for safety-critical systems
H Khanfar, B Lisper, AN Masud
Reliable Software Technologies–Ada-Europe 2015: 20th Ada-Europe …, 2015
142015
A comprehensive exploration of languages for parallel computing
F Ciccozzi, L Addazi, SA Asadollah, B Lisper, AN Masud, S Mubeen
ACM Computing Surveys (CSUR) 55 (2), 1-39, 2022
132022
More precise construction of static single assignment programs using reaching definitions
AN Masud, F Ciccozzi
Journal of Systems and Software 166, 110590, 2020
82020
Semantic correctness of dependence-based slicing for interprocedural, possibly nonterminating programs
AN Masud, B Lisper
ACM Transactions on Programming Languages and Systems (TOPLAS) 42 (4), 1-56, 2021
72021
Towards constructing the SSA form using reaching definitions over dominance frontiers
AN Masud, F Ciccozzi
2019 19th International Working Conference on Source Code Analysis and …, 2019
72019
Automatic inference of task parallelism in task-graph-based actor models
AN Masud, B Lisper, F Ciccozzi
IEEE Access 6, 78965-78991, 2018
62018
Simple and efficient computation of minimal weak control closure
AN Masud
Static Analysis: 27th International Symposium, SAS 2020, Virtual Event …, 2020
52020
Efficient computation of minimal weak and strong control closure
AN Masud
Journal of Systems and Software 184, 111140, 2022
32022
Automatic inference of bounds on resource consumption
E Albert, DE Alonso-Blas, P Arenas, J Correas, A Flores-Montoya, ...
Formal Methods for Components and Objects: 11th International Symposium …, 2013
32013
The duality in computing SSA programs and control dependency
AN Masud
IEEE Transactions on Software Engineering 49 (4), 1766-1781, 2022
22022
On the computation of interprocedural weak control closure
AN Masud, B Lisper
Proceedings of the 31st ACM SIGPLAN International Conference on Compiler …, 2022
22022
Time-Sensitive Control Closure: A Key Component for Secure Information Flow
AN Masud, B Lisper
34th Nordic Workshop on Programming Theory Program, 2023
2023
Fast and incremental computation of weak control closure
AN Masud
International Static Analysis Symposium, 325-349, 2022
2022
A Comprehensive Exploration of Languages for Parallel Computing
ABUN LISPER, S MUBEEN
2020
Prototype implementation of methods for precise slicing
AN Masud
2014
Resource Analysis in the COSTA System
E Albert, D Alonso, P Arenas, J Correas, A Flores, S Genaim, ...
ALP Newsletter 25 (4), 2012
2012
The system can't perform the operation now. Try again later.
Articles 1–20