Formal Verification of Distributed Branching Multiway Synchronization Protocols. - Hugues Evrard; Frédéric Lang (FMOODS/FORTE, 2013)

Automatic Distributed Code Generation from Formal Models of Asynchronous Concurrent Processes. - Hugues Evrard; Frédéric Lang (PDP, 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 (2015)

DLC: Compiling a Concurrent System Formal Specification to a Distributed Implementation. - Hugues Evrard (TACAS, 2016)

Cooperative kernels: GPU multitasking for blocking algorithms. - Tyler Sorensen 001; Hugues Evrard; Alastair F. Donaldson (ESEC/SIGSOFT FSE, 2017)

Cooperative Kernels: GPU Multitasking for Blocking Algorithms (Extended Version). - Tyler Sorensen 001; Hugues Evrard; Alastair F. Donaldson (CoRR, 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)

Automated testing of graphics shader compilers. - Alastair F. Donaldson; Hugues Evrard; Andrei Lascu; Paul Thomson (Proc. ACM Program. Lang., 2017)

GPU Schedulers: How Fair Is Fair Enough?. - Tyler Sorensen 001; Hugues Evrard; Alastair F. Donaldson (CONCUR, 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; et al. (Trans. Petri Nets Other Model. Concurr., 2018)

Putting Randomized Compiler Testing into Production (Experience Report). - Alastair F. Donaldson; Hugues Evrard; Paul Thomson (ECOOP, 2020)

Modeling the Raft Distributed Consensus Protocol in LNT. - Hugues Evrard (MARS@ETAPS, 2020)

Putting Randomized Compiler Testing into Production (Artifact). - Alastair F. Donaldson; Hugues Evrard; Paul Thomson (Dagstuhl Artifacts Ser., 2020)

Specifying and testing GPU workgroup progress models. - Tyler Sorensen 001; Lucas F. Salvador; Harmit Raval; Hugues Evrard; John Wickerson; Margaret Martonosi; Alastair F. Donaldson (Proc. ACM Program. Lang., 2021)

Model Checking Futexes. - Hugues Evrard; Alastair F. Donaldson (SPIN, 2023)