The IMDEA Software Institute has recently joined 4Caast, a EU project
in collaboration with Telefonica, SAP, France Telecom, Nokia, Bull,
2nd Quadrant, Flexiscale, Bonitasoft, and a number of academic
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...
An inter-institutional agreement has been signed between ETH Zurich
and IMDEA Software to jointly develop the ActionGUI technology.
ActionGUI is a technology that supports the model-driven
development of secure software systems....