Abu Naser Masud is a senior lecturer in Computer Science and Software Engineering Division at Mälardalen University. He was a researcher and postdoctoral researcher at Mälardalen University (in the years 2013- 2017). He completed his PhD in computer science (awarded Apto Cum Laude) from Technical University of Madrid in 2013. He was one of the Erasmus Mundus scholars to complete European Masters in Computational Logic from Technical University of Madrid, Spain and University of Technology Dresden, Germany (in the years 2006-2009). He worked as an Assistant Professor at Khulna University, Bangladesh.
He was involved in several research projects funded by the European commission (HATS), Madrid regional government (PROMETIDOS-CM), EU Marie Curie (APARTS), and KKS HÖG (SPACES) related to software resource analysis, WCET analysis, and static program analysis.
Current research interests include static and dynamic program analysis, program transformation, abstract interpretation, analysing high level design (UML), quantitative analysis of software resources.
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 Asadollah, 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)
Simple and Efficient Computation of Minimal Weak Control Closure (Nov 2020) Abu Naser Masud SAS 2020 - 27th Static Analysis Symposium (SAS 2020)
More precise construction of static single assignment programs using reaching definitions (Apr 2020) Abu Naser Masud, Federico Ciccozzi Journal of Systems and Software (JSS)
|APARTS - Advanced Program Analysis for Real-Time Systems||finished|
|HERO: Heterogeneous systems - software-hardware integration||active|
|MOMENTUM: analysis of models towards compilation to predictable embedded real-time and safety-critical applications||finished|
|Static Program Analysis for Complex Embedded systems||finished|
|Automatically Reproducing Bugs from the Bug Report||available|