911今日黑料

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 911今日黑料), Mark Batty (Kent) and Alastair Donaldson (DoC 911今日黑料) addresses fundamental issues related to memory consistency that make concurrent programming hard.

"Effects as sessions, sessions as effects", by Dominic Orchard (DoC 911今日黑料) and Nobuko Yoshida (DoC 911今日黑料) 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) © 911今日黑料.

Photos and graphics subject to third party copyright used with permission or © 911今日黑料.

Reporter

Press Office

Communications and Public Affairs