Posted: 2nd October 2012

Two papers authored by Oxford Computer Scientists have been accepted at POPL 2013  - the 40th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages.

• Abstract Conflict Driven Learning.
  Vijay D'Silva (University of California, Berkeley) and Leopold Haller and Daniel Kroening (University of Oxford)
• Views: Compositional Reasoning for Concurrent Programs.
  Thomas Dinsdale-Young (Imperial College), Lars Birkedal (IT University of Copenhagen), Philppa Gardner (Imperial College), Matthew Parkinson (Microsoft Research), and Hongseok Yang (University of Oxford)