Difference between revisions of "Jobs/PHD 2019 omegaGPU"

From LRDE

(Created page with "{{Job |Reference id=PHD 2019 omegaGPU |Title=Parallélisation des algorithmes d'ω-automates sur GPU |Dates=2019 |Research field=Automates et vérification |Advisor=Alexandre...")
 
m
Line 4: Line 4:
 
|Dates=2019
 
|Dates=2019
 
|Research field=Automates et vérification
 
|Research field=Automates et vérification
  +
|Related project=Spot
 
|Advisor=Alexandre Duret-Lutz, Étienne Renault
 
|Advisor=Alexandre Duret-Lutz, Étienne Renault
 
|General presentation of the field=Les ω-automates sont des automates représentant des mots de longueur
 
|General presentation of the field=Les ω-automates sont des automates représentant des mots de longueur

Revision as of 11:18, 28 March 2019

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