Abu Naser Masud
Abu Naser Masud
Researcher, MDH
Verified email at mdh.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
562012
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
472013
More precise yet widely applicable cost analysis
E Albert, S Genaim, AN Masud
International Workshop on Verification, Model Checking, and Abstract …, 2011
312011
Static backward demand-driven slicing
B Lisper, AN Masud, H Khanfar
Proceedings of the 2015 Workshop on Partial Evaluation and Program …, 2015
82015
Static backward program slicing for safety-critical systems
H Khanfar, B Lisper, AN Masud
Ada-Europe International Conference on Reliable Software Technologies, 50-65, 2015
52015
Automatic inference of bounds on resource consumption
E Albert, DE Alonso-Blas, P Arenas, J Correas, A Flores-Montoya, ...
International Symposium on Formal Methods for Components and Objects, 119-144, 2012
32012
Automatic inference of task parallelism in task-graph-based actor models
AN Masud, B Lisper, F Ciccozzi
IEEE Access 6, 78965-78991, 2018
22018
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
12019
More precise construction of static single assignment programs using reaching definitions
AN Masud, F Ciccozzi
Journal of Systems and Software, 110590, 2020
2020
Simple and Efficient Computation of Minimal Weak Control Closure
AN Masud
SAS 2020-27th Static Analysis Symposium SAS 2020, 18 Nov 2020, Chicago …, 2020
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
SCAM 2019
K Bradley, M Godfrey, S Lee, S Yoo, AN Masud, F Ciccozzi, M Paixao, ...
A Survey on Static Data Race Detection Methods
AN Masud
The system can't perform the operation now. Try again later.
Articles 1–14