Cherif Ramzi Salama Andraos Kozman Salama

Home  >  Cherif Ramzi Salama Andraos Kozman Salama





Cherif Ramzi Salama Andraos Kozman Salama

Associate Professor at Computer and Systems Engineering

Career Information

Assistant Professor at : 2020-05-18
Teacher at : 2010-11-29
Teacher Assistant at : 2006-06-04
Demonstrator at : 2002-01-17

Academic Information

Email : cherif.salama@eng.asu.edu.eg
Graduation : 2001 From Faculty of Engineering , Ain shams University
Scopus URL
Google Scholar URL
ORCID

Brief

- Associate professor and Associate Chair in the Computer Science and Engineering (CSE) department, The American University in Cairo, Cairo, Egypt.

- Associate professor (on leave) in the Computer and Systems Engineering (CSE) department, Faculty of Engineering of Ain Shams University, Cairo, Egypt.

- (2015-2018) Unit head of the Computer Engineering and Software Systems (CESS) program, Credit Hours Engineering Programs (CHEP), Faculty of Engineering, Ain Shams University.

Awards

- Research Assistantship Rice University, Houston, TX, USA 2007-2010

- Fellowship Rice University, Houston, TX, USA 2006-2007

Books

- Mohamed Ibrahim, Cherif Salama, M. Watheq El-Kharashi, and Ayman Wahba. Chapter “Pin Count and Wire Length Optimization for Electrowetting-on-Dielectric Chips: A Metaheuristics-based Routing Algorithm”, Computational Intelligence in Electronic Design, Volume 2, Chapter 10: 271–294, Springer 2015

Articles

- Omar Yehia, Sandra Raafat, M. Watheq El-kharashi, Ayman Wahba and Cherif Salama. In-struction-Level Customization and Automatic Generation of Embedded Systems Cores for FPGA, In IJCDS: International Journal of Computing and Digital Systems, 17 (1), 1-10, January 2025

- Adel Mahmoud, M. Watheq El-Kharashi, and Cherif Salama. "Generating Synthetic Layout Test Patterns Using Deep Learning", In JETTA: Journal of Electronic Testing: Theory and Applications, October 2024

- Fatema Abdulhameed, Hazem Abbas, and Cherif Salama. "GRNRI: Gene Regulatory Network Inference using Unsupervised Graph Neural Network", In IJCDS: International Journal of Computing and Digital Systems, 15 (1), 115-125, January 2024

- Veronia Iskandar, Cherif Salama, Mohamed Taher. "Dynamic Thread Mapping for Power-Efficient Many-Core Systems under Performance Constraints", In MICPRO: Microprocessors and Microsystems, 9: 104614, September 2022

- Michel Naim Gerguis, M. Watheq El-Kharashi, and Cherif Salama. "ClassifyWiki: An Experimental Study on Building Generic-Type Wikipedia Classifiers", In IJCDS: International Journal of Computing and Digital Systems, 11 (1), 753-762, February 2022

- Wafaa El-Kassas, Cherif Salama, Ahmed Rafea, Hoda Mohamed. "Automatic text summarization: A comprehensive survey", In ESA: Expert Systems with Applications Journal, 165:113679, March 2021

- Wafaa El-Kassas, Cherif Salama, Ahmed Rafea, Hoda Mohamed. "EdgeSumm: Graph-based framework for automatic text summarization", In IPM: Information Processing & Management Journal, 57(6): 102264, November 2020

- Doaa Medhat, Ahmed Yousef, Cherif Salama. "Cost-aware load balancing for multilingual record linkage using MapReduce", In ASEJ: Ain Shams Engineering Journal, 11(2), 419-433, June 2020

- Marvy B. Mansour, Cherif Salama, Hoda K. Mohamed, and Sherif A. Hammad. "VANET Security and Privacy - An Overview", In IJNSA: International Journal of Network Security and Its Application, 10(2): 13-34, March 2018

- Michel Naim Gerguis, Cherif Salama, and M. Watheq El-Kharashi. "WikiTrends: Unstructured Wikipedia-Based Text Analytics Framework", In NLDB’17: Natural Language Processing and Information Systems. Lecture Notes in Computer Science, Flavius Frasincar, Ashwin Ittoo, Le Minh Nguyen, and Elisabeth Métais, 10260: 45-57, Springer, June 2017

- Marwa Elmenyawi, Cherif Salama, Mostafa Ibrahim, and Ismail Hafez. "Generalized Worst Case Estimation of Misprediction Counts for Dynamic Branch Predictors", In IJCDS: International Journal of Computing and Digital Systems, 6(3): 109-117, May 2017

- Ahmed El-Serafy, Cherif Salama, and Ayman Wahba. "Automatic Test Data Generation Targeting Hybrid Coverage Criteria", Communications in Computer and Information Science, Springer, Volume 532, pp 149-160, September 2015.

- Ghada El-Sayed, Cherif Salama, and Ayman Wahba. "Optimization of Generated Test Data for MC/DC", Communications in Computer and Information Science, Springer, Volume 532, pp 161-172, September 2015.

- Cherif Salama, Gregory Malecha, Walid Taha, Jim Grundy, and John O’Leary. "Static consistency checking for Verilog wire interconnects: Using dependent types to check the sanity of Verilog descriptions", Higher-Order and Symbolic Computation (HOSC) Journal, Volume 24, Issue 1, pp 81-114, June 2011.

- Jennifer Gillenwater, Gregory Malecha, Cherif Salama, Angela Yun Zhu, Walid Taha, Jim Grundy, and John O’Leary. "Synthesizable high level hardware descriptions", New Generation Computing Journal (NGCJ), Volume 28, Issue 4, pp 339-369, October 2010.

- Manal Zaky, Cherif Andraos, and Salma Ghoneim. "New approximate strategies for playing sum games based on subgame types", International Computer Games Association journal (ICGA), Volume 29, Issue 4, pp 191-198, December 2006.

Publications

  1. , " VANET security and privacy-an overview ", International Journal of Network Security & Its Applications (IJNSA) Vol 10, 2018
  2. Veronia Iskandar, Cherif Salama, Mohamed Taher, " Dynamic thread mapping for power-efficient many-core systems under performance constraints ", Microprocessors and Microsystems, 2022
  3. El-Kassas, W.S., Salama, C.R., Rafea, A.A., Mohamed, H.K., " Automatic text summarization: A comprehensive survey ", Expert Systems with Applications, 2021
  4. Mohamed, F.A., Salama, C.R., Yousef, A.H., Salem, A.M., " A Universal Model for Defective Classes Prediction Using Different Object-Oriented Metrics Suites ", 2nd Novel Intelligent and Leading Emerging Sciences Conference, NILES 2020, 2020
  5. Ahmed, R.F.M., Salama, C., Mahdi, H., " Clustering Research Papers Using Genetic Algorithm Optimized Self-Organizing Maps ", Proceedings of ICCES 2020 - 2020 15th International Conference on Computer Engineering and Systems, 2020
  6. Medhat, D., Yousef, A.H., Salama, C., " Cost-aware load balancing for multilingual record linkage using MapReduce ", Ain Shams Engineering Journal, 2020
  7. Essam, N., Salama, C., El-Kharashi, M.W., Abouelyazid, M.S., " Dense Sub-Circuit Reduction in RC Circuits ", Proceedings of ICCES 2020 - 2020 15th International Conference on Computer Engineering and Systems, 2020
  8. El-Kassas, W.S., Salama, C.R., Rafea, A.A., Mohamed, H.K., " EdgeSumm: Graph-based framework for automatic text summarization ", Information Processing and Management, 2020
  9. Tawfik, R., Salama, C., El-Kharashi, M.W., " Generalized Fractured Integer Multiplier Based on Divide and Conquer with Tree Pruning ", Proceedings of ICCES 2020 - 2020 15th International Conference on Computer Engineering and Systems, 2020
  10. Ahmed, R.F.M., Salama, C., Mahdi, H., " Optimizing Self-Organizing Maps Parameters Using Genetic Algorithm: A Simple Case Study ", Advances in Intelligent Systems and Computing, 2020
  11. Habashi, S.S., Salama, C., Yousef, A.H., Fahmy, H.M.A., " Adaptive Diversifying Hyper-Heuristic Based Approach for Timetabling Problems ", 2018 IEEE 9th Annual Information Technology, Electronics and Mobile Communication Conference, IEMCON 2018, 2019
  12. Soliman, A.K., Salama, C., Mohamed, H.K., " Detecting DNS Reflection Amplification DDoS Attack Originating from the Cloud ", Proceedings - 2018 13th International Conference on Computer Engineering and Systems, ICCES 2018, 2019
  13. Ashour, M., Salama, C., El-Kharashi, M.W., " Detecting Spam Tweets using Character N-gram Features ", Proceedings - 2018 13th International Conference on Computer Engineering and Systems, ICCES 2018, 2019
  14. Iskandar, V., Salama, C., Taher, M., " Dynamic Thread Mapping for Maximizing Performance in Power-Efficient Multi-core Systems ", Proceedings - 2018 13th International Conference on Computer Engineering and Systems, ICCES 2018, 2019
  15. Abouelhamayed, A.F., Mahdi, H., Salama, C., " Low-cost traffic control using reinforcement learning ", Proceedings - ICCES 2019: 2019 14th International Conference on Computer Engineering and Systems, 2019
  16. Yousef, A.H., Salama, C., Jad, M.Y., El-Gafy, T., Matar, M., Habashi, S.S., " A GPU based genetic algorithm solution for the timetabling problem ", Proceedings of 2016 11th International Conference on Computer Engineering and Systems, ICCES 2016, 2017
  17. Abouelhamayed, A.F., Mahmoud, A.S., Shaaban, T.T., Salama, C., Yousef, A.H., " An enhanced genetic algorithm-based timetabling system with incremental changes ", Proceedings of 2016 11th International Conference on Computer Engineering and Systems, ICCES 2016, 2017
  18. Elmenyawi, M.A., Salama, C., Ibrahim, M.E.A., Hafez, I.M., " Generalized worst case estimation of misprediction counts for dynamic branch predictors ", International Journal of Computing and Digital Systems, 2017
  19. Gerguis, M.N., Salama, C., El-Kharashi, M.W., " WikiTrends: Unstructured wikipedia-based text analytics framework ", Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2017
  20. Medhat, D., Hassan, A., Salama, C., " A hybrid cross-language name matching technique using novel modified Levenshtein Distance ", Proceedings - 2015 10th International Conference on Computer Engineering and Systems, ICCES 2015, 2016
  21. Elmenyawi, M.A., Ibrahim, M.E.A., Salama, C., Hafez, I.M., " CGL: A domain specific language for constraint generation ", Proceedings - 2015 10th International Conference on Computer Engineering and Systems, ICCES 2015, 2016
  22. Boghdady, R., Salama, C., Wahba, A., " GPU-accelerated real-time video background subtraction ", Proceedings - 2015 10th International Conference on Computer Engineering and Systems, ICCES 2015, 2016
  23. El-Serafy, A., Salama, C., Wahba, A., " Automatic test data generation targeting hybrid coverage criteria ", Communications in Computer and Information Science, 2015
  24. El-Serafy, A., El-Sayed, G., Salama, C., Wahba, A., " Enhanced Genetic Algorithm for MC/DC test data generation ", INISTA 2015 - 2015 International Symposium on Innovations in Intelligent SysTems and Applications, Proceedings, 2015
  25. El-Sayed, G., Salama, C., Wahba, A., " Optimization of generated test data for MC/DC ", Communications in Computer and Information Science, 2015
  26. Ibrahim, M., Salama, C., El-Kharashi, M.W., Wahba, A., " Pin-count and wire length optimization for electrowetting-on-dielectric chips: A metaheuristics-based routing algorithm ", Computational Intelligence in Digital and Network Designs and Applications, 2015
  27. Salama, C., Malecha, G., Taha, W., Grundy, J., O'Leary, J., " Static consistency checking for Verilog wire interconnects: Using dependent types to check the sanity of Verilog descriptions ", Higher-Order and Symbolic Computation, 2011
  28. Zhu, Y., Westbrook, E., Inoue, J., Chapoutot, A., Salama, C., Peralta, M., Martin, T., Taha, W., O'Malley, M., Cartwright, R., Ames, A., Bhattacharya, R., " Mathematical equations as executable models of mechanical systems ", Proceedings of the 1st ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS '10, 2010
  29. Gillenwater, J., Malecha, G., Salama, C., Zhu, A.Y., Taha, W., Grundy, J., O'Leary, J., " Synthesizable high level hardware descriptions ", New Generation Computing, 2010
  30. Salama, C., Malecha, G., Taha, W., Grundy, J., O'Leary, J., " Static consistency checking for verilog wire interconnects: Using dependent types to check the sanity of verilog descriptions ", Proceedings of the 2009 ACM SIGPLAN Symposium on Partial Evaluation and Program Manipulation, PEPM'09, 2009
  31. Gillenwater, J., Malecha, G., Salama, C., Zhu, A.Y., Taha, W., Grundy, J., O'Leary, J., " Synthesizable high level hardware descriptions: Using statically typed two-level languages to guarantee Verilog synthesizability ", Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, 2008

Research Projects

- OneAppRISCV: Application Specific RISC-V Core Generator. PI, funded by ITIDA’s ITAC as a 1-year project falling under the Preliminary Research Proposal (PRP) category in Round 31, applied October 2021, awarded in February 2022, Project ran from July 2022 to June 2023.

- From Basics to ASICs, The Open-Source Way, workshop, PI, funded by the AUC, May 2022.

- 2nd Machine Learning Conference (IndabaX Egypt 2020), PI, funded by the AUC, June 2020, converted to a series of webinars due to Covid-19.

- IndabaX Egypt, conference, PI, funded by the AUC as a centennial conference, May 2019

- GPU-Accelerated timetabling system. Project Supervisor, funded by ITIDA’s ITAC through their graduation project support program in 2015.

- The Verilog Preprocessor, a research project funded by Intel Corporation through the Semiconductor Research Corporation (SRC), 2010-2014