| 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 | 64 | 2012 |
| 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 | 60 | 2013 |
| More precise yet widely applicable cost analysis E Albert, S Genaim, AN Masud Verification, Model Checking, and Abstract Interpretation: 12th …, 2011 | 39 | 2011 |
| Static backward demand-driven slicing B Lisper, AN Masud, H Khanfar Proceedings of the 2015 Workshop on Partial Evaluation and Program …, 2015 | 17 | 2015 |
| Static backward program slicing for safety-critical systems H Khanfar, B Lisper, AN Masud Reliable Software Technologies–Ada-Europe 2015: 20th Ada-Europe …, 2015 | 14 | 2015 |
| 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 | 11 | 2022 |
| 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 | 7 | 2021 |
| More precise construction of static single assignment programs using reaching definitions AN Masud, F Ciccozzi Journal of Systems and Software 166, 110590, 2020 | 7 | 2020 |
| 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 | 6 | 2019 |
| Simple and efficient computation of minimal weak control closure AN Masud Static Analysis: 27th International Symposium, SAS 2020, Virtual Event …, 2020 | 5 | 2020 |
| Automatic inference of task parallelism in task-graph-based actor models AN Masud, B Lisper, F Ciccozzi IEEE Access 6, 78965-78991, 2018 | 5 | 2018 |
| Efficient computation of minimal weak and strong control closure AN Masud Journal of Systems and Software 184, 111140, 2022 | 3 | 2022 |
| 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 | 3 | 2013 |
| On the computation of interprocedural weak control closure AN Masud, B Lisper Proceedings of the 31st ACM SIGPLAN International Conference on Compiler …, 2022 | 2 | 2022 |
| The duality in computing SSA programs and control dependency AN Masud IEEE Transactions on Software Engineering, 2022 | 1 | 2022 |
| 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 |
Samir GenaimUniversidad Complutense de MadridVerified email at fdi.ucm.es
