Hugues Evrard

16 papers A 2B 1C 1Journal 7Unranked 4
YearRankTypeTitle / Venue / Authors
2023 — conf
Model Checking Futexes.
SPIN
Hugues Evrard, Alastair F. Donaldson
2021 J jnl
Specifying and Testing GPU Workgroup Progress Models.
CoRR
Tyler Sorensen, Lucas F. Salvador, Harmit Raval, Hugues Evrard, John Wickerson, Margaret Martonosi, Alastair F. Donaldson
2021 J jnl
Specifying and testing GPU workgroup progress models.
Proc. ACM Program. Lang.
Tyler Sorensen, Lucas F. Salvador, Harmit Raval, Hugues Evrard, John Wickerson, Margaret Martonosi, Alastair F. Donaldson
2020 — conf
Modeling the Raft Distributed Consensus Protocol in LNT.
MARS
Hugues Evrard
2020 J jnl
Putting Randomized Compiler Testing into Production (Artifact).
Dagstuhl Artifacts Ser.
Alastair F. Donaldson, Hugues Evrard, Paul Thomson
2020 A conf
Putting Randomized Compiler Testing into Production (Experience Report).
ECOOP
Alastair F. Donaldson, Hugues Evrard, Paul Thomson
2018 B conf
GPU Schedulers: How Fair Is Fair Enough?.
CONCUR
Tyler Sorensen, Hugues Evrard, Alastair F. Donaldson
2018 J jnl
MCC'2017 - The Seventh Model Checking Contest.
Trans. Petri Nets Other Model. Concurr.
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
2017 J jnl
Automated testing of graphics shader compilers.
Proc. ACM Program. Lang.
Alastair F. Donaldson, Hugues Evrard, Andrei Lascu, Paul Thomson
2017 J jnl
Automatic distributed code generation from formal models of asynchronous processes interacting by multiway rendezvous.
J. Log. Algebraic Methods Program.
Hugues Evrard, Frédéric Lang
2017 J jnl
Cooperative Kernels: GPU Multitasking for Blocking Algorithms (Extended Version).
CoRR
Tyler Sorensen, Hugues Evrard, Alastair F. Donaldson
2017 — conf
Cooperative kernels: GPU multitasking for blocking algorithms.
ESEC/SIGSOFT FSE
Tyler Sorensen, Hugues Evrard, Alastair F. Donaldson
2016 A conf
DLC: Compiling a Concurrent System Formal Specification to a Distributed Implementation.
TACAS
Hugues Evrard
2015 C conf
Automatic Distributed Code Generation from Formal Models of Asynchronous Concurrent Processes.
PDP
Hugues Evrard, Frédéric Lang
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
2013 — conf
Formal Verification of Distributed Branching Multiway Synchronization Protocols.
FMOODS/FORTE
Hugues Evrard, Frédéric Lang