Skip to main content

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  1pm-5pm (online) Debugging Principles
06 November 1pm-5pm (online) Linaro DDT
26 November 1pm-5pm (online) Compiler Sanitizer
27 November 1pm-5pm (online) Correctness checker
8 December In-Person Wrap Up Wokshop at UCL  

 

Please visit the workshop website to learn more.


Acknowledgements

In collaboration with the UCL Advanced Research Computing Centre, the EPSRC CCMI CDTVI-HPS 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)].

 banner 1000