Senior Lecturer at Computer Science and Software Engineering Division Mälardalen University

Publications

Journal Publications

  1. Ciccozzi, F., Addazi, L., Abbaspour Asadollah, S., Lisper, B., Masud, A. N., & Mubeen, S. (2023). A Comprehensive Exploration of Languages for Parallel Computing. ACM Computing Surveys, 55(2), 24:1–24:39. https://doi.org/10.1145/3485008

  2. Masud, A. N. (2023). The Duality in Computing SSA Programs and Control Dependency. IEEE Transactions on Software Engineering, 49(4), 1766–1781. https://doi.org/10.1109/TSE.2022.3192249

  3. Masud, A. N. (2022). Efficient computation of minimal weak and strong control closure. Journal of Systems and Software, 184, 111140. https://doi.org/10.1016/j.jss.2021.111140

  4. Masud, A. N., & Lisper, B. (2021). Semantic Correctness of Dependence-based Slicing for Interprocedural, Possibly Nonterminating Programs. ACM Transactions on Programming Languages and Systems, 42(4), 19:1–19:56. https://doi.org/10.1145/3434489

  5. Masud, A. N., & Ciccozzi, F. (2020). More precise construction of static single assignment programs using reaching definitions. Journal of Systems and Software, 166, 110590. https://doi.org/10.1016/j.jss.2020.110590

  6. Masud, A. N., Lisper, B., & Ciccozzi, F. (2018). Automatic Inference of Task Parallelism in Task-Graph-Based Actor Models. IEEE Access, 6, 78965–78991. https://doi.org/10.1109/ACCESS.2018.2885705

  7. Albert, E., Genaim, S., & Masud, A. N. (2013). On the Inference of Resource Usage Upper and Lower Bounds. ACM Transactions on Computational Logic, 14(3), 22:1–22:35. https://doi.org/10.1145/2499937.2499943

  8. Ben-Amram, A. M., Genaim, S., & Masud, A. N. (2012). On the Termination of Integer Loops. ACM Transactions on Programming Languages and Systems, 34(4), 16:1–16:24. https://doi.org/10.1145/2400676.2400679

Conference Publications

  1. Masud, A. N., & Lisper, B. (2022). On the computation of interprocedural weak control closure. In CC ‘22: 31st ACM SIGPLAN International Conference on Compiler Construction, Seoul, South Korea (pp. 65–76). ACM. https://doi.org/10.1145/3497776.3517782

  2. Malm, J., Enoiu, E., Masud, A. N., Lisper, B., Porkoláb, Z., & Eldh, S. (2022). An Evaluation of General-Purpose Static Analysis Tools on C/C++ Test Code. In 48th Euromicro Conference on Software Engineering and Advanced Applications, SEAA 2022, Maspalomas, Gran Canaria, Spain (pp. 133–140). IEEE. https://doi.org/10.1109/SEAA56994.2022.00029

  3. Masud, A. N. (2022). Fast and Incremental Computation of Weak Control Closure. In Static Analysis - 29th International Symposium, SAS 2022, Auckland, New Zealand (pp. 325–349). Springer. https://doi.org/10.1007/978-3-031-22308-2_15

  4. Masud, A. N. (2020). Simple and Efficient Computation of Minimal Weak Control Closure. In Static Analysis - 27th International Symposium, SAS 2020, Virtual Event (pp. 200–222). Springer. https://doi.org/10.1007/978-3-030-65474-0_10

  5. Masud, A. N., & Ciccozzi, F. (2019). Towards Constructing the SSA Form Using Reaching Definitions Over Dominance Frontiers. In 19th International Working Conference on Source Code Analysis and Manipulation, SCAM 2019, Cleveland, OH, USA (pp. 23–33). IEEE. [https://doi.org/10.1109/SCAM.2019.00012](https://doi.org/10.1109/SCAM.2019.00012

  6. Khanfar, H., Lisper, B., & Masud, A. N. (2015). Static Backward Program Slicing for Safety-Critical Systems. In Reliable Software Technologies - Ada-Europe 2015 - 20th Ada-Europe International Conference on Reliable Software Technologies, Madrid, Spain (pp. 50–65). Springer. https://doi.org/10.1007/978-3-319-19584-1_4

  7. Lisper, B., Masud, A. N., & Khanfar, H. (2015). Static Backward Demand-Driven Slicing. In Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation, PEPM, Mumbai, India (pp. 115–126). ACM. https://doi.org/10.1145/2678015.2682538

  8. Albert, E., Alonso-Blas, D. E., Arenas, P., Correas, J., Flores-Montoya, A., Genaim, S., Gomez-Zamalloa, M., Masud, A. N., Puebla, G., Rojas, J. M., Román-Díez, G., & Zanardini, D. (2012). Automatic Inference of Bounds on Resource Consumption. In Formal Methods for Components and Objects - 11th International Symposium, FMCO 2012, Bertinoro, Italy (pp. 119–144). Springer. https://doi.org/10.1007/978-3-642-40615-7_4

  9. Ben-Amram, A. M., Genaim, S., & Masud, A. N. (2012). On the Termination of Integer Loops. In Verification, Model Checking, and Abstract Interpretation - 13th International Conference, VMCAI 2012, Philadelphia, PA, USA (pp. 72–87). Springer. https://doi.org/10.1007/978-3-642-27940-9_6

  10. Albert, E., Genaim, S., & Masud, A. N. (2011). More Precise Yet Widely Applicable Cost Analysis. In Verification, Model Checking, and Abstract Interpretation - 12th International Conference, VMCAI 2011, Austin, TX, USA (pp. 38–53). Springer. https://doi.org/10.1007/978-3-642-18275-4_5

Other Publications

  1. Masud, A. N. (2016). A Survey on Static Data Race Detection Methods. Tech Report. Mälardalen Real-Time Research Centre, Mälardalen University. http://www.es.mdu.se/publications/4327-

  2. Masud, Abu Naser, Lisper, Björn. (2023). Time-Sensitive Control Closure: A Key Component for Secure Information Flow. 34th Nordic Workshop on Programming Theory, Sweden. https://mdu.drive.sunet.se/index.php/s/kmm7SwkjJcsBoXb

Work-in-progress

  1. Masud, Abu Naser, Olmedo, Federico, Non-termination (in)sensitive slicing for probabilistic programs. Under Review