In this paper we describe a Conguration PRoling tool (CPR) and show how it can be used to aid compiler designers, FPGA architects and in the con-struction of a macro-generator libraries. CPR uses subgraph matching to identify the parts of an ap-plication which are most important to achieve high performance. Using CPR as a guide we implemented a few macros for a macro-generator library, which yielded signicant improvement in both the quality of congurations and speed of compilation.
Modern assemblers provide powerful macro facilities to enable programmers to create their own high l...
We present CHERI Concentrate, a new fat-pointer compression scheme applied to CHERI, the most develo...
International audienceIn this article, we consider the semantic design and verified compilation of a...
In this paper we describe a Configuration PRofiling tool (CPR) and show how it can be used to aid co...
The challenge of exploiting high degrees of instruction-level parallelism is often hampered by frequ...
A method for quickly producing compilers for high level languages is described. The technique consis...
Wide instruction formats make it possible to control microarchitecture resources more precisely by t...
: This tutorial considers the design of modern machine-independent optimising compilers for classica...
In this paper we present a tool for macro generation of soft cores performing arithmetic operations ...
RB is a set of constructs which can be added to a programming language to specify redundancy in a pr...
Two Constraint Handling Rules compiler optimizations that drastically reduce the memory footprint of...
The need for a better microprogramming tool has increased considerably as increased dem and and supp...
High-level programming languages have been developed to simplify the communication problem between t...
We describe a compiler for the Flat Concurrent Prolog language on a message passing multiprocessor a...
National audienceContinuation-passing style translations, or CPS, are used notably in compilers. The...
Modern assemblers provide powerful macro facilities to enable programmers to create their own high l...
We present CHERI Concentrate, a new fat-pointer compression scheme applied to CHERI, the most develo...
International audienceIn this article, we consider the semantic design and verified compilation of a...
In this paper we describe a Configuration PRofiling tool (CPR) and show how it can be used to aid co...
The challenge of exploiting high degrees of instruction-level parallelism is often hampered by frequ...
A method for quickly producing compilers for high level languages is described. The technique consis...
Wide instruction formats make it possible to control microarchitecture resources more precisely by t...
: This tutorial considers the design of modern machine-independent optimising compilers for classica...
In this paper we present a tool for macro generation of soft cores performing arithmetic operations ...
RB is a set of constructs which can be added to a programming language to specify redundancy in a pr...
Two Constraint Handling Rules compiler optimizations that drastically reduce the memory footprint of...
The need for a better microprogramming tool has increased considerably as increased dem and and supp...
High-level programming languages have been developed to simplify the communication problem between t...
We describe a compiler for the Flat Concurrent Prolog language on a message passing multiprocessor a...
National audienceContinuation-passing style translations, or CPS, are used notably in compilers. The...
Modern assemblers provide powerful macro facilities to enable programmers to create their own high l...
We present CHERI Concentrate, a new fat-pointer compression scheme applied to CHERI, the most develo...
International audienceIn this article, we consider the semantic design and verified compilation of a...