Skip to main content

Two papers accepted to POPL 2013


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)