From c2431ed42a1444726ee0edcfdde3cb59690096bb Mon Sep 17 00:00:00 2001 From: Teresa Carbajo-Garcia <t.carbajo-garcia@imperial.ac.uk> Date: Fri, 25 Nov 2016 12:43:35 +0000 Subject: [PATCH] Add new file --- _posts/2016-11-23-Dagstuhl.md | 5 +++++ 1 file changed, 5 insertions(+) create mode 100644 _posts/2016-11-23-Dagstuhl.md diff --git a/_posts/2016-11-23-Dagstuhl.md b/_posts/2016-11-23-Dagstuhl.md new file mode 100644 index 0000000..efc30c5 --- /dev/null +++ b/_posts/2016-11-23-Dagstuhl.md @@ -0,0 +1,5 @@ +Andrea Cerone was invited to attend the seminar on [Concurrency with Weak Memory Models](http://www.dagstuhl.de/en/program/calendar/semhp/?semnr=16471) held 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’ +[ -- GitLab