Hugues Evrard

ORCID

Publication Activity (10 Years)

Years Active: 2013-2023
Publications (10 Years): 13

Top Venues

Proc. ACM Program. Lang.

CoRR

Trans. Petri Nets Other Model. Concurr.

J. Log. Algebraic Methods Program.

Grenoble Alpes University, France (PHD)

Education History

Grenoble Alpes University, France

PHD

Publications

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

Hugues Evrard.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Hugues Evrard