Debugging, Testing and Correctness Workshop Series

Debugging, Testing and Correctness Workshop Series 2023

In collaboration with The Scientific Computing Department at Durham University, DiRAC is pleased to present a Debugging, Testing and Correctness Workshop Series. Within modern, complex software landscapes, developers typically spend a significant proportion of their time on finding bugs and delivering correct code. This 5-day workshop Series held in late November/December is for individuals and small groups of developers who want to acquire new skills in this area.

Course Content

23 November 2023. From printf to a proper bug finding strategy – debugging and testing basics (Mladen Ivkovic, Durham) – Vis Lab MSC 1022 (Computer Science)
- 9:00-10:00 Welcome notes & Participants introduce themselves and their codes
- 10:00-12:00 Lecture/workshop with hands-on session
- 13:00-14:00 Seminar by the SciComp group – externals invited
- 14:00-16:00 Participants try out techniques with their own codes
28 November 2023. Compiler-based feedback (Joachim Jenke, RWTH Aachen) – Pennington Room, Grey College
- 9:00-12:00 Lecture/workshop with hands-on sessions
- 13:00-15:00 Participants try out techniques with their own codes
29 November 2023. Parallel program validation: MUST (Joachim Jenke, RWTH Aachen) – W010 (Geography)
- 9:00-12:00 Lecture/workshop with hands-on sessions
- 13:00-15:00 Participants try out techniques with their own codes
5 December 2023. DDT: Scalable debugging – MPI, threading, CUDA, … (Rudy Shand, Linaro) – W414 (Geography)
- 9:00-10:30 Lecture/workshop
- 10:30-12:00 Hands-on session
- 13:00-15:00 Participants try out DDT with their own codes
14 December 2023. Continuous integration and systematic testing – gitlab runners and github actions (Sean Baccas, Durham) – Vis Lab MSC 1022 (Computer Science)
- 9:00-11:00 Lecture/workshop
- 11:00-12:00 Feedback session: participants reflect on lessons learned
- 13:00-15:00 Participants set up CI pipeline themselves