Reversible causally-consistent debugging of concurrent programs

Full project page

Organisations map overview