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
322 commits behind the upstream repository.
2019-07-26-srepls.md 797 B 
title: Emanuele D'Osualdo and Shale Xiong, talks at Surrey Concurrency Workshop and S-REPLS

Emanuele D'Osualdo and Shale Xiong gave talks at this year's Surrey Concurrency Workshop and S-REPLS.

The two-day workshop, which was hosted by the University of Surrey this year, is aimed at bringing together researchers working on the theory of concurrency and the semantics and implementation of programming languages.

You can find the abstract for Emanuele’s talk on TaDA Live and Shale’s talk on Data Consistency in Transactional Storage Systems on the workshop page.