Hugues Evrard
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
2013–2020
Best venue rank
A
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2020 | ECOOP | Putting Randomized Compiler Testing into Production (Experience Report). | Alastair F. Donaldson, Hugues Evrard, Paul Thomson |
| 2018 | CONCUR | GPU Schedulers: How Fair Is Fair Enough?. | Tyler Sorensen, Hugues Evrard, Alastair F. Donaldson |
| 2016 | TACAS | DLC: Compiling a Concurrent System Formal Specification to a Distributed Implementation. | Hugues Evrard |
| 2015 | PDP | Automatic Distributed Code Generation from Formal Models of Asynchronous Concurrent Processes. | Hugues Evrard, Frdric Lang |
| 2013 | FORTE | Formal Verification of Distributed Branching Multiway Synchronization Protocols. | Hugues Evrard, Frdric Lang |