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 ]
How do you get from the classroom to the laboratory? Is science today really multidisciplinary? Is Artificial Intelligence dangerous?
October 3, 2024
On Friday 27 September, researchers from the seven IMDEA Institutes met in the auditorium of the Residencia de Estudiantes in...
[ 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 ]
