Posted: 5th February 2014

Four papers co-authored by Oxford people have been accepted into PLDI'14.  PLDI is a top-tier conference in the area of programming languages and systems, typically with acceptance rate around 20%. The accepted papers are:

•  Program Consolidation.
  Marcelo Sousa, University of Oxford; Isil Dillig, Microsoft Research; Dimitrios Vytiniotis, Microsoft Research; Thomas Dillig, UCL; Christos Gkantsidis, Microsoft Research.
• Selective Context-Sensitivity Guided by Impact Pre-Analysis.
  Hakjoo Oh, Seoul National University; Wonchan Lee, Seoul National University; Kihong Heo, Seoul National University; Hongseok Yang, University of Oxford; Kwangkeun Yi, Seoul National University.
• On Abstraction Refinement for Program Analyses in Datalog.
  Xin Zhang, Georgia Institute of Technology; Ravi Mangal, Georgia Institute of Technology; Radu Grigore, University of Oxford; Mayur Naik, Georgia Institute of Technology; Hongseok Yang, University of Oxford.
• Hybrid Top-down and Bottom-up Interprocedural Analysis.
  Xin Zhang, Georgia Institute of Technology; Ravi Mangal, Georgia Institute of Technology; Mayur Naik, Georgia Institute of Technology; Hongseok Yang, University of Oxford.

The conference will take place in Edinburgh, Scotland in June. Further information about PLDI'14 is available from:

http://conferences.inf.ed.ac.uk/pldi2014/