IRILL - Research and Innovation on Free Software La prochaine séance du [GdT Programmation / séminaire IRILL ] est mardi 08 avril à 14h (salle 218, 2ème étage, Bâtiment Esclangon) :
Séance du mardi 08 avril 2025, 14h-16h : <-- Attention au jour
Pierre Talbot (Université du Luxembourg)
« Turbo: A Constraint Programming Solver on GPU »
Résumé :
The number of cores on graphical computing units (GPUs) is reaching thousands nowadays, whereas the clock speed of processors stagnates. Although GPUs have been embraced by the machine learning community, there are only a few work considering them to accelerate constraint solving. One reason is that a constraint solver is a complex piece of software combining many techniques (e.g. search, clause learning, propagation) that were primarily designed within the mental frame of sequential computation. To solve this issue, we take a step back and contribute to a simple, intrinsically parallel, lock-free and formally correct programming language based on concurrent constraint programming. We then re-examine parallel constraint solving on GPUs within this formalism, and present the algorithms behind Turbo, a parallel constraint solver written in CUDA.
Lieu :
en chair et en os à l'IRILL :
4 place Jussieu, 75005 Paris, métro Jussieu (lignes 7 et 10) bâtiment Esclangon 2ème étage (escalier intérieur ou ascenseur) salle 218
ou par vidéoconférence : https://galene.irill.org/group/irill/seminaire-irill/ (avec un identifiant quelconque et un mot de passe vide)