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