admin

Talk by Susmit Sarkar

Title: “Shared-Memory Concurrency in the Real World: Working with Relaxed Memory Consistency” Abstract: Shared-memory concurrency is now mainstream, from phones to servers. However, real-world implementations do not validate the basic assumption of Sequential Consistency traditionally made in work on concurrent programming and verification. Instead, we get subtle relaxed consistency models. Furthermore, the consistency models of Talk by Susmit Sarkar

Scottish Programming Languages Seminar (SPLS) at St Andrews

The SLPS is a forum for discussion of all aspects of programming languages. We meet for a day once every few months, at some congenial location in Scotland. You will find the program and schedule for the next session of SPLS at St Andrews here.