Our Events
Our News
Links
Université Ibn Khaldoun
Webmail
CNRST
MGEN
MENSUP
AH2ST
CSEFRS
Search
Directory
Journals
Publications
Books
Theses
Congresses
Talks
Brevets
Teaching
Recruitment
Tenders
Adverts
About us
A word from the dean
Organization chart
History
Faculty in figures
Statistics
Gallery
Areas and rooms
Contact us
Fr
Fr
Admissions
High school students: entering the faculty
Undergraduate registration
Master
Doctorate
International students
Research
Research strategy
Research structures
Projects
Bibliographic databases
Doctral training
Doctoral Studies Center
Habilitation
Publications & Congresses
Journals
Publications
Books
Congresses
Innovation
Technical platforms
Brevets
Academics
Training
Bachelor's degrees
Professional Bachelor's Degree
Master
Educational resources
Library
Online course
Schooling
Academic calendar
Holidays schedl
Study schedule
Exam schedule
Notes and Registration
The admissions office
Governance
Dean office
Executive Board
Departments
Services
About us
A word from the dean
Organization chart
History
Faculty in figures
Statistics
Gallery
Areas and rooms
Contact us
Search within
Directory
Journals
Publications
Books
Theses
Congresses
Talks
Brevets
Teaching
Recruitment
Tenders
Adverts
Links
Université Ibn Khaldoun
Webmail
CNRST
MGEN
MENSUP
AH2ST
CSEFRS
Our Events & News
Our Events
Our News
FSA
Books
National thesis
Toward a verified compilation infrastructure for concurrent programs : non-sequential paradigms in Vellvm
Toward a verified compilation infrastructure for concurrent programs : non-sequential paradigms in Vellvm
Université Ibn Khaldoun
Defence date: 29-07-2015
Supervisor
ROZENBERG Grzegorz
Error
×
A problem has occured. Please try again or contact the application's admin.
OK
Université Ibn Khaldoun
