Follow
Hugues Evrard
Hugues Evrard
Verified email at google.com
Title
Cited by
Cited by
Year
Automated testing of graphics shader compilers
AF Donaldson, H Evrard, A Lascu, P Thomson
Proceedings of the ACM on Programming Languages 1 (OOPSLA), 1-29, 2017
1282017
Putting Randomized Compiler Testing into Production (Experience Report)
AF Donaldson, H Evrard, P Thomson
34th European Conference on Object-Oriented Programming (ECOOP 2020), 2020
202020
Formal verification of distributed branching multiway synchronization protocols
H Evrard, F Lang
Formal Techniques for Distributed Systems: Joint IFIP WG 6.1 International …, 2013
182013
MCC’2017–the seventh model checking contest
F Kordon, H Garavel, LM Hillah, E Paviot-Adet, L Jezequel, ...
Transactions on Petri Nets and Other Models of Concurrency XIII, 181-209, 2018
172018
Automatic distributed code generation from formal models of asynchronous concurrent processes
H Evrard, F Lang
2015 23rd Euromicro International Conference on Parallel, Distributed, and …, 2015
172015
Cooperative kernels: GPU multitasking for blocking algorithms
T Sorensen, H Evrard, AF Donaldson
Proceedings of the 2017 11th Joint Meeting on Foundations of Software …, 2017
162017
Automatic distributed code generation from formal models of asynchronous processes interacting by multiway rendezvous
H Evrard, F Lang
Journal of Logical and Algebraic Methods in Programming 88, 121-153, 2017
132017
GPU schedulers: how fair is fair enough?
T Sorensen, H Evrard, AF Donaldson
29th International Conference on Concurrency Theory (CONCUR 2018), 2018
102018
DLC: compiling a concurrent system formal specification to a distributed implementation
H Evrard
Tools and Algorithms for the Construction and Analysis of Systems: 22nd …, 2016
102016
Specifying and testing GPU workgroup progress models
T Sorensen, LF Salvador, H Raval, H Evrard, J Wickerson, M Martonosi, ...
Proceedings of the ACM on Programming Languages 5 (OOPSLA), 1-30, 2021
62021
Génération automatique d'implémentation distribuée à partir de modèles formels de processus concurrents asynchrones
H Evrard
Université Grenoble Alpes (ComUE), 2015
62015
Modeling the Raft Distributed Consensus Protocol in LNT
H Evrard
arXiv preprint arXiv:2004.13284, 2020
52020
Model Checking Futexes
H Evrard, AF Donaldson
1*
Putting Randomized Compiler Testing into Production (Artifact)
AF Donaldson, H Evrard, P Thomson
Schloss Dagstuhl-Leibniz-Zentrum für Informatik, 2020
2020
Cooperative kernels: Gpu multitasking for blocking algorithms (extended version)
T Sorensen, H Evrard, AF Donaldson
arXiv preprint arXiv:1707.01989, 2017
2017
Distributed LNT Compiler (DLC): Compiling a Concurrent System Formal Specification to a Distributed Implementation
H EVRARD
2016
MCC 2018
H Evrard, A Donaldson, T Sorensen
The system can't perform the operation now. Try again later.
Articles 1–17