diff --git a/_posts/25-11-2016-Dagstuhl.md b/_posts/25-11-2016-Dagstuhl.md index e3d4c39e56a07f49661befda9e62a73df622e2b0..1389452e0b5e17b880f5264a221136f0fa05015c 100644 --- a/_posts/25-11-2016-Dagstuhl.md +++ b/_posts/25-11-2016-Dagstuhl.md @@ -5,3 +5,4 @@ Andrea Cerone was invited to attend the seminar on [Concurrency with Weak Memory The seminar covered a wide range of topics, including fundamental results in the theory underlying weak memory models, applications in the fields of hardware architectures, compiler optimisations and transactional systems, as well as static analysis techniques for the analysis of programs. Andrea Cerone gave a talk on ‘Analyzing Snapshot Isolation’ +[