Cinco trabajos de investigadores del Instituto IMDEA Software han sido aceptados en el 41° ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2014), un congreso del máximo nivel en el campo de los lenguajes y sistemas de programación.
Los investigadores de IMDEA Software Gilles Barthe y Pierre-Yves Strub tienen un artículo sobre la verificación probabilística y relacional de las implementaciones criptográficas, junto a Cédric Fournet, Nikhil Swamy y Santiago Zanella-Béguelin (Microsoft Research) y Benjamin Grégoire (INRIA).
Otro artículo por Pierre-Yves Strub trata el tema de tipado gradual encapsulado en modo seguro para JavaScript, junto a Karthikeyan Bhargavan (INRIA), Gavin Bierman, Juan Chen, Cédric Fournet y Nikhil Swamy (Microsoft Research) y Aseem Rastogi (Universidad de Maryland y Microsoft Research).
El investigador de IMDEA Software Alexey Gotsman presenta un artículo sobre la verificación y optimización de los tipos de datos replicados, junto a Sebastian Burckhardt (Microsoft Research), Hongseok Yang (Universidad de Oxford), y Marek Zawirski (INRIA y UPMC-LIP6).
Los investigadores de IMDEA Software Anindya Banerjee y Aleks Nanevski presentan un artículo que trata el tema del razonamiento modular sobre las trayectorias en la pila de memoria a través de fórmulas efectivamente proposicionales, junto a Shachar Itzhaky, Ori Lahav and Mooly Sagiv (Universidad de Tel Aviv) y Neil Immerman (Universidad de Massachusetts).
El investigador post-doctoral de IMDEA Software Ilya Sergey presenta un artículo sobre teoría y práxis del análisis de cardinalidad de orden superior, junto a Dimitrios Vytiniotis y Simon Peyton Jones (Microsoft Research).
Esos cinco artículos forman parte de las 51 publicaciones escogidas entre las 220 enviadas por investigadores de todo el mundo.
