VerifyThis 2024

verifyThis 2023 was organized by Paula Herber (University of Münster) and Alexander J. Summers (University of British Columbia) at ETAPS 2024 in Luxembourg.

Challenges

0. Challenge 0: The Rope Data Structure (PDF, 131 KB)
1. Challenge 1: Smart Array Copy by Shuffled Subsegments (PDF, 137 KB)
2. Challenge 2+3: Work-Stealing for Task Trees (PDF, 145 KB)

Solutions

• Jean-Christophe Filliâtre: Challenge 0 Challenge 1

• … more to follow.

Prizes

The winners from 2024 are:

• Best Team: “YYY”: Jean-Christophe Filliâtre
• Best Student Team:
  • 1st place: “Seattle Sunshine” Jonáš Fiala and Thibault Dardinier
  • 2nd place: “VerCors {P1*P2}” :Alexander Stekelenburg and Pieter Bos
• Most Impressive Tool: Medley
  “Seriously”: Hanna Lachnitt, Gidon Ernst
• Best Contributed Problem: Arthur Charguéraud

Sponsors

We gratefully acknowledge generous sponsorship from Amazon Web Services and Cyberagentur.