Gilles Barthe, Juan Manuel Crespo, Cesar Kunz, and Mark Marron, IMDEA Software researchers, win the best paper award at The 18th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP'2013), for their article From Relational Verification to SIMD Loop Synthesis.

The paper is co-authored by Sumit Gulwani (Microsoft Research).