معرفی
Salah Sadou is a researcher affiliated with IRISA (Institut de Recherche en Informatique et Systèmes Aléatoires) and CNRS (Centre National de la Recherche Scientifique) at University of South Brittany, France. His research focuses on advancing program analysis techniques through innovative applications of machine learning.
His primary research interests include:
- Abstract Interpretation methodologies
- Program analysis and verification
- Compiler optimization techniques
- Machine learning applications in static analysis
- Loop transformation heuristics
Salah Sadou's recent work demonstrates a significant trend toward integrating deep learning approaches with traditional abstract interpretation frameworks. His research on loop unrolling heuristics represents an important contribution to improving the precision and efficiency of static program analysis tools, with potential applications across software verification and compiler optimization domains.
As a member of IRISA, Salah Sadou contributes to one of France's leading computer science research institutes, which maintains strong connections with both academic and industrial partners in the software engineering community.
