Correctness and Debugging Workshop Series
Correctness and Debugging Workshop Series
Within modern, complex software landscapes, developers typically spend a significant proportion of their time on debugging. Studies estimate that more time is required to find bugs than to write actual code. Finding bugs and delivering correct(er) code becomes more difficult with modern HPC systems which offer unprecedented concurrency: The systems become heterogeneous, i.e. process code differently, bugs become non-deterministic. Different programming models are often used in combination, complicating questions of correctness and debugging further.
This workshop series gives a hand-on introduction to modern tools for debugging and correctness checking. It consists of the following events.
| Date | Time | Topic |
|---|---|---|
| 05 November | 1 pm – 5 pm (online) | Debugging Principles |
| 06 November | 1 pm – 5 pm (online) | Linaro DDT |
| 26 November | 1 pm – 5 pm (online) | Compiler Sanitizer |
| 28 November | 1 pm – 5 pm (online) | Correctness Checker |
| 08 December | In-Person Wrap Up Workshop at UCL | — |
Acknowledgements
In collaboration with the UCL Advanced Research Computing Centre, the EPSRC CCMI CDT, {VI-HPS}(https://www.vi-hps.org/) and the Institute for Data Science (Durham University). The organisers appreciate support through the UKRI Digital Research Infrastructure Programme [grant number UKRI/ST/B000293/1 (HAI-End)].