Two papers accepted to POPL 2013
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)