Posted: 12th June 2014

A paper co-authored by two Oxford computer scientists has won a distinguished paper award  at PLDI'14 - The 35th annual ACM SIGPLAN conference on Programming Language Design and Implementation. PLDI is a top-tier conference in the area of programming languages and systems, typically with acceptance rate around 20%. Of around 50 accepted papers, this was one of just 3 papers to win a distinguished paper award.

The winning paper was “On Abstraction Refinement for Program Analyses in Datalog”  by  Xin Zhang, Ravi Mangal (Georgia Institute of Technology), Radu Grigore (Oxford University), Mayur Naik (Georgia Institute of Technology), Hongseok Yang (Oxford University).

The conference took place in Edinburgh in June 2014.