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).
- Another paper by Pierre Yves Strub (IMDEA Software) and Gavin Bierman, Juan Chen, Cédric Fournet and Nikhil Swamy (Microsoft Research), is on gradual typing securely embedded in JavaScript, with Karthikeyan Bhargavan (INRIA) and Aseem Rastogi (University of Maryland and Microsoft Research).
- 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.