Abdelraouf Ouadjaout -

Registered user since Wed 27 Mar 2019

Name:Abdelraouf Ouadjaout

Country:France

Affiliation:Sorbonne Université

Personal website: https://www-apr.lip6.fr/~ouadjaout/

Research interests:Static analysis, abstract interpretation, program verification

Contributions

2022

SPLASH

Author of Static Analysis of Endian Portability by Abstract Interpretation within the COVID Time Papers In Person-track

2021

Static Analysis Symposium

Author of A Multi-Language Static Analysis of Python Programs with Native C Extensions within the SAS-track
Author of Static Analysis of Endian Portability by Abstract Interpretation within the SAS-track

VMCAI

Committee Member in Artifact Evaluation Committee within the VMCAI-track

2020

Static Analysis Symposium

Author of A Library Modeling Language for the Static Analysis of C Programs within the SAS-track

ECOOP

SOAP

Author of Value and Allocation Sensitivities in Static Python Analyses within the SOAP 2020-track

2019

ESOP

Author of An abstract domain for trees with numeric relations within the ESOP 2019-track