Hugues Evrard

And the first ETAPS Test-of-Time-Tool Award goes to CADP. Congrats to the authors!

@ETAPSconf CADP is a powerful hidden gem. Thanks @convecs for 30+ years of ongoing efforts, looking forward to next developments. Congrats Hubert, Frédéric, Radu & Wendelin for this well-deserved award!

@afd_icl At some point I was thinking all languages should be LISPs for that very reason. Nowadays I just squint and try to see the AST beneath any syntax. A good read for Go declaration syntax and how it would be regular save for the pointer star: blog.golang.org/gos-declaratio…

It’s a shame programming languages differ so much syntactically. When learning a language that has genuinely novel or superior features to a well-known language it’s a pain to also have to get to grips with more or less arbitrary syntactic differences.

Our @poplconf paper "ISA Semantics for ARMv8-A, RISC-V, and CHERI-MIPS" is now finalized alastairreid.github.io/papers/POPL_19/ Four ISA specs complete enough that they can boot Linux/FreeBSD/seL4. Backends for three theorem provers (plus C and OCaml). Proofs, typesystems and more.

I'm really excited that my company, @GraphicsFuzz, has been acquired by Google, and that I'll be joining the Android Graphics team whilst maintaining a part-time appointment at Imperial. graphicsfuzz.com

We are excited to announce that GraphicsFuzz has been acquired by Google, and that we will be joining the Android Graphics team for lots more graphics fuzzing fun! Thank you to everyone who has supported us on our journey with GraphicsFuzz. graphicsfuzz.com

Most impressive wedding entrance. Congratulations! #DarciAkhil2018

This may be of interest to anyone doing streaming video! @OpenBroadcastSy @Keepixo_tweets bbc.co.uk/rd/blog/2018-0…

Thanks to all the ones who report results of the @GraphicsFuzz demo, much appreciated! If the demo crashes your browser or phone, please let us know :) Let's get rid of graphics driver bugs! #demo" target="_blank" rel="nofollow noopener">graphicsfuzz.com/#demo

Many thanks to @ImperialInnova for the support in spinning-out #GraphicsFuzz from @imperialcollege! Exciting times ahead :) imperialinnovations.co.uk/news-events/ne…

@mweinbachDev Thanks again for your work on the S9 reboot issue, much appreciated! Cheers

It was informative writing the joint report from @GraphicsFuzz & @xdadevelopers The way GraphicsFuzz reported and handled the bug report was professional and how more reports should be handle. Testing it myself really shed light on how big of a deal it is. goo.gl/ctbCea

The Snapdragon Samsung Galaxy S9 has a GPU Stability Bug that can be Exploited to Trigger Remote Reboots xda-developers.com/the-snapdragon…

We found a GPU bug on the @SamsungMobile Snapdragon Galaxy S9 that enables to remotely reboot the device via a valid WebGL page! Thanks to @xdadevelopers for the coverage: xda-developers.com/the-snapdragon… #GraphicsFuzz

Can't wait to see how many GPU driver bugs are fixed, and how many new bugs are introduced ;) @GraphicsFuzz

Our paper "CROCHET: Checkpoint and Rollback via Lightweight Heap Traversal on Stock JVMs" co-authored with @_jon_bell_ was accepted at @ECOOPconf #ECOOP18!

At last I found this gem which enables to share contents without doing round-trips to US servers and cripple local network: github.com/oblique/create…

@HeidyKhlaaf Congrats!

The final version of my PhD Dissertation has been submitted! I don't think I want to reason about temporal logic for quite sometime. Okay maybe just once more 🙃 AGAX thoughts -> A ~(TL) W rest. For those who have asked, a PDF version can be found here: heidyk.com/publications/K…

The @GraphicsFuzz demo found 3 issues (12/15 tests passed) on my desktop device, affecting my @intel GPU driver Give it a try: #demo" target="_blank" rel="nofollow noopener">graphicsfuzz.com/#demo #GraphicsFuzz graphicsfuzz.com/benchmark/andr…

Spotted on a London #BlackCab the other night. Looks like it's time for TaxiFuzz!