Opendata, web and dolomites

H2020 projects about "compiler"

The page lists 20 projects related to the topic "compiler".

# achronym  title  year 
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