Rating is available when the video has been rented.
This feature is not available right now. Please try again later.
Streamed live on Jul 15, 2015
Welcome to the Imperial Concurrency Workshop, live from Imperial College London! We have an exciting two days of talks about cutting edge concurrency research. Additional information including our schedule can be found here: http://icw.soundandcomplete.org
Session 1 - Concurrency Analysis Tools 7:44 - Robustness against Relaxed Memory Models - Roland Meyer (U Kaiserslautern) 35:44 - From Communicating Machines to Graphical Choreographies - Julien Lange (Imperial)
Session 2 - Concurrency and Type Theory 1:23:25 - Type theory of processes: A beginning - Uday Reddy (U Birmingham) 1:54:15 - Inferring Session Types in ML - Carlo Spaccasassi (Trinity College Dublin)
Session 3: Practical Concurrency 2:37:14 - Verifying a Single-Producer Stack - Matt Windsor (U York) 3:02:02 - An Empirical and Pragmatic Study of Weak Memory Behaviours on GPUs - Tyler Sorensen (UCL/Imperial)
Session 4: C11 Concurrency 3:45:50 - Overhauling SC atomics in C11 and OpenCL - John Wickerson (Imperial) 4:15:30 - Compositional C11 Program Transformation - Mike Dodds (U York)