| 2023 | ETFA | FPGA Accelerated CNN Inference and Online Retraining for UAVs with Minimal Power and Performance Overhead. | Beatrice Shokry, Hassanein H. Amer, Salma K. Elsokkary, Ramez M. Daoud, Cherif R. Salama |
| 2017 | NLDB | WikiTrends: Unstructured Wikipedia-Based Text Analytics Framework. | Michel Naim Gerguis, Cherif R. Salama, M. Watheq El-Kharashi |
| 2015 | INISTA | Enhanced Genetic Algorithm for MC/DC test data generation. | Ahmed El-Serafy, Ghada El-Sayed, Cherif R. Salama, Ayman Wahba |
| 2015 | SoMeT | Optimization of Generated Test Data for MC/DC. | Ghada El-Sayed, Cherif R. Salama, Ayman Wahba |
| 2015 | SoMeT | Automatic Test Data Generation Targeting Hybrid Coverage Criteria. | Ahmed El-Serafy, Cherif R. Salama, Ayman Wahba |
| 2009 | PEPM | Static consistency checking for verilog wire interconnects: using dependent types to check the sanity of verilog descriptions. | Cherif R. Salama, Gregory Malecha, Walid Taha, Jim Grundy, John O'Leary |
| 2008 | PEPM | Synthesizable high level hardware descriptions: using statically typed two-level languages to guarantee verilog synthesizability. | Jennifer Gillenwater, Gregory Malecha, Cherif R. Salama, Angela Yun Zhu, Walid Taha, Jim Grundy, John O'Leary |