Gilles Barthe, Juan Manuel Crespo, César Kunz y Mark Marron, investigadores de IMDEA Software, ganan el premio a la mejor contribución en el 18 ACM SIGPLAN Simposium en Principios y Práctica de Programación Paralela (PPoPP'2013) con su artículo From Relational Verification to SIMD Loop Synthesis.
El artículo cuenta con la colaboración de Sumit Gulwani (Microsoft Research) como co-autor.
