Opendata, web and dolomites
H2020 projects about "compiler"
The page lists 20 projects related to the topic "compiler".
| # | |||
|---|---|---|---|
| 1 | CoqHoTT | Coq for Homotopy Type Theory | 2015 |
| 2 | HORIP | Higher-Order Rewriting for Intensional Properties of Programs and Circuits | 2015 |
| 3 | ALLScale | An Exascale Programming, Multi-objective Optimisation and Resilience Management Environment Based on Nested Recursive Parallelism | 2015 |
| 4 | NeMeCo | Near Memory Computing | 2016 |
| 5 | DAPP | Data-centric Parallel Programming | 2016 |
| 6 | SAGE-CPSoC | Self-Aware CPSoCs with Hierarchical Goal Management | 2016 |
| 7 | GPU-WEAR | GPU-WEAR, Ultra-low power heterogeneous Graphics Processing Units for Wearable/IoT devices | 2016 |
| 8 | NLPRO | Natural Language Programming: Turning Text into Executable Code | 2016 |
| 9 | ELE | Evolving Language Ecosystems | 2016 |
| 10 | SECOMP | Efficient Formally Secure Compilers to a Tagged Architecture | 2017 |
| 11 | SEAL | Sound and Early Assessment of Leakage for Embedded Software | 2017 |
| 12 | Real-PIM-System | Memristive In-Memory Processing System | 2018 |
| 13 | VESTA | VErified STAtic analysis platform | 2018 |
| 14 | EPEEC | European joint Effort toward a Highly Productive Programming Environment for Heterogeneous Exascale Computing (EPEEC) | 2018 |
| 15 | FastCode | The Next 100 Optimizing Compilers | 2019 |
| 16 | PCHP | Complete and optimize the PeachPie compiler technology to be fully compatible with the PHP language in order to increase the performance of up to 80% of the internet. | 2019 |
| 17 | PHAROS | Physical Architecture Optimization System | 2019 |
| 18 | ARiAT | Advanced Reasoning in Arithmetic Theories | 2020 |
| 19 | MEEP | The MareNostrum Experimental Exascale Platform | 2020 |
| 20 | SemanDiff | Semantically correct automatic differentiation | 2020 |