51勛圖厙

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 51勛圖厙), Mark Batty (Kent) and Alastair Donaldson (DoC 51勛圖厙) addresses fundamental issues related to memory consistency that make concurrent programming hard.

"Effects as sessions, sessions as effects", by Dominic Orchard (DoC 51勛圖厙) and Nobuko Yoshida (DoC 51勛圖厙) 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:  

Article text (excluding photos or graphics) © 51勛圖厙.

Photos and graphics subject to third party copyright used with permission or © 51勛圖厙.

Reporter

Press Office

Communications and Public Affairs