Hugues Evrard

According to our database, Hugues Evrard authored at least 15 papers between 2013 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

Model Checking Futexes.

Hugues Evrard, Alastair F. Donaldson

Proceedings of the Model Checking Software - 29th International Symposium, 2023

2021

Specifying and testing GPU workgroup progress models.

Tyler Sorensen, Lucas F. Salvador, Harmit Raval, Hugues Evrard, John Wickerson, Margaret Martonosi, Alastair F. Donaldson

Proc. ACM Program. Lang., 2021

2020

Putting Randomized Compiler Testing into Production (Artifact).

Alastair F. Donaldson, Hugues Evrard, Paul Thomson

Dagstuhl Artifacts Ser., 2020

Modeling the Raft Distributed Consensus Protocol in LNT.

Hugues Evrard

Proceedings of the 4th Workshop on Models for Formal Analysis of Real Systems, 2020

Putting Randomized Compiler Testing into Production (Experience Report).

Alastair F. Donaldson, Hugues Evrard, Paul Thomson

Proceedings of the 34th European Conference on Object-Oriented Programming, 2020

2018

MCC'2017 - The Seventh Model Checking Contest.

Fabrice Kordon, Hubert Garavel, Lom-Messan Hillah, Emmanuel Paviot-Adet, Loïg Jezequel, Francis Hulin-Hubard, Elvio Gilberto Amparore, Marco Beccuti, Bernard Berthomieu, Hugues Evrard, Peter Gjøl Jensen, Didier Le Botlan, Torsten Liebke, Jeroen Meijer, Jirí Srba, Yann Thierry-Mieg, Jaco van de Pol, Karsten Wolf

Trans. Petri Nets Other Model. Concurr., 2018

GPU Schedulers: How Fair Is Fair Enough?.

Tyler Sorensen, Hugues Evrard, Alastair F. Donaldson

Proceedings of the 29th International Conference on Concurrency Theory, 2018

2017

Automated testing of graphics shader compilers.

Alastair F. Donaldson, Hugues Evrard, Andrei Lascu, Paul Thomson

Proc. ACM Program. Lang., 2017

Automatic distributed code generation from formal models of asynchronous processes interacting by multiway rendezvous.

Hugues Evrard, Frédéric Lang

J. Log. Algebraic Methods Program., 2017

Cooperative Kernels: GPU Multitasking for Blocking Algorithms (Extended Version).

Tyler Sorensen, Hugues Evrard, Alastair F. Donaldson

CoRR, 2017

Cooperative kernels: GPU multitasking for blocking algorithms.

Tyler Sorensen, Hugues Evrard, Alastair F. Donaldson

Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017

2016

DLC: Compiling a Concurrent System Formal Specification to a Distributed Implementation.

Hugues Evrard

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

2015

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).

Hugues Evrard

PhD thesis, 2015

Automatic Distributed Code Generation from Formal Models of Asynchronous Concurrent Processes.

Hugues Evrard, Frédéric Lang

Proceedings of the 23rd Euromicro International Conference on Parallel, 2015

2013

Formal Verification of Distributed Branching Multiway Synchronization Protocols.

Hugues Evrard, Frédéric Lang

Proceedings of the Formal Techniques for Distributed Systems, 2013