Four joint papers by Microsoft Research and IMDEA Software Institute researchers were presented at the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2014), a top-ranked conference in the area of programming languages and systems.
- IMDEA Software faculty members Gilles Barthe and Pierre Yves Strub and Microsoft Research members Cédric Fournet, Nikhil Swamy and Santiago Zanella-Béguelin, have a paper on probabilistic relational verification for cryptographic implementations, together with Benjamin Grégoire (INRIA).
- IMDEA Software faculty member Alexey Gotsman and Sebastian Burckhardt (Microsoft Research), have a paper on specification, verification and optimality of replicated data types, with Hongseok Yang (University of Oxford) and Marek Zawirski (INRIA and UPMC-LIP6).
- IMDEA Software researcher Ilya Sergey with Dimitrios Vytiniotis and Simon Peyton Jones (Microsoft Research) have a paper on theory and practice of higher-order cardinality analysis.
These four papers are among 51 papers selected for publication out of 220 submissions to the conference.