Concepedia

Hugues Evrard

HE

4

Publications

148

Citations

4

H-Index

2015

Active since

Affiliations

Imperial College London(Current)

Hugues Evrard is an author at Imperial College London specializing in software engineering, verification, and computer science.

Top concepts

EngineeringVerificationComputer ScienceProgram AnalysisSoftware AnalysisSoftware EngineeringFuzzingCompilersFormal MethodsSoftware Design

Publications per year

2015–2020

4

Publications

4

Automated testing of graphics shader compilers

Alastair F. Donaldson, Hugues Evrard, Andrei Lascu et al. · Proceedings of the ACM on Programming Languages · 2017 · 116 citations · Full text

Engineering, Compiler Technology, Verification +20

Automatic Distributed Code Generation from Formal Models of Asynchronous Concurrent Processes

Hugues Evrard, Frédéric Lang · 2015 · 11 citations

Engineering, Formal Models, Verification +24

Putting Randomized Compiler Testing into Production (Experience Report)

Alastair F. Donaldson, Hugues Evrard, Paul Thomson · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2020 · 11 citations · Full text

Software Maintenance, Engineering, Verification +21

Cooperative kernels: GPU multitasking for blocking algorithms

Tyler Sorensen, Hugues Evrard, Alastair F. Donaldson · 2017 · 10 citations

Rows per page

1–4 of 4