🔥The 9th Round of Easy Loan, Earn $40 Reward is in progress❗️ ⏰ Promotion Period: January 15th - Feburary 15th, 2025 👉 Register now and check more details at gate.io/campaigns/358

Most impressive wedding entrance. Congratulations! #DarciAkhil2018

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

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

Our POPL 2026 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.

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

Has anyone did some machine learning magic to do automatic paper review bidding based on one's own publications / current interests / retweets? I would consider bidding for such a paper!

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

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…

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

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 Samsung Mobile Snapdragon Galaxy S9 that enables to remotely reboot the device via a valid WebGL page! Thanks to XDA for the coverage: xda-developers.com/the-snapdragon… #GraphicsFuzz

It was informative writing the joint report from GraphicsFuzz & XDA 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

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

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! graphicsfuzz.com/#demo

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