Hugues Evrard

According to our database1, Hugues Evrard authored at least 13 papers between 2013 and 2020.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2020
Putting Randomized Compiler Testing into Production (Artifact).
Dagstuhl Artifacts Ser., 2020

Modeling the Raft Distributed Consensus Protocol in LNT.
Proceedings of the 4th Workshop on Models for Formal Analysis of Real Systems, 2020

Putting Randomized Compiler Testing into Production (Experience Report).
Proceedings of the 34th European Conference on Object-Oriented Programming, 2020

2018
MCC'2017 - The Seventh Model Checking Contest.
Trans. Petri Nets Other Model. Concurr., 2018

GPU Schedulers: How Fair Is Fair Enough?.
Proceedings of the 29th International Conference on Concurrency Theory, 2018

2017
Automated testing of graphics shader compilers.
Proc. ACM Program. Lang., 2017

Automatic distributed code generation from formal models of asynchronous processes interacting by multiway rendezvous.
J. Log. Algebraic Methods Program., 2017

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

Cooperative kernels: GPU multitasking for blocking algorithms.
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.
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).
PhD thesis, 2015

Automatic Distributed Code Generation from Formal Models of Asynchronous Concurrent Processes.
Proceedings of the 23rd Euromicro International Conference on Parallel, 2015

2013
Formal Verification of Distributed Branching Multiway Synchronization Protocols.
Proceedings of the Formal Techniques for Distributed Systems, 2013


  Loading...