Skip to content
Snippets Groups Projects
Select Git revision
  • master default
  • fix-bibtex-unicode-filter
  • dataspy-hacking
3 results
Blame Permalink
Forked from Verified Software / psvg.doc.ic.ac.uk
276 commits behind the upstream repository.
2016-11-23-dagstuhl.md 689 B 
title: Talk at Dagstuhl Seminar

Andrea Cerone was invited to attend the seminar on Concurrency with Weak Memory Models at Schloss Dagstuhl last week.

Andrea Cerone at Dagstuhl with former colleague Giovanni Bernardi

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'.