Causality Checking at Microsoft Research
Stefan Leue, my PhD supervisor, recently visited Microsoft Research in Redmond and gave a lecture on the Causality Checking method we currently develop. Causality Checking will make up a large part of my PhD thesis. A video of the lecture is available online here. Here is the abstract of his talk: I will introduce Causality Checking, a technique …