VerifyThis 2022

verifyThis 2022 was organized by Marie Farrell and Peter Lammich.

The competition report can be found here (PDF, 285 KB).

Challenges

• Challenge 1: Downsampling a Point Cloud (PDF, 131 KB)
• Challenge 2: Mergesort with Runs (PDF, 121 KB)
• Challenge 3: The World’s Simplest Lock-Free Hash Set (PDF, 125 KB)

Prizes

• Best Overall Team

  1. Acid Jazz: Jonas Fiala, Thibault Dardinier
  2. 2nd place VerCors Yellow: Robert Rubbens, Philip Tasche and Team CIVL: Stephen Siegel

• Distinguished tool feature
  Tool: Stainless

  Used by team: assert(false): Noé De Santo, Mario Bucev