| 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 | 141 | 2017 |
| Putting Randomized Compiler Testing into Production (Experience Report) AF Donaldson, H Evrard, P Thomson 34th European Conference on Object-Oriented Programming (ECOOP 2020), 2020 | 22 | 2020 |
| 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 | 18 | 2018 |
| Formal verification of distributed branching multiway synchronization protocols H Evrard, F Lang Formal Techniques for Distributed Systems: Joint IFIP WG 6.1 International …, 2013 | 18 | 2013 |
| 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 | 16 | 2017 |
| 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 | 16 | 2015 |
| 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 | 12 | 2017 |
| 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 | 11 | 2016 |
| GPU schedulers: how fair is fair enough? T Sorensen, H Evrard, AF Donaldson 29th International Conference on Concurrency Theory (CONCUR 2018), 2018 | 10 | 2018 |
| 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 | 8 | 2021 |
| Modeling the Raft Distributed Consensus Protocol in LNT H Evrard arXiv preprint arXiv:2004.13284, 2020 | 6 | 2020 |
| 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 | 6 | 2015 |
| 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 | | |
Alastair DonaldsonImperial College LondonE-mailová adresa ověřena na: imperial.ac.uk
