Two Department of Computing papers at POPL'16

Papers by DoC staff Alastair Donaldson, Nobuko Yoshida, and Dominic Orchard have been accepted for presentation at POPL'16.

Two papers from research groups in the Department of Computing have been accepted for presentation at the 43rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, one of the leading conferences in the field of Programming Languages.

"Overhauling SC atomics in C11 and OpenCL", by John Wickerson (EEE Imperial), Mark Batty (Kent) and Alastair Donaldson (DoC Imperial) addresses fundamental issues related to memory consistency that make concurrent programming hard.

"Effects as sessions, sessions as effects", by Dominic Orchard (DoC Imperial) and Nobuko Yoshida (DoC Imperial) explores the relative expressive power of effect type systems and session type systems, and gives an implementation of session types in Haskell.

The conference will take place in St Petersburg, Florida, in January 2016.

The list of accepted papers is here:  http://conf.researchr.org/track/POPL-2016/POPL-2016-papers#event-overview