Hans-Dieter Hiep and Stijn de Gouw received a Google Award on 22nd of June, 2023 for finding an integer overflow bug in the LinkedList implementation of the OpenJDK using the KeY verification system.
We congratulate them to their impressive achievement!
If you want find out more about their work you can read the extended version here:
