Jobs/PHD 2019 omegaGPU

	Parallélisation des algorithmes d'ω-automates sur GPU
Reference id	PHD 2019 omegaGPU
Dates	2019
Research field	Automates et vérification
Related project	Spot
Advisor	Alexandre Duret-Lutz, Étienne Renault
General presentation of the field	Les ω-automates sont des automates représentant des mots de longueur infinie. Le projet Spot propose différent outils et algorithmes pour la manipulation de ces automates. Pour le moment tous ces algorithmes sont écrits de façon séquentielle, parfois en utilisant des structures de données symboliques (par exemple des diagrammes de décision binaires).
Prerequisites	C++
Objectives	L'objectif de ce projet est d'étudier dans quelle mesure les algorithmes de manipulation d'ω-automates peuvent être accélérés à l'aide de GPU.
Benefit for the candidate
References	Spot: https://spot.lrde.epita.fr/ https://www.researchgate.net/publication/318983530_Graph_Processing_on_GPUs_A_Survey https://arxiv.org/pdf/1801.05857.pdf https://fmt.ewi.utwente.nl/media/101.pdf
Place	LRDE: How to get to us
Compensation	environ 1750 euros nets/mois pendant 36 mois
Future work opportunities
Contact	adl@lrde.epita.fr