Section: Other Grants and Activities
We participate in two projects of the Digiteo RTRA. The first, named “Metal” (2008-2010), is coordinated by François Pottier and involves also Nicolas Pouillard. This project focuses on formal foundations and static type systems for meta-programming. The second, named “Hisseo” (2008-2010), is coordinated by Pascal Cuoq at CEA LIST and involves Xavier Leroy at Gallium. It studies issues related to floating-point arithmetic in static analyzers and verified compilers.