( en | de | ru )

 

Disambiguation of "Evrard, Hugues"

Author of the publication

copydeleteadd this publication to your clipboard
Cooperative kernels: GPU multitasking for blocking algorithms.

, , and . ESEC/SIGSOFT FSE, page 431-441. ACM, (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Hugues Lantuit

Paul Evrard

Olivier Hugues

James Evrard

Matthieu Evrard

 

Other publications of authors with the same name

DLC: Compiling a Concurrent System Formal Specification to a Distributed Implementation.. TACAS, volume 9636 of Lecture Notes in Computer Science, page 553-559. Springer, (2016)Cooperative Kernels: GPU Multitasking for Blocking Algorithms (Extended Version)., , and . CoRR, (2017)Automated testing of graphics shader compilers., , , and . Proc. ACM Program. Lang., 1 (OOPSLA): 93:1-93:29 (2017)Specifying and Testing GPU Workgroup Progress Models., , , , , , and . CoRR, (2021)Putting Randomized Compiler Testing into Production (Experience Report)., , and . ECOOP, volume 166 of LIPIcs, page 22:1-22:29. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)MCC'2017 - The Seventh Model Checking Contest., , , , , , , , , and 8 other author(s). Trans. Petri Nets Other Model. Concurr., (2018)Génération automatique d'implémentation distribuée à partir de modèles formels de processus concurrents asynchrones. (Automatic Distributed Code Generation from Formal Models of Asynchronous Concurrent Processes).. Grenoble Alpes University, France, (2015)Automatic Distributed Code Generation from Formal Models of Asynchronous Concurrent Processes., and . PDP, page 459-466. IEEE Computer Society, (2015)Automatic distributed code generation from formal models of asynchronous processes interacting by multiway rendezvous., and . J. Log. Algebraic Methods Program., (2017)Model Checking Futexes., and . SPIN, volume 13872 of Lecture Notes in Computer Science, page 41-58. Springer, (2023)