Damien Hardy

Damien Hardy

Associate Professor, University of Rennes


Contact information

IRISA, PACAP Research Group
Postal address: IRISA Campus universitaire de Beaulieu 35042 Rennes Cedex FRANCE
E-mail address: Damien.Hardy@irisa.fr
Room: E-305
Telephone: +33 2 99 84 75 73


Research

My research interests include compilation and static analyses applied to security, reliability, embedded real‐time systems, and more recently 3D printing.

Current PhD students

  • Antoine Gicquel (since september 2021): Étude de vulnérabilité d’un programme au format binaire en présence de fautes précises et nombreuses : métriques et contremesures. Co-supervized by Erven Rohou and Karine Heydemann (Sorbonne Université).

Current projects

  • Ofast3D: Optimizing compiler for fast 3D printing (2021 – 2024)
  • ARSENE : Architecture SEcurisées pour le Numérique Embarqué (2022 – 2027)

Softwares

  • SAMVA a static analysis tool for multi-fault attack paths determination
  • GATO3D a G-code Analysis Transformation and Optimization library
  • Traitor a FPGA platform used for fault injection, specifically clock glitch fault injection
  • SIGMASK is an LLVM plugin that automatically protects secret information in programs, such as encryption keys, against side-channel attacks
  • Heptane is an open-source static WCET estimation tool
  • COST-ET is an estimation and exploration tool to provide qualitative trends of datacenter design choices on the total cost of ownership

Teaching

  • Operating systems – master degree of computer science
  • Additive manufacturing – BSc degree of computer science
  • Student projects – Master degree mostly related to security and 3D printing

Publications

Academic Journals

Cache-conscious Off-Line Scheduling for Multi-Core Platforms: Algorithms and Implementation. V. A. Nguyen, D. Hardy, I. Puaut, Real Time Systems Journal, March 2019.
Static Probabilistic Worst Case Execution Time Estimation for Architectures with Faulty Instruction Caches. D. Hardy, I. Puaut. Journal of Real-Time Systems 2015.
Optimizing Data-Center TCO with Scale-Out Processors. B. Grot, D. Hardy, P. Lotfi-Kamran, B. Falsafi, C. Nicopoulos, Y. Sazeides. IEEE Micro, Special Issue on Energy-Aware Computing. Volume 32, issue 5. Sep/Oct 2012.
WCET analysis of instruction cache hierarchies. D. Hardy, I. Puaut. Journal of Systems Architecture, volume 57, issue 7, pages 677-694, August 2011.

International Conferences

SAMVA: Static Analysis for Multi-Fault Attack Paths Determination. A. Gicquel, D. Hardy, K. Heydemann, E. Rohou. 14th International Workshop on Constructive Side-Channel Analysis and Secure Design (Cosade 2023) Munich, Germany. April 2023.
TRAITOR: A Low-Cost Evaluation Platform for Multifault Injection. L. Claudepierre, P. -Y. Péneau, D. Hardy, E. Rohou. ASSS21
Quantifying WCET reduction of parallel applications by introducing slack time to limit resource contention. S. Martinez, D. Hardy, I. Puaut. RTNS 2017.
Cache-concious offline real-time task scheduling for multi-core processors. V. A. Nguyen, D. Hardy, I. Puaut. In Proc. of the 29th Euromicro Conference on Real-Time Systems, Dubrovnik, Croatia, June 2017.
WCET-Aware Parallelization of Model-Based Applications for Multi-Cores: the ARGO Approach. S. Derrien, I. Puaut, P. Alefragis, M. Bednara, H. Bucher, C. David, Y. Debray, U. Durak, I. Fassi, C. Ferdinand, D. Hardy, A. Kritikakou, G. K. Rauwerda, S. Reder, M. Sicks, T. Stripf, K. Sunesen, T. D. ter Braak, N. S. Voros, J. Becker. DATE 2017.
Cache-Persistence-Aware Response-Time Analysis for fixed-priority preemptive systems. S. A. Rashid, G. Nelissen, D. Hardy, B. Akesson, I. Puaut, E. Tovar. In Proc. of the 28th Euromicro Conference on Real-Time Systems, Toulouse, France, July 2016.
Probabilistic WCET estimation in presence of hardware for mitigating the impact of permanent faults. D. Hardy, I. Puaut, Y. Sazeides. Design, Automation and Test in Europe. Dresden, Germany, March 2016.
Speeding up Static Probabilistic Timing Analysis. S. Milutinovic, J. Abella, D. Hardy, E. Quiñones, I. Puaut, F. Cazorla. 28th GI/ITG International Conference on Architecture of Computing Systems. Porto, Portugal,March 2015.
On the Comparison of Deterministic and Probabilistic WCET Estimation Techniques. J. Abella, D. Hardy, I. Puaut, E. Quiñones, F. Cazorla. In Proc. of the 26th Euromicro Conference on Real-Time Systems, Madrid, Spain, July 2014.
Static probabilistic Worst Case Execution Time Estimation for architectures with Faulty Instruction Caches. D. Hardy, I. Puaut. In the 21st International Conference on Real-Time Networks and Systems (RTNS), Sophia Antipolis, France, October 2013.
An Analytical Framework for Estimating TCO and Exploring Data Center Design Space. D. Hardy, M. Kleanthous, I. Sideris, A. Saidi, E. Ozer and Y. Sazeides. In Proc. of the IEEE International Symposium on Performance Analysis of Systems and Software (ISPASS-2013), Apr. 2013.
The Performance Vulnerability of Architectural and Non-architectural Arrays to Permanent Faults. D. Hardy, I. Sideris, N. Ladas, Y. Sazeides. In Proc. of the 45th Annual IEEE/ACM International Symposium on Microarchitecture, Vancouver, Canada, December 2012.
Thermal characterization of cloud workloads on a power-efficient server-on-chip. D. Milojevic, S. Idgunji, D. Jevdjic, E. Özer, P. Lotfi-Kamran, A. Panteli, A. Prodromou, C. Nicopoulos, D. Hardy, B. Falsafi, Y. Sazeides. In Proc. of the 30th IEEE International Conference on Computer Design, Montreal, Canada, October 2012.
Scalable Fixed-Point Free Instruction Cache Analysis. D. Hardy, B. Lesage, I. Puaut. In Proc. of the 32nd IEEE Real-Time Systems Symposium, Vienna, Austria, December 2011.
Shared Data Cache Conflicts Reduction for WCET Computation in Multi-Core Architectures. B. Lesage, D. Hardy, I. Puaut. In Proc. of the 18th Real-Time and Network Systems, Toulouse, France, November 2010.
Using Bypass to Tighten WCET Estimates for Multi-Core Processors with Shared Instruction Caches. D. Hardy, T. Piquet, I. Puaut. In Proc. of the 30th IEEE Real-Time Systems Symposium, Washington D.C., USA, December 2009.
Estimation of Cache Related Migration Delays for Multi-Core Processors with Shared Instruction Caches. D. Hardy, I. Puaut. In Proc. of the 17th Real-Time and Network Systems, Paris, France, October 2009.
WCET analysis of multi-level non-inclusive set-associative instruction caches. D. Hardy, I. Puaut. In Proc. of the 29th IEEE Real-Time Systems Symposium, Barcelona, Spain, December 2008.
Predictable code and data paging for real-time systems. D. Hardy, I. Puaut. In Proc. of the 20th Euromicro Conference on Real-Time Systems, Prague, Czech Republic, July 2008.
Predictable paging in real-time systems: a compiler approach. I. Puaut, D. Hardy. In Proc. of the 19th Euromicro Conference on Real-Time Systems, Pisa, Italy, July 2007.

Workshop/Research Report

NOP-Oriented Programming: Should we Care?. P. -Y. Péneau, L. Claudepierre, D. Hardy and E. Rohou. IEEE European Symposium on Security and Privacy Workshops (EuroS&PW) 2020.
The Heptane Static Worst-Case Execution Time Estimation Tool. D. Hardy, B. Rouxel, I. Puaut. WCET 2017.
Scheduling of parallel applications on many-core architectures with caches: bridging the gap between WCET analysis and schedulability analysis. Viet Ahn Nguyen, Damien Hardy, Isabelle Puaut. 9th Junior Workshop on Real Time computing, in conjunction with RTNS 2015, Lille, France, November 2015
EETCO: A tool to Estimate and Explore the Implications of Datacenter Design Choices on the TCO and the Environmental Impact. D. Hardy, I. Sideris, A. Saidi and Y. Sazeides. Workshop on Energy-efficient Computing for a Sustainable World in conjunction with the 44th Annual IEEE/ACM International Symposium on Microarchitecture (Micro-44) , Port Alegre, Brazil, Dec. 2011.
WCET analysis of multi-level set-associative data caches. B. Lesage, D. Hardy, I. Puaut. 9th Int’l Workshop on Worst-Case Execution Time Analisis (WCET 2009), Dublin, Ireland, July 2009. PDF
Using Bypass to Tighten WCET Estimates for Multi-Core Processors with Shared Instruction Caches. D. Hardy, T. Piquet, I. Puaut. Research Report IRISA, No 6907, April 2009. PDF
Impact of instruction cache replacement policy on the tightness of WCET estimation. A. Junier, D. Hardy, I. Puaut. 2nd Junior Researcher Workshop on Real-Time Computing (JRWRTC 2008), Rennes, France, Oct 2008. PDF
WCET analysis of multi-level set-associative instruction caches. D. Hardy, I. Puaut. Research Report IRISA, No 6574, June 2008. PDF
Predictable paging in real-time systems: an ILP formulation. D. Hardy, I. Puaut. Ecole d’été Temps Réel (ETR’07), Nantes, France, Sep 2007. PDF

Thesis

Analyse pire cas pour processeurs multi-coeurs disposant de caches partagés. Damien Hardy PhD Thesis Université de Rennes I, December 2010.PDF

This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author’s copyright. These works may not be reposted without the explicit permission of the copyright holder.

Comments are closed.