Posted: 10th January 2012

Two papers, co-authored by Oxford Computer Scientists have been accepted to the 22nd European Symposium on Programming.

These are:

• A Compositional Specification Theory for Component Behaviours by Taolue Chen, Chris Chilton, Bengt Jonsson (Uppsala University, Sweden) and Marta Kwiatkowska.
• Concurrent library correctness on the TSO memory model by Sebastian Burckhardt (Microsoft Research) Alexey Gotsman (IMDEA Software Institute) Madanlal Musuvathi (Microsoft Research) and Hongseok Yang.

ESOP is devoted to fundamental issues in the specification, design, analysis, and implementation of programming languages and systems. ESOP seeks contributions on all aspects of programming language research including, programming paradigms and styles, concurrency and distribution. And, methods and tools to write and specify programs and languages, for reasoning about programs implementation. 

ESOP is a member conference of the European Joint Conferences on Theory and Practice of Software (ETAPS), which is the primary European forum for academic and industrial researchers working on topics relating to Software Science.