Abu Naser Masud serves as a senior lecturer at Mälardalen University in Sweden, specializing in static program analysis. His primary research contributions encompass the development of various static program analysis methods, such as static data race detectors, pointer analysis, program slicing, software dependency analysis, and software resource analysis. His research interests span Program Semantics, Program Logic, Verification, Abstract Interpretation, Compiler Technology, Automated Software Engineering, and Probabilistic Programming. Dr. Masud earned his PhD in Computer Science from the Technical University of Madrid (Spain) and holds a joint European Master of Science in Computational Logic from the Technical University of Madrid and the University of Technology (Germany).
For more information, please visit https://anm-spa.github.io/
Current research interests include static and dynamic program analysis, program transformation, abstract interpretation, analysing high level design (UML), quantitative analysis of software resources.
Fast and incremental computation of weak control closure (Dec 2022) Abu Naser Masud 29th Static Analysis Symposium (SAS 2022)
The Duality in Computing SSA Programs and Control Dependency (Aug 2022) Abu Naser Masud IEEE Transactions on Software Engineering (TSE)
On the Computation of Interprocedural Weak Control Closure (Apr 2022) Abu Naser Masud, Björn Lisper ACM SIGPLAN 2022 International Conference on Compiler Construction (CC '22)
Efficient Computation of Minimal Weak and Strong Control Closure (Feb 2022) Abu Naser Masud Journal of Systems and Software (JSS 2022 (184))
A Comprehensive Exploration of Languages for Parallel Computing (Jan 2022) Federico Ciccozzi, Lorenzo Addazi, Sara Abbaspour, Björn Lisper, Abu Naser Masud, Saad Mubeen ACM Computing Surveys (CSUR'21)
Semantic Correctness of Dependence-Based Slicing for Interprocedural, Possibly Nonterminating Programs (Jan 2021) Abu Naser Masud, Björn Lisper ACM Transactions on Programming Languages and Systems (TOPLAS)
|APARTS - Advanced Program Analysis for Real-Time Systems
|HERO: Heterogeneous systems - software-hardware integration
|MOMENTUM: analysis of models towards compilation to predictable embedded real-time and safety-critical applications
|Static Program Analysis for Complex Embedded systems
|Automatically Reproducing Bugs from the Bug Report