Hugues Evrard

[ETAPS Conferences (now on other platforms) @ETAPSconf]

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

[Hugues Evrard @HuguesEvrard]

@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!

[Hugues Evrard @HuguesEvrard]

@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: https://t.co/06wJeYgdw6

[Alastair Reid @alastair_d_reid]

Our @poplconf paper "ISA Semantics for ARMv8-A, RISC-V, and CHERI-MIPS" is now finalized https://t.co/Hk5iHnlPaQ
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.

[Alastair Donaldson @afd_icl]

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. https://t.co/bNBGTR96UZ

[GraphicsFuzz @GraphicsFuzz]

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. https://t.co/HkvFFQ42C8

[Hugues Evrard @HuguesEvrard]

Most impressive wedding entrance. Congratulations! #DarciAkhil2018

[Hugues Evrard @HuguesEvrard]

This may be of interest to anyone doing streaming video!
@OpenBroadcastSy @Keepixo_tweets
https://t.co/sbHVB2yPuK

[Hugues Evrard @HuguesEvrard]

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!

https://t.co/t0ZQFyVjGK

[GraphicsFuzz @GraphicsFuzz]

Many thanks to @ImperialInnova for the support in spinning-out #GraphicsFuzz from @imperialcollege!

Exciting times ahead :)

https://t.co/oaptPDUbuF

[Hugues Evrard @HuguesEvrard]

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

[Max Weinbach @mweinbach]

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. https://t.co/Xf1BpTUUrt

[XDA @xdadevelopers]

The Snapdragon Samsung Galaxy S9 has a GPU Stability Bug that can be Exploited to Trigger Remote Reboots https://t.co/4o9HEmHedJ

[GraphicsFuzz @GraphicsFuzz]

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: https://t.co/jlmgCgsFny #GraphicsFuzz

[Hugues Evrard @HuguesEvrard]

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

[Luís Pina @luisggpina]

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

[Hugues Evrard @HuguesEvrard]

At last I found this gem which enables to share contents without doing round-trips to US servers and cripple local network: https://t.co/E1Ja2Hdrcz

[Hugues Evrard @HuguesEvrard]

@HeidyKhlaaf Congrats!

[GraphicsFuzz @GraphicsFuzz]

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