Cuatro artículos de investigadores del Instituto IMDEA Software han sido aceptados para su publicación en el Simposio de la ACM (Association for Computing Machinery, EEUU) sobre Lenguajes de Programación (POPL), uno de los más prestigiosos congresos en este área, y que se celebrará el próximo enero en St. Petersburg, Florida.
Alexey Gotsman, investigador en el Instituto IMDEA Software tiene un artículo que facilita la construcción de sistemas software distribuidos proporcionando un marco para razonar sobre diferentes posibilidades de implementación que garantizan diferentes niveles de consistencia entre máquinas distantes.
El artículo de Pierre-Yves Strub desarrolla un nuevo lenguaje de programación que ayuda a producir código que es a la vez eficiente y verificablemente correcto para aplicaciones críticas tales como la criptografía, gracias a su diseño centrado en la verificación mecánica.
Michael Emmi presenta un artículo en el que automatiza el proceso de inferencia de especificaciones de módulos de software que permite testing automático y verificación de implementaciones cruciales que subyacen a un amplio número de sistemas de software.
Somesh Jha, profesor visitante en el Instituto, publica un artículo que aplica la modelización probabilística para informar a los programadores en tiempo de compilación de posibles errores, poniendo el foco en aquellos que tienen más probabilidades de ser errores reales en tiempo de ejecución.
Se puede obtener más información, incluida la lista de completa de artículos aceptados aquí.
