Papers accepted to PLDI'14
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: