Periodic Reporting for period 1 - RCADE (Reversible causally-consistent debugging of concurrent programs)

Modern computing devices execute complex software to provide every-day services and applications. The development of such software is challenging, time-consuming and costly. It involves writing a program code, testing it and debugging it, namely finding an error in the code...