Ikuti
Abu Naser Masud
Abu Naser Masud
Mälardalen University
Email yang diverifikasi di mdu.se
Judul
Dikutip oleh
Dikutip oleh
Tahun
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
622012
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
612013
More precise yet widely applicable cost analysis
E Albert, S Genaim, AN Masud
Verification, Model Checking, and Abstract Interpretation: 12th …, 2011
432011
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
212022
Static backward demand-driven slicing
B Lisper, AN Masud, H Khanfar
Proceedings of the 2015 Workshop on Partial Evaluation and Program …, 2015
192015
Static backward program slicing for safety-critical systems
H Khanfar, B Lisper, AN Masud
Reliable Software Technologies–Ada-Europe 2015: 20th Ada-Europe …, 2015
172015
More precise construction of static single assignment programs using reaching definitions
AN Masud, F Ciccozzi
Journal of Systems and Software 166, 110590, 2020
92020
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
82021
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
82019
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
International Static Analysis Symposium, 200-222, 2020
52020
Efficient computation of minimal weak and strong control closure
AN Masud
Journal of Systems and Software 184, 111140, 2022
42022
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
Sistem tidak dapat melakukan operasi ini. Coba lagi nanti.
Artikel 1–20