The transformation of regular expressions into finite automata: old and new results
October 10, 2024
Not many results in Computer Science are recognised to be as basic and fundamental as Kleene Theorem. It states the...
[ Read More ]
Secure compilation at scale: from C to CHERI
October 8, 2024
Virtually all computer programs are written in high-level languages. A suitable source language can impose certain desirable properties (like memory...
[ Read More ]
IMDEA Institutes organize “Science that helps the Planet” as part of the Madrid European Researchers’ Night
October 4, 2024
Once again, the Residencia de Estudiantes hosts the event coordinated by the Fundación para el Conocimiento madrimasd and framed within...
[ Read More ]
IMDEA Software researcher Niki Vazou and co-authors of “Refinement types for Haskell” receive the test of time award at ICFP
October 2, 2024
The paper received the award because it industrialised the verification technology of refinement types and presented the tool Liquid Haskell...
[ Read More ]
The Art of SMT Solving
October 2, 2024
SMT (Satisfiability Modulo Theories) solving is a technology for the fully automated solution of logical formulas. SMT solvers can be...
[ Read More ]
Alessio Mansutti’s ICALP paper “Integer Linear-Exponential Programming in NP by Quantifier Elimination” wins the Track B Best Paper Award
September 26, 2024
The flagship research meeting on Automata, Logic, Semantics, and Theory of Programming awarded Alessio and his coauthors Dmitry Chistikov and...
[ Read More ]
Building Secure and Reliable Systems – A Systems Approach
September 24, 2024
Unsafe languages, like C and C++, have long been the preferred choice for systems programming thanks to their unique feature...
[ Read More ]
Buscamos a los mejores ayudantes de investigación en Nutrición y Salud para La Noche Europea de los Investigadores
September 16, 2024
Monday, September 16, 2024 El último viernes del mes de septiembre las instalaciones de IMDEA Alimentación, en el Campus de...
[ Read More ]
Members of the MadQuantum-CM project publish in Nature their paper: “MadQCI: a heterogeneous and scalable SDN-QKD network deployed in production facilities”
September 10, 2024
César Sánchez and David Rincón from REDIMadrid are part of the authors of the article that publishes the conclusions of...
[ Read More ]
AUTOMAP: Inferring Rank-Polymorphic Function Applications with Integer Linear Programming
August 27, 2024
Dynamically typed array languages such as Python, APL, and Matlab lift scalar operations to arrays and replicate scalars to fit...
[ Read More ]
