Skip to Main content
Skip to Navigation
Toggle navigation
Sign in
Sign in
Sign in with ORCID
se connecter avec Fédération
Create account
Forgot your password?
Have you forgotten your login?
fr
en
Home
Browse
By authors
By research team
By year
Domain list
By document type
Browse last submissions
Search
Services
HalTools
Folder
CasuHALThon
Search
Les Filtres
Filters
Author: IdHal (string) ×
All ×
87 results
save search
Document types
Minimize
Conference papers
(54)
Journal articles
(13)
Reports
(13)
Poster communications
(2)
Habilitation à diriger des recherches
(1)
Master thesis
(1)
Other publications
(1)
Software
(1)
Theses
(1)
Author
Minimize
Erven Rohou
(87)
Ahmed El-Mahdy
(9)
Giovanni Agosta
(9)
Abdoulaye Gamatié
(8)
Carlo Cavazzoni
(8)
Cristina Silvano
(8)
Gianluca Palermo
(8)
Luca Benini
(8)
Pedro Pinto
(8)
Andrea Bartolini
(7)
André Seznec
(7)
Nico Sanna
(7)
Radim Cmar
(7)
Stefano Cherubin
(7)
Andrea R. Beccari
(6)
Davide Gadioli
(6)
Isabelle Puaut
(6)
João M. P. Cardoso
(6)
Marco Cornero
(6)
Rabab Bouziane
(6)
Simon Rokicki
(6)
Steven Derrien
(6)
Albert Cohen
(5)
Imane Lasri
(5)
Loïc Besnard
(5)
Ayal Zaks
(4)
Dorit Nuzman
(4)
Emanuele Vitali
(4)
François Bodin
(4)
Hanbing Li
(4)
Ira Rosen
(4)
Jan Martinovič
(4)
Jan Martinovič
(4)
João Bispo
(4)
João Bispo
(4)
Kateřina Slaninová
(4)
Martin Golasowski
(4)
Martin Palkovič
(4)
Marwa yusuf
(4)
Pierre-yves Péneau
(4)
Rasha Omar
(4)
Ali Erdem Özcan
(3)
Andrea Carlo Ornstein
(3)
Bahram yarahmadi
(3)
Bharath Narasimha Swamy
(3)
Daniele Cesarini
(3)
David yuste
(3)
Florent Bruguier
(3)
Gilles Sassatelli
(3)
Kateřina Slaninová
(3)
Kevin Williams
(3)
Nabil Hallou
(3)
Philippe Clauss
(3)
Sergei Dyshel
(3)
Zbigniew Chamski
(3)
Ahmed El-Mahdy
(2)
Alain Ketterlin
(2)
Andrea Beccari
(2)
Andrea C. Ornstein
(2)
Andrea Ornstein
(2)
Antonio Libri
(2)
Arif Ali Ap
(2)
Armelle Bonenfant
(2)
Byron Hawkins
(2)
Candida Manelfi
(2)
Catherine Parent-Vigouroux
(2)
Christine Eisenbeis
(2)
Denis Claraz
(2)
Federico Ficarelli
(2)
Fernando Magno Quintão Pereira
(2)
Frédéric Tronel
(2)
Guillaume Hiet
(2)
Hugues Cassé
(2)
Kévin Le Bon
(2)
Lionel Torres
(2)
Marianne de Michiel
(2)
Mostafa Abbas
(2)
Muhammad Hataba
(2)
Olivier Sentieys
(2)
Pascal Raymond
(2)
Pascal Sotin
(2)
Philippe Cuenot
(2)
Rabab Bouziane
(2)
Sophiane Senni
(2)
Vincent Mussot
(2)
Adnan Bouakaz
(1)
Albert Cohen
(1)
Alex Ramírez
(1)
Alexandre Kouyoumdjian
(1)
Amin Shoukry
(1)
Amir H Ashouri
(1)
Andrea Bartolini
(1)
Antoniu Pop
(1)
Arjun Suresh
(1)
Arjun Suresh
(1)
Arnaud Carer
(1)
Bharam yarahmadi
(1)
Caio Lima
(1)
Camille Le Bon
(1)
Caroline Collange
(1)
Subject field
Minimize
Computer Science [cs]
(87)
Engineering Sciences [physics]
(2)
Laboratory
Minimize
Inria Rennes – Bretagne Atlantique
(86)
Institut de Recherche en Informatique et Systèmes Aléatoires
(86)
Dipartimento di Elettronica, Informazione e Bioingegneria
(9)
Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier
(8)
Inria Saclay - Ile de France
(7)
IT4Innovations - National Supercomputing Center [Ostrava]
(6)
Laboratoire de Recherche en Informatique
(5)
ST-Ericsson [Cornadero]
(5)
Computer Science and Engineering Department [Alexandria]
(4)
IBM Research [HAIFA]
(4)
MULTICORE
(4)
Inria Nancy - Grand Est
(3)
Laboratoire des sciences de l'ingénieur, de l'informatique et de l'imagerie
(3)
Inria Paris-Rocquencourt
(2)
Institut de recherche en informatique de Toulouse
(2)
VERIMAG
(2)
CINECA
(1)
CITI Centre of Innovation in Telecommunications and Integration of services
(1)
Centre de Recherche en Informatique
(1)
Commissariat à l'énergie atomique et aux énergies alternatives - Laboratoire d'Electronique et de Technologie de l'Information
(1)
Departament d'Arquitectura de Computadors - Universitat Politècnica de Catalunya
(1)
Departamento de matematica aplicada [Porto]
(1)
Department of Computer Science [Leiden]
(1)
Department of Computer and Systems Engineering [Alexandria]
(1)
INRIA Rennes
(1)
Inria Grenoble - Rhône-Alpes
(1)
Institute for Computing Systems Architecture School of Informatics - University of Edinburgh
(1)
Laboratoire d'Informatique de Grenoble
(1)
Silicon Hive [Eindhoven]
(1)
Language
Minimize
English
(81)
French
(5)
Unknown or Invalid Language
(1)
Type of deposit
Minimize
Fulltext
(77)
Notice
(10)
Year
Minimize
2021
(3)
2020
(5)
2019
(12)
2018
(11)
2017
(10)
2016
(6)
2015
(8)
2014
(4)
2013
(4)
2012
(1)
2011
(6)
2010
(5)
2009
(3)
2008
(1)
2007
(1)
1999
(1)
1998
(4)
1996
(1)
1994
(1)
Search
Help
Advanced Search…
Simple search…
Default search field (multi-criteria)
Default search field (multi-criteria)
Default search field (multi-criteria) + PDF full text
Titles
Subtitle
Work title
hal_serie_t
Abstract
Full text of PDF document
Keywords
All document identifiers
HAL submission identifier
Language of document (text)
Country (Text)
City
hal_inPress_bool
Author (multi-criteria)
Author: Full name
Author: Last name
Author: First name
Author: middle name
Author: funding institution
Author: IdHal (string)
Author : ORCID (string)
Author: function
Author: personID (integer)
Author: (FormID-PersonID)
Author: funding institution identifier
Author: Structure identifier
Thesis director
Publisher
Scientific editor
Series editor
Journals (multi-criteria)
Journal: Publisher
Journal: Abbreviated title
Journal: Title
Journal: Internal identifier
Journal: beginning publication date
Journal: online ISSN
Journal: ISSN
Journal: Publisher
Journal: SHERPA/RoMEO color
Journal: referential status
Conference (multi-criteria)
Conference: Title
Conference: Organiser
Conference: beginning date (Year)
Conference: end date (Year)
Invited communication (yes/no)
ANR project (multi-criteria)
ANR project: Acronym
hal_anrProjectAcronymProgram_t
ANR project: Code decision (reference)
ANR project: Name
ANR project: Internal identifier
ANR project: Referential Status
European project (multi-criteria)
European project: Acronym
European project: Call identifier
European project: Reference
European project: Name
European project: end date
European project: Funding
European project: beginning date
European project: Referential status
European project: Internal identifier
Structure (multi-criteria)
Structure: Acronym
Structure: Name
Structure: Code
Structure: Country
Structure: Type
Structure: Referential status
Structure: Internal structure identifier
Structure/research team: Country
Structure/department: Country
Structure/laboratory: Country
Structure/group of departments: State
Structure/institution: Country
Structure/group of institutions: Country
Publication date: year
Release date: year
hal_publicationDateY_i
Writing date: year
Date modified: year
Submission Date: year
Online Publication date: year
HAL Collection (multi-criteria)
HAL Collection: category
HAL Collection: Code
HAL Collection: Name
HAL Collection: Internal identifier
Contributor/author Internal identifier
Contributor/author Full name
Domains
Primary domain
Root domain
Sub-domain level 1
Sub-domain level 2
Sub-domain level 3
Status of document
Document version
Submission type
Document type
ISBN
Number - reference
Identifier: DOI
Classification
Audience
Vulgarization
Peer reviewing - text (yes or no)
Conference proceedings
Internal reference
Funding
Collaborations
Add
Successfully saved
My saved searches / my alerts
An error occurred while saving
1
2
3
Suivant
Dernière
Sort
Relevance
Author A→Z
Author Z→A
Title A→Z
Title Z→A
Date de publication croissante
Date de publication décroissante
Date de dépôt croissante
Date de dépôt décroissante
Number
30 results per page
50 results per page
100 results per page
×
Merci d'indiquer la raison de votre demande
Tools
o
Export
XML-TEI
BibTeX
EndNote
CSV
PDF
HTML
Advanced export...
Syndicated feeds
RSS
ATOM
hal-02913849
v1
Conference papers
Bahram yarahmadi
,
Erven Rohou
.
Worst-Case Energy Consumption Aware Compile-Time Checkpoint Placement for Energy Harvesting Systems
COMPAS19 - Conférence d'informatique en Parallélisme, Architecture et Système
, Jun 2019, Anglet, France. pp.11
hal-02913838
v1
Journal articles
Rasha Omar
,
Ahmed El-Mahdy
,
Erven Rohou
.
IR-Level Dynamic Data Dependence Using Abstract Interpretation Towards Speculative Parallelization
IEEE Access
, IEEE, 2020, 8, pp.99910-99921.
⟨10.1109/ACCESS.2020.2997715⟩
hal-00911146
v1
Reports
Erven Rohou
,
Bharath Narasimha Swamy
,
André Seznec
.
Branch Prediction and the Performance of Interpreters - Don't Trust Folklore
[Research Report] RR-8405, INRIA. 2013, pp.23
hal-00909766
v1
Other publications
Muhammad Hataba
,
Ahmed El-Mahdy
,
Amin Shoukry
,
Erven Rohou
.
OJIT: A Novel Secure Remote Execution Technology By Obfuscated Just-In-Time Compilation
2013
inria-00073312
v1
Reports
Thierry Lafage
,
André Seznec
,
Erven Rohou
,
François Bodin
.
Code Cloning Tracing: A New Approach to Trace Collection
[Research Report] RR-3377, INRIA. 1998
hal-01633790
v1
Conference papers
Stefano Cherubin
,
Giovanni Agosta
,
Imane Lasri
,
Erven Rohou
,
Olivier Sentieys
.
Implications of Reduced-Precision Computations in HPC: Performance, Energy and Error
International Conference on Parallel Computing (ParCo)
, Sep 2017, Bologna, Italy
hal-03340008
v1
Conference papers
Camille Le Bon
,
Erven Rohou
,
Frédéric Tronel
,
Guillaume Hiet
.
DAMAS: Control-Data Isolation at Runtime through Dynamic Binary Modification
SILM 2021 - Workshop on the Security of Software / Hardware Interfaces
, Sep 2021, digital event, Austria. pp.86-95,
⟨10.1109/EuroSPW54576.2021.00016⟩
hal-01347354
v1
Conference papers
Pierre-yves Péneau
,
Rabab Bouziane
,
Abdoulaye Gamatié
,
Erven Rohou
,
Florent Bruguier
et al.
Loop Optimization in Presence of STT-MRAM Caches: a Study of Performance-Energy Tradeoffs
PATMOS: Power and Timing Modeling, Optimization and Simulation
, Sep 2016, Bremen, Germany. pp.162-169,
⟨10.1109/PATMOS.2016.7833682⟩
hal-01615945
v1
Conference papers
Cristina Silvano
,
Andrea Bartolini
,
Andrea Beccari
,
Candida Manelfi
,
Carlo Cavazzoni
et al.
The ANTAREX Tool Flow for Monitoring and Autotuning Energy Efficient HPC Systems
SAMOS 2017 - International Conference on Embedded Computer Systems: Architecture, Modeling and Simulation
, Jul 2017, Pythagorion, Greece
inria-00401773
v1
Reports
Erven Rohou
,
Andrea Carlo Ornstein
,
Ali Erdem Özcan
,
Marco Cornero
.
Combining Processor Virtualization and Component-Based Engineering in C for Heterogeneous Many-Core Platforms
[Research Report] PI 1933, 2009, pp.10
hal-02912301
v1
Conference papers
Pierre-yves Péneau
,
Ludovic Claudepierre
,
Damien Hardy
,
Erven Rohou
.
NOP-Oriented Programming: Should we Care?
Sécurité des Interfaces Logiciel/Matériel
, Sep 2020, Genoa (virtual), Italy.
⟨10.1109/EuroSPW51379.2020.00100⟩
hal-00747072
v1
Journal articles
Erven Rohou
,
Kevin Williams
,
David yuste
.
Vectorization Technology To Improve Interpreter Performance
ACM Transactions on Architecture and Code Optimization
, Association for Computing Machinery, 2013, 9 (4), pp.26:1-26:22.
⟨10.1145/2400682.2400685⟩
hal-00917950
v1
Conference papers
Emmanuel Riou
,
Erven Rohou
,
Philippe Clauss
,
Nabil Hallou
,
Alain Ketterlin
.
PADRONE: a Platform for Online Profiling, Analysis, and Optimization
DCE 2014 - International workshop on Dynamic Compilation Everywhere
, Jan 2014, Vienne, Austria
inria-00525139
v1
Conference papers
Erven Rohou
,
Sergei Dyshel
,
Dorit Nuzman
,
Ira Rosen
,
Kevin Williams
et al.
Speculatively Vectorized Bytecode
International Conference on High-Performance and Embedded Architectures and Compilers
, Manolis Katevenis and Margaret Martonosi, Jan 2011, Heraklion, Greece
hal-02155019
v1
Poster communications
Simon Rokicki
,
Erven Rohou
,
Steven Derrien
.
Hybrid-DBT: Hardware Accelerated Dynamic Binary Translation
RISC-V 2019 - Workshop Zurich
, Jun 2019, Zurich, Switzerland. pp.1
hal-02002812
v1
Journal articles
Marwa yusuf
,
Ahmed El-Mahdy
,
Erven Rohou
.
Towards Automatic Binary Runtime Loop De-Parallelization using On-Stack Replacement
Information Processing Letters
, Elsevier, 2019, 145, pp.53-57.
⟨10.1016/j.ipl.2019.01.009⟩
hal-02914953
v1
Conference papers
Bahram yarahmadi
,
Erven Rohou
.
Compiler Optimizations for Safe Insertion of Checkpoints in Intermittently Powered Systems
SAMOS 2020 - International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation
, Jul 2020, Virtual, Greece. pp.1-16,
⟨10.1007/978-3-030-60939-9_12⟩
hal-02913722
v1
Journal articles
Rasha Omar
,
Mostafa Abbas
,
Ahmed El-Mahdy
,
Erven Rohou
.
Binary-level data dependence analysis of hot execution regions using abstract interpretation at runtime
PLoS ONE
, Public Library of Science, 2020, 15 (4), pp.1-20.
⟨10.1371/journal.pone.0230904⟩
hal-01072138
v1
Conference papers
Hanbing Li
,
Isabelle Puaut
,
Erven Rohou
.
Traceability of Flow Information: Reconciling Compiler Optimizations and WCET Estimation
RTNS - 22nd International Conference on Real-Time Networks and Systems
, Oct 2014, Versailles, France.
⟨10.1145/2659787.2659805⟩
hal-01593216
v1
Journal articles
Nabil Hallou
,
Erven Rohou
,
Philippe Clauss
.
Runtime Vectorization Transformations of Binary Code
International Journal of Parallel Programming
, Springer Verlag, 2017, 8 (6), pp.1536 - 1565.
⟨10.1007/s10766-016-0480-z⟩
hal-01890152
v1
Conference papers
Cristina Silvano
,
Giovanni Agosta
,
Andrea Bartolini
,
Andrea R. Beccari
,
Luca Benini
et al.
ANTAREX: A DSL-based Approach to Adaptively Optimizing and Enforcing Extra-Functional Properties in High Performance Computing
DSD 2018 - 21st Euromicro Conference on Digital System Design
, Aug 2018, Prague, Czech Republic. pp.1-8,
⟨10.1109/DSD.2018.00105⟩
tel-01237164
v1
Habilitation à diriger des recherches
Erven Rohou
.
Infrastructures and Compilation Strategies for the Performance of Computing Systems
Other [cs.OH]. Université de Rennes 1, 2015
hal-01235781
v1
Conference papers
Armelle Bonenfant
,
Fabienne Carrier
,
Hugues Cassé
,
Philippe Cuenot
,
Denis Claraz
et al.
When the worst-case execution time estimation gains from the application semantics
8th European Congress on Embedded Real-Time Software and Systems
, Jan 2016, Toulouse, France
hal-02189586
v1
Journal articles
Cristina Silvano
,
Giovanni Agosta
,
Andrea Bartolini
,
Andrea R. Beccari
,
Luca Benini
et al.
The ANTAREX domain specific language for high performance computing
Microprocessors and Microsystems: Embedded Hardware Design (MICPRO)
, Elsevier, 2019, 68, pp.58-73.
⟨10.1016/j.micpro.2019.05.005⟩
inria-00472274
v1
Conference papers
Albert Cohen
,
Erven Rohou
.
Processor Virtualization and Split Compilation for Heterogeneous Multicore Embedded Systems
47th Annual Design Automation Conference
, Jun 2010, Anaheim, CA, United States
hal-01660686
v1
Conference papers
Rabab Bouziane
,
Erven Rohou
,
Abdoulaye Gamatié
.
Compile-Time Silent-Store Elimination for Energy Efficiency: an Analytic Evaluation for Non-Volatile Cache Memory
RAPIDO: Rapid Simulation and Performance Evaluation
, HiPEAC, Jan 2018, Manchester, United Kingdom. pp.1-8,
⟨10.1145/3180665.3180666⟩
hal-02305415
v1
Journal articles
Loïc Besnard
,
Pedro Pinto
,
Imane Lasri
,
João Bispo
,
Erven Rohou
et al.
A framework for automatic and parameterizable memoization
SoftwareX
, Elsevier, 2019, 10, pp.100322.
⟨10.1016/j.softx.2019.100322⟩
hal-00909722
v1
Conference papers
Marwa yusuf
,
Ahmed El-Mahdy
,
Erven Rohou
.
On-Stack Replacement to Improve JIT-based Obfuscation - A Preliminary Study
International Japan-Egypt Conference on Electronics, Communications, and Computers
, Dec 2013, Cairo, Egypt
hal-01162336
v1
Conference papers
Erven Rohou
,
David Guyon
.
Sequential Performance: Raising Awareness of the Gory Details
International Conference on Computational Science
, Jun 2015, Reykjavik, Iceland.
⟨10.1016/j.procs.2015.05.347⟩
hal-01341826
v1
Conference papers
Cristina Silvano
,
Giovanni Agosta
,
Stefano Cherubin
,
Davide Gadioli
,
Gianluca Palermo
et al.
The ANTAREX Approach to Autotuning and Adaptivity for Energy Efficient HPC Systems
ACM International Conference on Computing Frontiers 2016
, May 2016, Como, Italy.
⟨10.1145/2903150.2903470⟩
1
2
3
Suivant
Dernière
Sort
Relevance
Author A→Z
Author Z→A
Title A→Z
Title Z→A
Date de publication croissante
Date de publication décroissante
Date de dépôt croissante
Date de dépôt décroissante
Number
30 results per page
50 results per page
100 results per page
Tools
o
Export
XML-TEI
BibTeX
EndNote
CSV
PDF
HTML
Advanced export...
Syndicated feeds
RSS
ATOM
Label
Save
Cancel
Compulsory field(s) not filled in.