Leading one-stop-shop developer of Ada and SPARK tool sets uses SuperTest to validate its C compiler for mixed-language programming environments.
The Renault Co-Innovation Days are organized by AutomotiveNL, Renault and the Dutch Embassy at the Renault Technocentre and the Dutch Residency in Paris. Solid Sands will exhibit here on the 25th and 26th of June 2019.
If you think advanced compiler optimizations are robust and well-tested, you are wrong. Our recent experiments with optimization testing have uncovered errors in every compiler technology that we got our hands on.
Our 1st Light paper – The Day that GNU-C++ -Os Broke.
We encounter a lot of compiler problems that require deeper research. Recently we hit on an interesting optimization error.
SuperTest – helping Graphcore accelerate the future of AI
Machine intelligence processor maker Graphcore (Bristol, UK) develops massively-parallel computing platforms that let innovators create next-generation AI products. As part of its compiler development tool chain, the company is using SuperTest to test and validate compilers for its unique Intelligence Processing Unit architecture.