Gilles Barthe ha impartido una de las dos conferencias plenarias en ETAPS 2013, presentando su trabajo sobre Computer-aided Cryptographic Proofs, desarrollada en el Instituto IMDEA Software. El sitio web de la herramienta EasyCrypt proporciona información adicional y referencias sobre esta línea de trabajo.
Las "European Joint Conferences on Theory and Practice of Software (ETAPS)" representan el máximo foro a nivel Europeo para los investigadores académicos e industriales que trabajan en temas relacionados con la ciencia del Software. Establecida en 1998, ETAPS es una confederación de seis importantes congresos anuales (CC, ESOP, FASE, FOSSACS, TACAS and POST) acompañados de talleres y otros eventos satélite.
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.
El Instituto IMDEA Software ha conseguido financiación para AutoCrypt, un proyecto conjunto con Stanford University, University of Pennsylvania, y Stanford Research Institute. El proyecto está financiado por ONR y su duración es de julio de 2012 hasta julio de 2015.
El objetivo de AutoCrypt es conseguir proporcionar, mediante la aplicación de un programa de ordenador, garantías matemáticas de que un algoritmo criptográfico es seguro, y que es adecuado para un producto, proceso, o servicio dado.
El equipo del Instituto IMDEA Software utilizará la herramienta EasyCrypt para desarrollar una clasificación sistemática de algoritmos criptográficos y para crear un atlas criptográfico que será utilizado por investigadores y empresas para elegir el más apropiado a sus necesidades.
The AMAROUT-II program is now OPEN for new applications for fellowships. This EU Marie Curie (PEOPLE-COFUND) programme, coordinated by the IMDEA Software Institute, offers 152 fellowships during the next 4 years to experienced researchers to help develop their individual research projects within any one of the research institutes comprising the IMDEA network. Each fellowship funds a researcher for up to three years. The call for applications will remain open until September, 30 2015, with periodic closing dates. For more information see AMAROUT-II. Coordinator contact: Marta Sedano.
Alexey Gotsman ganó el premio al mejor artículo en la 23 Conferencia Internacional sobre Teoría de Concurrencia (CONCUR 2012). El artículo, titulado "Linearizability with Ownership Transfer", tiene como coautor a Hongseok Yang (Oxford University).
La "linearizabilidad" es la noción de corrección más utilizada en librerías concurrentes. Este artículo generaliza la noción de linearizabilidad a lenguajes de programación convencionales, en los que las librerías y sus clientes se pueden comunicar a través de la memoria heap, y transferirse la propiedad de estructuras de datos, e incluso pueden ejecutar en el mismo espacio de direcciones sin mecanismos de protección de memoria.
El Instituto IMDEA Software ha conseguido financiación de la Unión Europea para el proyecto ``ENTRA (Whole-Systems Energy Transparency)'', cuyo objetivo es promover el desarrollo de software consciente del consumo de energía, que permita la producción de sistemas TI más "ecológicos", es decir, de bajo consumo energético. En el contexto del proyecto, con fecha de comienzo 1 de Octubre de 2012, investigadores del Instituto IMDEA Software inventarán y desarrollarán herramientas para el análisis y modelado de la energía consumida por los programas en sistemas de computación, que permitirán predecir el consumo de energía en etapas tempranas del diseño de software. ENTRA está financiado por el 7º Programa Marco de la UE, bajo el esquema de Tecnologías Futuras y Emergentes (FET), con un presupuesto total de 2.1 millones de Euros. Además del Instituto IMDEA Software y la Universiad de Roskilde, que coordina el proyecto, el consorcio incluye también a la empresa inglesa XMOS Ltd. y a la Universidad de Bristol.
Coordinador del proyecto en IMDEA Software: Pedro López-García
Portal web: ENTRA
The IMDEA Network of institutes have been granted AMAROUT-II, an EU Marie Curie (PEOPLE-COFUND) programme that will offer 152 fellowships during the next 4 years to experienced researchers to help develop their individual research projects within any one of the research institutes comprising the IMDEA network. Each fellowship funds a researcher for up to three years. A permanent call for applications will be opened on October, 1 2012 and will run until September, 30 2015, with periodic closing dates. The program, coordinated by the IMDEA Software Institute, is designed to support transnational mobility of experienced researchers offering attractive working conditions and providing opportunities to deepen and widen researcher skills. AMAROUT-II is a continuation of AMAROUT, a highly successful COFUND programme which is now closed for applications.
For more information see AMAROUT-II. Coordinator contact: Marta Sedano.
El Instituto IMDEA Software ha publicado su informe anual 2011.
Santiago Zanella, que completó su doctorado en IMDEA Software bajo la supervisión del Prof. Gilles Barthe, ha sido el ganador del premio EAPLS 2011 a la mejor tesis doctoral por su tesis "Formal Certification of Game-Based Cryptographic Proofs" presentada en la École Nationale Supérieure des Mines de París en 2010.
Este premio lo concede la European Association on Programming Languages and Systems al estudiante de doctorado que realice la contribución más original e influyente en el área de lenguajes de programación y sistemas, y que se haya graduado antes de noviembre de 2011 en una institución académica europea. El propósito del premio es atraer la atención al trabajo de excelencia, ayudar a la carrera del estudiante en cuestión, y promover el campo de investigación en su conjunto.
El ganador fue seleccionado por un comité de expertos internacionales. Aquí se pueden ver más detalles del procedimiento. Las tesis candidatas se juzgaron por su originalidad, impacto, relevancia y calidad.
Con esta última edición son ya dos los investigadores del Instituto IMDEA Software que han conseguido este prestigioso reconocimiento.
Los investigadores del Instituto IMDEA Software Alexey Gotsman y Mark Marron han obtenido 2 de los 10 Premios de la Fundación para la Innovación en la Ingeniería de Software (Microsoft Software Engineering Innovation Foundation - SEIF) concedidos por Microsoft Research en 2012.
Microsoft Research creó estos premios para promover la investigación en tecnologías de ingeniería del software, herramientas, prácticas y formación. Además de los investigadores del Instituto IMDEA Software Alexey Gotsman y Mark Marron en España, tan sólo otras 8 personas de entre más de 100 solicitudes han conseguido este premio en 2011: 1 en Suiza, 1 en Canadá y 6 en E.E.U.U.
Alexey Gotsman y Mark Marron serán reconocidos públicamemente en el nuevo día SEIF, que se celebrará el 18 de Julio de 2012 en Redmond, EEUU. Esta celebración es un nuevo evento anual en el programa SEIF al que acudirán los ganadores actuales y de ediciones anteriores, investigadores influyentes de la ingeniería del software, e investigadores de Microsoft Research.
El artículo "Constraint-Based Runtime Prediction of SLA Violations in Service Orchestrations", escrito por los investigadores Dragan Ivanović, Manuel Carro, y Manuel Hermenegildo, del Instituto IMDEA Software y UPM, ha obtenido el premio al mejor artículo en ICSOC 2011,la novena edición del congreso Internacional en Computación Orientada a Servicios (ICSOC 2011), celebrada en Paphos, Chipre, del 5 al 8 de diciembre de 2011.
El artículo presenta y evalúa una técnica para predecir violaciones de acuerdos de nivel de servicio (SLA) en orquestaciones de servicios y para determinar bajo qué condiciones dichas violacions pueden o no ocurrir. La técnica utilizada es un modelizado de la orquestación que puede evolucionar según se ejecuta el proceso por lo que es capaz de tener en cuenta cambios dinámicos en el mismo. En cada punto de control se genera una representación de la continuación del proceso (es decir, lo que queda por ser ejecutado) que se envía a un predictor el cual sintetiza, por medio de un intérprete simbólico, un sistema de restricciones que modeliza el comportamiento esperado hasta el final de la ejecución. El modelo expresado como restricciones se pasa a un resolutor basado en Prolog que recibe asimismo las condiciones de contorno que representan escenarios que fuerzan el cumplimiento o la violación de los SLAs. Los resultados del resolutor de restricciones indican los casos en los cuales se satisfacen o no los SLAs. La evaluación de la técnica bajo condiciones realistas obtenidas de ejecuciones bajo Microsoft Workflow Engine indican una precisión extremadamente alta en la predicción, con un número muy bajo (o, en algunos casos, nulo) de falsos positivos / falsos negativos.
El artículo Computer-Aided Security Proofs for the Working Cryptographer, del que son coautores los investigadores del Instituto IMDEA Software Gilles Barthe y Santiago Zanella con colegas del INRIA, ha ganado el Premio al Mejor Artículo en CRYPTO 2011, el 31 Congreso Internacional de Criptografía celebrado en la Universidad de California, Santa Barbara, del 14 al 18 de agosto de 2011.
Puede ver la presentación del paper en CRYPTO'11:
El artículo presenta EasyCrypt, una herramienta automática para la elaboración de pruebas de seguridad de sistemas criptográficos que utiliza resolutores SMT y demostradores automáticos de teoremas estándares. La herramienta es sustancialmente más fácil de utilizar que sus predecesoras y podría ser candidata a ser adoptada por criptógrafos en su trabajo diario. La utilidad de la herramienta se ilustra a través de su aplicación a pruebas de seguridad de los criptosistemas Cramer-Shoup y Hashed ElGamal.
El artículo Measuring Pay-per-Install: The Commoditization of Malware Distribution, del que es co-autor Juan Caballero, Assistant Professor en el Instituto IMDEA Software es el ganador de un Outstanding Paper Award en el simposio Usenix Security 2011.
El artículo presenta un trabajo reciente de Caballero en colaboración con investigadores de la Universidad de California en Berkeley que sugiere que la mayor parte del "malware" en los ordenadores personales ha sido instalado silenciosamente por hackers con cultura empresarial, los cuales venden el acceso a los ordenadores infectados a bandas criminales en un mercado clandestino de infecciones denominado "Pay-per-install" (PPI). Este artículo ha sido reflejado recientemente en el "MIT Technology review".
Manuel Hermenegildo, Director del Instituto, ha formado parte, con los profesores Michael Leuschel (Universidad de Düsseldorf) y Antonio Porto (Universidad de Lisboa) del equipo ganador del 18 Concurso de Programación Prolog en el 27 Comgreso Internacional de Programción Lógica en Lexington, Kentucky, EEUU. Se utilizó para ello por supuesto el sistema Ciao que fue declarado "sistema Prolog del año." Y todo ello teniendo que soportar que los organizadores del concurso se refirieran a ellos como el equipo de los "viejos"...
Pavithra Prabhakar obtuvo su doctorado en Informática por la universidad de Illinois en Urbana-Champaign (UIUC) en 2011. Anteriormente había recibido un masters en Applied Mathematics por la misma universidad. Pavithra también tiene un masters en Informática por Indian Institute of Science, Bangalore y un título en informática por National Institute of Technology, Warangal, en India.
Pavithra se unió al profesorado investigador del Instituto IMDEA Software en 2011, pero disfrutó de una estancia investigadora en el California Insitute of Technology como Fellow del CMI (Center for Mathematics of Information), retrasando su incorporación definitiva a IMDEA a septiembre de 2012. Pavithra también ha realizado estancias durante varios veranos en los Bell-Labs en Murray Hill (NJ), trabajando en la síntesis formal de servicios web.
Pavithra ha recibido el previo Sohaib and Sara Abbasi por UIUC y la medalla M.N.S Swamy medal del Indian Institute of Science.
Su área de investigación es el análisis formal de sistemas cyber-físicos (Cyber-Physical Systems). Ha publicado extensivamente en conferencias sobre Hybrid Systems y Métodos Formales. Una contribución de Pavithra en HSCC ha recibido el premio de mención honorífica.
El Instituto IMDEA Software ha publicado su Informe Anual 2010.
Alexey Gotsman, Assistant Professor en el Instituto IMDEA Software, ha recibido el premio de la EAPLS a la mejor tesis en 2010 por su tesis "Logics and analyses for concurrent heap-manipulating programs" realizado en el "Computer Laboratory" de la Universidad de Cambridge.
Este premio lo concede la European Association on Programming Languages and Systems al estudiante de doctorado que realice la contribución más original e influyente en el área de lenguajes de programación y sistemas, y que se haya graduado antes de noviembre de 2010 en una institución académica europea. El propósito del premio es atraer la atención a el trabajo de excelencia, ayudar a la carrera del estudiante en cuestión, y promover el campo de investigación en su conjunto.
El ganador fue seleccionado por un comité de expertos internacionales. Aquí se pueden ver más detalles del procedimiento. El trabajo del candidato fue juzgado por su originalidad, impacto, relevancia y calidad. Las conclusiones del jurado pueden verse aquí.
Laurent Mauborgne, Investigador en el Instituto IMDEA Software es uno de los ganadores del Intelligent Systems Best Paper Award por su artículo "Static Analysis and Verification of Aerospace Software by Abstract Interpretation" presentado en el 2010 AAIA Infotech@Aerospace.
Este premio lo otorga el American Institute of Aeronautics and Astronautics.
El Natural Science Research Council (FNU) de Dinamarca financiará durante 3 años (2011-2013) el proyecto "NUSA: Numerical and Symbolic Abstractions for Software Model Checking" liderado por John Gallagher .
El proyecto financia la colaboración entre Roskilde University y el Instituto IMDEA Software, así como con Ben-Gurion University de Israel, IRISA/Univ. Rennes de Francia y K.U. Leuven de Bélgica.
Los Institutos IMDEA participaron en los eventos en Madrid de la Noche de los Investigadores, una iniciativa pan-Europea que reúne al público en general con los investigadores una vez al año en el cuarto viernes de septiembre. La edición de 2010 se celebró el 24 de septiembre en 600 localizaciones de 250 ciudades europeas, en 33 países. En Madrid hubo varias actividades, entre ellas una mesa redonda con todos los directores de los Institutos IMDEA. Se realizó también, tras dicha mesa redonda, una Entrevista a Manuel Hermenegildo, Director del Instituto IMDEA Software.
Juan Caballero (Ph.D. Carnegie Mellon University, EEUU) se ha incorporado a IMDEA Software como Assistant Research Professor (tenure-track). Anteriormente ocupaba un puesto de Visiting Graduate Student en UC Berkeley.
Manuel Hermenegildo, Director of IMDEA Software, ha sido elegido miembro de la Academia Europaea.
La Consejera de Educación de la Comunidad de Madrid, Lucía Figar, visita las obras de construcción del edificio que será la sede definitiva del Instituto IMDEA Software Institute. Nota de prensa. Fotos.
Alexey Gotsman (Ph.D. University of Cambridge, 2009) se ha incorporado a IMDEA Software como Assistant Research Professor (tenure-track). Anteriormente, ocupaba un puesto de investigador postdoctoral en la Universidad de Cambridge, donde había obtenido su doctorado.
El Instituto IMDEA Software ha publicado su informe bianual 2008-09.
IMDEA Software ha organizado un workshop sobre "Industrialización de la Interpretación Abstracta" en el contexto del proyecto ES_PASS. Celebrado el 28 de Octubre de 2009 en Madrid, ha sido una exitosa experiencia en la que se han presentado los resultados del proyecto ES_PASS a una amplia y variada audiencia formada fundamentalmente por representantes de empresas, así como algunos centros de investigación, y se han establecido nuevos contactos y sinergias entre dichos participantes.
ES_PASS (Embedded Software Product-based Assurance) es un proyecto europeo del cluster ITEA2 cuyo objetivo es la mejora e integración de técnicas de verificación de software basadas en análisis estático en los procesos de ingeniería actuales dentro del área de sistemas embarcados de seguridad crítica.
El consorcio del proyecto incluye empresas tales como Airbus France, AbsInt, CS Systèmes d'Information, Continental Automotive France SAS, Thales Avionics, Daimler AG, Esterel Technologies, PSA Peugeot Citroen, Siemens VDO Automotive, EADS Astrium, GTD Barcelona, Onera, PolySpace Technologies, Thales Transportation, ALCATEL TSD y IFB Berlin, así como instituciones de investigación.
Coordinación local del proyecto y organización del workshop: Pedro López-García .
se ha incorporado al Instituto como Investigador. Anteriormente era profesor de la École normale superieure y profesor a tiempo parcial de la École Polytechnique, Francia. Recibió su doctorado en informática por la École Polytechnique en 1999, y la Habilitation à diriger les recherches de la Universidad Paris-Dauphine (Francia) en 2007.
Su investigación se centra en el análisis estático de programas y en la interpretación abstracta, con el objetivo de desarrollar tanto resultados teóricos como herramientas prácticas para analizar el comportamiento de programas. Laurent es uno de los autores del analizador Astrée, una herramienta que ha conseguido demostrar la ausencia de errores de ejecución en código crítico de aviónica.John Gallagher , investigador de IMDEA Software, y Henning Christiansen han ganado el premio a la mejor publicación en el Congreso Internacional de Programación Lógica 2009 en Pasadena, CA, EEUU por el artículo "Non-Discriminating Arguments and Their Uses". El premio lo otorga la Association for Logic Programming.
Gilles Barthe, Manuel Hermenegildo y Manuel Clavel participaron en la primera reunión del projecto HATS, celebrada en Bolonia (Italia) del 9 al 11 de marzo de 2009. HATS es un projecto europeo del 7 Programa Marco, orientado al desarrollo de familias de productos software. El nucleo científico del projecto consiste en la definición de un lenguaje para la especificación abstracta del comportamiento que permita la descripción precisa de las características y de los componentes tanto de las familias de productos software como de sus instancias. IMDEA Software forma parte del consorcio HATS, en colaboración con la UPM, junto con otros 7 socios académicos, 2 centros de investigación y 1 PYME.
La red de institutos IMDEA ha obtenido la aprobación de un programa de cofinanciación de movilidad de investigadores dentro de las acciones Marie-Curie del 7 Programa Marco. El programa, denominado AMAROUT, financiará la incorporación a la red de institutos IMDEA de más de 130 investigadores de excelencia durante un año (extensible hasta tres). La duración del programa AMAROUT es de cuatro años a partir del 1 de marzo de 2009. IMDEA Software es el coordinador del programa AMAROUT
Al comienzo de 2008, IMDEA Software publicó un concurso de ideas para el diseño de su sede definitiva, recibiendo respuestas de seis arquitectos de renombre. En noviembre de 2008, un comité formado por miembros de IMDEA Software, la Comunidad de Madrid y expertos externos eligieron como diseño ganador del concurso el presentado por Estudio Lamela. La construcción de este nuevo edificio comenzará en breve y se prevee que este culminada para cuando el Instituto crezca más allá de la capacidad de los espacios temporales que ocupa en la actualidad en la Facultad de Informática de la UPM.