Emanuele D’Osualdo and Shale Xiong both 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.