Updates

  • 26/07/17 results and solutions uploaded
  • 12/06/17 parallel problems updated
  • 26/05/17 parallel problems released
  • 01/03/17 parallel training problems released
  • 15/02/17 sequential problems released
  • 01/02/17 training sequential up, challenge problems postponed
  • 27/01/17 update on parallel problems

Important Dates:

  • 12/07/17
       RERS at ISSTA/SPIN
  • 01/02/17
       Release Sequential Training    Problems
  • 15/02/17
       Release Sequential    Problems
  • 01/03/17
       Release Parallel Training    Problems
  • 26/05/17
       Release Parallel Problems
  • 01/02/17 - 01/07/17
       Challenge Phase
  • 15/02/17 - 01/07/17
       Solution Submission

The RERS Workshop @ ISSTA/SPIN Conferences 2017

The official meeting of the RERS community will take place on Wednesday July 12, 2017 in Santa Barbara, CA, USA. It is co-located with the ISSTA and SPIN conferences. For registration, please visit the ISSTA website. The conferences will take place from July 10 to July 14, 2017.

Workshop Program, July 12th:

  • 09:00 – 10:00: RERS 2017 challenge overview, scored achievements, and ranking
                            (Bernhard Steffen)
  • 10:30 – 12:00: Approaches and results (presentations by participants)
  • 13:30 – 15:00: Generating the RERS 2017 parallel verification benchmarks (Marc Jasper)
                            Exploiting benchmark data by machine learning (Jeroen Meijer)
  • 15:30 – 16:30: Potential future additions - Data race detection and CIVL
                            (invited talk by Stephen Siegel)
  • 16:30 – 17:30: Discussion panel