Best paper award at CONCUR 2012

Hongseouk Yang received a best paper award at the recent The 23rd International Conference on Concurrency Theory (CONCUR 2012). The paper, Linearizability with Ownership Transfer, was co-authored by Alexey Gotsman  (IMDEA Software Institute, Madrid, Spain) and Oxfords’ Hongseok Yang.

Two other papers co-authored by members of the Department were presented at the conference: 

• Efficient Coverability Analysis by Proof Minimization by Alexander Kaiser, Daniel Kroening and Thomas Wahl

• Playing Stochastic Games Precisely by Taolue Chen, Vojtech Forejt, Marta Kwiatkowska, Aistis Simaitis, Ashutosh Trivedi (University of Pennsylvania) and Michael Ummels (Technische Universitat Dresden). 

The event, held in Newcastle upon Tyne, England, is described as “bringing together researchers, developers, and students in order to advance the theory of concurrency, and promote its applications.” CONCUR 2012 was a part of  The Newcastle Connection 2012 which is a week-long series of meetings for academic and industrial researchers working on topics relating to the formal modelling, analysis and engineering of complex computing systems, including those involving high degree of concurrency in their dynamic behaviour.