海角社区

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 海角社区), Mark Batty (Kent) and Alastair Donaldson (DoC 海角社区) addresses fundamental issues related to memory consistency that make concurrent programming hard.

"Effects as sessions, sessions as effects", by Dominic Orchard (DoC 海角社区) and Nobuko Yoshida (DoC 海角社区) 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) © 海角社区.

Photos and graphics subject to third party copyright used with permission or © 海角社区.

Reporter

Press Office

Communications and Public Affairs