Isabelle Puaut
Publications
Publications
|
|
Automatic Extraction of Timing Models for WCET Estimation From a High-Level Synthesis FlowDATE 2026 - Design, Automation and Test in Europe Conference, Apr 2026, Verona, Italy |
|
|
Collaborative Action on Timing InterferenCes: Summary and Perspectives at Mid-termEmbedded Real-Time Systems (ERTS) 2026, Feb 2026, Toulouse, France. ⟨10.82331/ERTS.2026.27⟩ |
|
|
Area Efficient Speculative Loop Pipelining for High-Level SynthesisDATE 2026 - Design, Automation and Test in Europe Conference, Apr 2026, Verona, Italy |
|
|
Nothing is Unreachable: Automated Synthesis of Robust Code-Reuse Gadget Chains for Arbitrary Exploitation PrimitivesUSENIX Security 2025 - 34th USENIX Security Symposium, Aug 2025, Seattle, WA, United States. pp.1-18 |
|
|
Circadia: Checkpointing for Intermittent Computing in AI Driven ApplicationsDSD 2025 - 28th Euromicro Conference on Digital System Design, Sep 2025, Salerno, Italy. pp.1-10, ⟨10.1109/DSD67783.2025.00091⟩ |
|
|
EarlyBird: Energy belongs to those who wake up earlyRTCSA 2024 - 30th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, Aug 2024, Sokcho, South Korea. pp.1-10, ⟨10.1109/RTCSA62462.2024.00011⟩ |
|
|
WORTEX: Worst-Case Execution Time and Energy Estimation in Low-Power Microprocessors using Explainable MLWCET 2024 - 22nd International Workshop on Worst-Case Execution Time Analysis, Thomas Carle, Jul 2024, Lille, France. pp.1:1-1:14, ⟨10.4230/OASIcs.WCET.2024.1⟩ |
|
|
Marmot: Extraction of Fine-Grain Memory Access Profiles for real-time softwareRTNS 2024: The 32nd International Conference on Real-Time Networks and Systems, Nov 2024, Porto, Portugal. pp.117-141, ⟨10.1145/3696355.3696360⟩ |
|
|
Fast and Accurate Context-Aware Basic Block Timing Prediction using TransformersCC 2024 - ACM SIGPLAN 33rd International Conference on Compiler Construction, Gabriel Rodríguez, Mar 2024, Edimbourg, United Kingdom. pp.227-237, ⟨10.1145/3640537.3641572⟩ |
|
|
SCHEMATIC: Compile-time checkpoint placement and memory allocation for intermittent systemsIEEE/ACM International Symposium on Code Generation and Optimization (CGO'24), Mar 2024, Edinburgh, United Kingdom. pp.258-269, ⟨10.1109/CGO57630.2024.10444789⟩ |
|
|
CATREEN : Context-Aware Code Timing Estimation with Stacked Recurrent NetworksICTAI 2022 - 34th IEEE International Conference on Tools with Artificial Intelligence, Oct 2022, Virtually, China. pp.1-6, ⟨10.1109/ICTAI56018.2022.00090⟩ |
|
|
CAWET: Context-Aware Worst-Case Execution Time Estimation Using TransformersECRTS 2023 - 35th Euromicro Conference on Real-Time Systems, Jul 2023, Vienne, Austria. pp.7:1--7:20, ⟨10.4230/LIPIcs.ECRTS.2023.7⟩ |
|
|
StAMP: Static Analysis of Memory access Profiles for real-time tasksWCET 2022 - 20th International Workshop on Worst-Case Execution Time Analysis, Jul 2022, Modena, Italy. ⟨10.4230/OASIcs.WCET.2022.1⟩ |
|
|
Winston: Revisiting iterative compilation for WCET minimizationRTNS 2022 - 30th International Conference on Real-Time Networks and Systems, Jun 2022, Paris, France. pp.1-11, ⟨10.1145/3534879.3534899⟩ |
|
|
RT-DFI: Optimizing Data-Flow Integrity for Real-Time SystemsECRTS 2022 - 34th Euromicro Conference on Real-Time Systems, Jul 2022, Modène, Italy. pp.1-24, ⟨10.4230/LIPIcs.ECRTS.2022.18⟩ |
|
|
WE-HML: hybrid WCET estimation using machine learning for architectures with cachesRTCSA 2021 - 27th IEEE International Conference on Embedded Real-Time Computing Systems and Applications, Aug 2021, Online Virtual Conference, France. pp.1-10 |
|
|
Attack detection through monitoring of timing deviations in embedded real-time systemsECRTS 2020 - 32nd Euromicro Conference on Real-Time Systems, Jul 2020, Modena, Italy. pp.1-22, ⟨10.4230/LIPIcs.ECRTS.2020.8⟩ |
|
|
Reconciling Compiler Optimizations and WCET Estimation Using Iterative CompilationRTSS 2019 - 40th IEEE Real-Time Systems Symposium, Dec 2019, Hong Kong, China. pp.1-13 |
|
|
Hiding Communication Delays in Contention-Free Execution for SPM-Based Multi-Core ArchitecturesECRTS 2019 - 31st Euromicro Conference on Real-Time Systems, Jul 2019, Stuttgart, Germany. pp.1-24, ⟨10.4230/LIPIcs.ECRTS.2019.25⟩ |
|
|
Impact of DM-LRU on WCET: A Static Analysis ApproachECRTS 2019 - 31st Euromicro Conference on Real-Time Systems, Jul 2019, Stuttgart, Germany. pp.1-25, ⟨10.4230/LIPIcs.ECRTS.2019.17⟩ |
|
|
A Time-predictable Branch PredictorSAC 2019 - 34th ACM/SIGAPP Symposium on Applied Computing, Apr 2019, Limassol, Cyprus. pp.1-10, ⟨10.1145/3297280.3297337⟩ |
|
|
Fine-Grain Iterative Compilation for WCET EstimationWCET 2018 - 18th International Workshop on Worst-Case Execution Time Analysis, Jul 2018, Barcelona, Spain. pp.1-12, ⟨10.4230/OASIcs.WCET.2018.9⟩ |
|
|
Using Polyhedral Techniques to Tighten WCET Estimates of Optimized Code: A Case Study with Array ContractionDATE 2018 - Design Automation and Test Europe, Mar 2018, Dresden, Germany. pp.925-930, ⟨10.23919/DATE.2018.8342142⟩ |
|
|
The W-SEPT Project: Towards Semantic-Aware WCET Estimation17th International Workshop on Worst-Case Execution Time Analysis (WCET 2017), Jun 2017, Dubrovnik, Croatia. pp.13, ⟨10.4230/OASIcs.WCET.2017.9⟩ |
|
|
Tightening contention delays while scheduling parallel applications on multi-core architecturesInternational Conference on Embedded Software (EMSOFT), 2017, Oct 2017, Seoul, South Korea. pp.20, ⟨10.1145/3126496⟩ |
|
|
The Heptane Static Worst-Case Execution Time Estimation Tool17th International Workshop on Worst-Case Execution Time Analysis (WCET 2017), Jun 2017, Dubrovnik, Croatia. pp.12, ⟨10.4230/OASIcs.WCET.2017.8⟩ |
|
|
WCET-aware parallelization of model-based applications for multi-cores: The ARGO approachDesign Automation and Test in Europe (DATE), 2017, Mar 2017, Lausanne, Switzerland. pp.286 - 289, ⟨10.23919/DATE.2017.7927000⟩ |
|
|
STR2RTS: Refactored StreamIT benchmarks into statically analyzable parallel benchmarks for WCET estimation & real-time scheduling17th International Workshop on Worst-Case Execution Time Analysis (WCET 2017), Jun 2017, Dubrovnik, Croatia. ⟨10.4230/OASIcs.WCET.2017.1⟩ |
|
|
Cache-conscious offline real-time task scheduling for multi-core processors29th Euromicro Conference on Real-Time Systems (ECRTS17), Jun 2017, Dubrovnik, Croatia. ⟨10.4230/LIPIcs.ECRTS.2017.14⟩ |
|
|
Quantifying WCET reduction of parallel applications by introducing slack time to limit resource contentionInternational Conference on Real-Time Networks and Systems (RTNS), 2017, Oct 2017, Grenoble, France. ⟨10.1145/3139258.3139263⟩ |
|
|
When the worst-case execution time estimation gains from the application semantics8th European Congress on Embedded Real-Time Software and Systems, Jan 2016, Toulouse, France |
|
|
Probabilistic WCET estimation in presence of hardware for mitigating the impact of permanent faultsDesign, Automation and Test in Europe, Mar 2016, Dresden, Germany |
|
|
Cache-Persistence-Aware Response-Time Analysis for Fixed-Priority Preemptive Systems28th Euromicro Conference on Real-Time Systems (ECRTS), Jul 2016, Toulouse, France. ⟨10.1109/ECRTS.2016.25⟩ |
|
|
Scheduling of parallel applications on many-core architectures with caches: bridging the gap between WCET analysis and schedulability analysis9th Junior Researcher Workshop on Real-Time Computing (JRWRTC 2015), Nov 2015, Lille, France |
|
|
Tracing Flow Information for Tighter WCET Estimation: Application to Vectorization21st IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, Aug 2015, Hong-Kong, China. pp.10 |
Speeding up Static Probabilistic Timing AnalysisARCS 2015 - International Conference on Architecture of Computing Systems, Mar 2015, Porto, Portugal. pp.236-247, ⟨10.1007/978-3-319-16086-3_19⟩ |
|
On the Comparison of Deterministic and Probabilistic WCET Estimation Techniques26th Euromicro Conference on Real-Time Systems, Jul 2014, Madrid, Spain |
|
|
|
Traceability of Flow Information: Reconciling Compiler Optimizations and WCET EstimationRTNS - 22nd International Conference on Real-Time Networks and Systems, Oct 2014, Versailles, France. ⟨10.1145/2659787.2659805⟩ |
A Formally Verified WCET Estimation Tool14th International Workshop on Worst-Case Execution Time Analysis, Jul 2014, Madrid, Spain. ⟨10.4230/OASIcs.WCET.2014.11⟩ |
|
Static probabilistic Worst Case Execution Time Estimation for architectures with Faulty Instruction Caches21st International Conference on Real-Time Networks and Systems, Oct 2013, Sophia Antipolis, France. ⟨10.1145/2516821.2516842⟩ |
|
Integrated Worst-Case Execution Time Estimation of Multicore Applications13th International Workshop on Worst-Case Execution Time Analysis, Jul 2013, Paris, France. pp.21-31, ⟨10.4230/OASIcs.WCET.2013.i⟩ |
|
|
|
PRETI: Partitioned REal-TIme shared cache for mixed-criticality real-time systems.RTNS - 20th International Conference on Real-Time and Network Systems - 2012, Nov 2012, Pont à Mousson, France. pp.10 |
An Improved Preemption Delay Upper Bound for Floating Non-Preemptive Region Scheduling7th IEEE International Symposium on Industrial Embedded Systems (SIES'12), Jun 2012, Karlsruhe, Germany |
|
PDPA: Period Driven Task and Cache Partitioning Algorithm for Mumti-core Systems20th International Conference on Real-Time and Network Systems (RTNS 2012), Nov 2012, Pont à Mousson, France |
|
Preemption Delay Analysis for Floating Non-Preemptive Region SchedulingDesign, Automation and Test in Europe 2012 (DATE 2012), Mar 2012, Dresden, Germany. pp.497-502 |
|
|
|
Predictable Binary Code Cache: A First Step Towards Reconciling Predictability and Just-In-Time CompilationThe 17th IEEE Real-Time and Embedded Technology and Applications Symposium, Marco Caccamo, Apr 2011, Chicago, United States |
|
|
Scalable Fixed-Point Free Instruction Cache AnalysisThe 32nd IEEE Real-Time Systems Symposium (RTSS 2011), Nov 2011, Vienne, Austria |
|
|
Shared Data Caches Conflicts Reduction for WCET Computation in Multi-Core Architectures.18th International Conference on Real-Time and Network Systems, Nov 2010, Toulouse, France. pp.2283 |
|
|
Estimation of Cache Related Migration Delays for Multi-Core Processors with Shared Instruction Caches17th International Conference on Real-Time and Network Systems, Oct 2009, Paris, France. pp.45-54 |
|
|
WCET ANALYSIS OF MULTI-LEVEL SET-ASSOCIATIVE DATA CACHES9th Intl. Workshop on Worst-Case Execution Time WCET Analysis, Jun 2009, Dublin, Ireland. pp.2283 |
A Recoverable Distributed Shared Memory integrating Coherence and RecoverabilityProceedings of the 25th International Symposium on Fault Tolerant Computer Systems, 1995, Pasadena, CA, USA, United States. pp.289--298 |
|
|
Circadia: Checkpointing for Intermittent Computing in AI Driven ApplicationsACACES 2025 - 21st Internationnal Summer School on Advanced Computer Architecture and Compilation for High-performance Embedded Systems, Jul 2025, Salerno, Italy. 2025 |
|
|
Machine learning for timing estimationD3 - Architecture séminaire: PhD days / Journées doctorants – 2022, Nov 2022, Rennes, France |
|
|
Memory Allocation in Intermittent ComputingCOMPAS'2022, Jul 2022, Amiens, France |
|
|
The INRIA ZEP project: NVRAM and Harvesting for Zero Power ComputationsNVMW 2018 - 10th Annual Non-Volatile Memories Workshop, Mar 2018, San Diego, United States. pp.1 |
|
|
Machine Learning for Timing Analysis: The Good, the Bad and the UglyThomas Carle. WCET 2024 - 22nd International Workshop on Worst-Case Execution Time Analysis, Jul 2024, Lille, France. Open Access Series in Informatics (OASIcs), Open Access Series in Informatics (OASIcs), pp.1-1, 2024, Workshop on Worst-Case Execution Time Analysis (WCET). ⟨10.4230/OASIcs.WCET.2024.7⟩ |
|
|
CATREEN: Context-Aware Code Timing Estimation with Stacked Recurrent Networks2022 |
|
|
Proceedings of the 15th International Conference on Real-Time and Network Systems (RTNS'07)Isabelle Puaut and Nicolas Navet and Françoise Simonot-Lion. Institut National Polytechnique de Lorraine - Atelier de Reprographie, pp.238, 2007, 2-905267-53-4 |