researcher / Albert Henri Cohen

Albert Henri Cohen

at_id:

orcid_id:

Disciplines:

Computer sciences
Edit Merge See Links

Thesis:

Analyse et transformation de programmes : du modèle polyédrique aux langages formels

Directed Thesis:

Compilation et optimisations pour l'arithmétique à virgule flottante en précision variable : du langage et des bibliothèques à la génération de code
Sécurisation systématique d'applications embarquées contre les attaques physiques
Timing analysis for time-predictable architectures
Efficient code generation for hardware accelerators by refining partially specified implementation
Une approche combinée langage-polyédrique pour la programmation parallèle hétérogène
Kahn process networks as concurrent data structures : lock freedom, parallelism, relaxation in shared memory
Étude de transformations et d’optimisations de code parallèle statique ou dynamique pour architecture "many-core"
A synchronous functional language with integer clocks
Improving tiling, reducing compilation time, and extending the scope of polyhedral compilation
A decoupled approach to high-level loop optimization : tile shapes, polyhedral building blocks and low-level compilers
Compiling for a multithreaded dataflow architecture : algorithms, tools, and experience
Sub-Polyhedral Compilation using (Unit-)Two-Variables-Per-Inequality Polyhedra
Erbium : Reconciling languages, runtimes, compilation and optimizations for streaming applications
Decoupled approaches to register and software controlled memory allocations
Efficient search-based strategies for polyhedral compilation : algorithms and experience in a production compiler
Des réseaux de processus cyclo-statiques à la génération de code pour le pipeline multi-dimensionnel
Minimisation du facteur de déroulage de boucle dans une allocation périodique de registres
Méthodes d’optimisation scalables dans le modèle polyédrique