Noticias del Instituto IMDEA Software
Con esta última, el número de ayudas ERC de las que disfruta el Instituto IMDEA Software asciende a tres
Este trabajo demuestra que el lenguaje de aserción
de la lógica de la separación puede ser formulado en términos algebraicos
El trabajo explora la aplicación del Análisis Paramétrico de Recursos
a la inferencia estática de cotas de consumo de gas y almacenamiento para contratos inteligentes
La jornada contó con 8 ponencias muy interesantes, dos de ellas sobre publicaciones próximas, y un coloquio
Una nueva perspectiva teórica sobre una colección de problemas abiertos de construcciones clásicas de autómatas y algoritmos bien establecidos
Usando aceleradores de hardware reconfigurables para acelerar el procesamiento analítico
El trabajo fue presentado en el Haskell Implementors’ Workshop (HIW 2020) en ICFP 2020
Presentan una nueva operación de residualización y una versión general
del método de Brzozowski para construir el autómata residual mínimo para un lenguaje dado
Construyen esquemas de intercambio de secretos no maleables y seguros contra los atacantes
Usa preórdenes para dar un nuevo enfoque a dos problemas
fundamentales en la Teoría de Lenguajes Formales
Pepe Vila defiende con éxito su tesis doctoral supervisada por el Profesor Boris Köpf
Premio a la mejor práctica innovadora en promoción de la salud
en la categoría de pequeña y mediana empresa
Generación conjunta de números aleatorios con corrección garantizada y verificación pública.
CacheQuery: Learning Replacement Policies from Hardware Caches ha sido aceptado en PLDI 2020
Una tecnología clave para la creación de soluciones digitales que preserven la privacidad y la seguridad de la información de los usuarios.
El pasado 7 de marzo el investigador del Instituto IMDEA Software dio una charla en RootedCON
El 11 de febrero, con motivo del Día Internacional de la Mujer y la Niña en la ciencia
Tres premios patrocinados por la Fundación Tezos fueron a parar a manos de 11 participantes
Un acuerdo de colaboración para llevar a cabo investigación al más alto nivel en áreas de investigación del Instituto con el objetivo de contribuir al desarrollo del ecosistema de Tezos
