Skip to main content

Papers accepted to PLDI'14

Posted:

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/