diff --git a/_posts/2016-11-23-dagstuhl.md b/_posts/2016-11-23-dagstuhl.md index f7990f6835a0987440c35c6013dd117d325b3d8d..abcaee118532a471fd5cf72a694fe4eb0e1f1315 100644 --- a/_posts/2016-11-23-dagstuhl.md +++ b/_posts/2016-11-23-dagstuhl.md @@ -1,8 +1,9 @@ --- title: Talk at Dagstuhl Seminar on Concurrency with Weak Memory Models. --- + + Andrea Cerone was invited to attend the seminar on [Concurrency with Weak Memory Models](http://www.dagstuhl.de/en/program/calendar/semhp/?semnr=16471) at Schloss Dagstuhl last week. 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’ -