We're currently working on a fuzzy testing approach for graphics drivers, in particular shader compilers. Our method can:
Our work has already led to the discovery of more than 50 bugs across all GPU vendors, ranging from bad image rendering to more severe issues like machine crashes and data leaks. For illusrated examples, see: https://medium.com/@afd_icl/crashes-hangs-and-crazy-images-by-adding-zero-689d15ce922b
We are now getting in touch with companies (Apple, AMD, Imagination Technologies, Intel, NVIDIA, Qualcomm and others) to discuss how our method could help them deliver more robust drivers.
Please contact us for more details: firstname.lastname@example.org
I am currently a Research Associate in the Multicore Programming Group at Imperial College London. Before that, I prepared my PhD in the direction of Frédéric Lang, in the Team CONVECS of INRIA / LIG in Grenoble, France. I graduated from Ensimag (French "Grande Ecole" dedicated to computer science) in 2012 with a semester abroad at the Graduate School of Informatics of Kyoto University.
My thesis is entitled Automatic Distributed Code Generation from Formal Models of Concurrent Asynchronous Processes: I developed the DLC compiler that generates a distributed implementation made of several executables from a formal model of concurrent non-deterministic processes interacting by mutliway-rendezvous, expressed in the LNT specification language.
See the list on DBLP and on the HAL open archive.