Ahmad Salim Al-Sibahi

Registered user since Tue 23 Aug 2016

Name:Ahmad Salim Al-Sibahi
Affiliation:Department of Computer Science, University of Copenhagen (DIKU) & BilagScan
Personal website:http://alsibahi.xyz
Research interests:Probabilistic Programming, Machine Learning, Programming Languages, Software Engineering, Compiler Construction


GPCE 2018 Author of Verification of High-Level Transformations with Inductive Refinement Types within the GPCE 2018-track
POPL 2017 Author of Abstract Interpretation of High-Level Transformations within the Student Research Competition-track
SLE 2016 Author of Symbolic Execution of High-Level Transformations within the SLE-track