Isabelle Puaut
80
Documents
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
Communication dans un congrès
hal-05365718
v1
|
|
|
Area Efficient Speculative Loop Pipelining for High-Level SynthesisDATE 2026 - Design, Automation and Test in Europe Conference, Apr 2026, Verona, Italy
Communication dans un congrès
hal-05365717
v1
|
|
|
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⟩
Communication dans un congrès
hal-04782265
v1
|
|
|
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
Communication dans un congrès
hal-05193528
v1
|
|
|
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⟩
Communication dans un congrès
hal-05340384
v1
|
|
|
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⟩
Communication dans un congrès
hal-04663862
v1
|
|
|
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⟩
Communication dans un congrès
hal-04646477
v1
|
|
|
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⟩
Communication dans un congrès
hal-04406073
v2
|
|
|
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⟩
Communication dans un congrès
hal-04345348
v2
|
|
|
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⟩
Communication dans un congrès
hal-03890057
v2
|
|
|
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⟩
Communication dans un congrès
hal-04148587
v1
|
|
|
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⟩
Communication dans un congrès
hal-03723457
v1
|
|
|
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⟩
Communication dans un congrès
hal-03673668
v1
|
|
|
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⟩
Communication dans un congrès
hal-03641576
v1
|
|
|
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
Communication dans un congrès
hal-03280177
v1
|
|
|
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⟩
Communication dans un congrès
hal-02559549
v1
|
|
|
Reconciling Compiler Optimizations and WCET Estimation Using Iterative CompilationRTSS 2019 - 40th IEEE Real-Time Systems Symposium, Dec 2019, Hong Kong, China. pp.1-13
Communication dans un congrès
hal-02286164
v1
|
|
|
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⟩
Communication dans un congrès
hal-02190255
v1
|
|
|
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⟩
Communication dans un congrès
hal-02190271
v1
|
|
|
A Time-predictable Branch PredictorSAC 2019 - 34th ACM/SIGAPP Symposium on Applied Computing, Apr 2019, Limassol, Cyprus. pp.1-10, ⟨10.1145/3297280.3297337⟩
Communication dans un congrès
hal-01976187
v1
|
|
|
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⟩
Communication dans un congrès
hal-01889944
v1
|
|
|
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⟩
Communication dans un congrès
hal-01815499
v1
|
|
|
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⟩
Communication dans un congrès
hal-01590442
v1
|
|
|
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⟩
Communication dans un congrès
hal-01590508
v1
|
|
|
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⟩
Communication dans un congrès
hal-01590444
v1
|
|
|
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⟩
Communication dans un congrès
hal-01590446
v1
|
|
|
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⟩
Communication dans un congrès
hal-01590418
v1
|
|
|
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⟩
Communication dans un congrès
hal-01590421
v1
|
|
|
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⟩
Communication dans un congrès
hal-01590532
v1
|
|
|
Probabilistic WCET estimation in presence of hardware for mitigating the impact of permanent faultsDesign, Automation and Test in Europe, Mar 2016, Dresden, Germany
Communication dans un congrès
hal-01259493
v1
|
|
|
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
Communication dans un congrès
hal-01235781
v1
|
|
|
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⟩
Communication dans un congrès
hal-01393220
v1
|
|
|
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
Communication dans un congrès
hal-01236191
v1
|
|
|
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
Communication dans un congrès
hal-01177902
v1
|
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⟩
Communication dans un congrès
hal-01235544
v1
|
|
On the Comparison of Deterministic and Probabilistic WCET Estimation Techniques26th Euromicro Conference on Real-Time Systems, Jul 2014, Madrid, Spain
Communication dans un congrès
hal-01086875
v1
|
|
|
|
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⟩
Communication dans un congrès
hal-01072138
v1
|
A Formally Verified WCET Estimation Tool14th International Workshop on Worst-Case Execution Time Analysis, Jul 2014, Madrid, Spain. ⟨10.4230/OASIcs.WCET.2014.11⟩
Communication dans un congrès
hal-01087194
v1
|
|
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⟩
Communication dans un congrès
hal-00862604
v1
|
|
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⟩
Communication dans un congrès
hal-00909330
v1
|
|
|
|
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
Communication dans un congrès
hal-00661687
v1
|
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
Communication dans un congrès
hal-00737580
v1
|
|
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
Communication dans un congrès
hal-00737591
v1
|
|
Preemption Delay Analysis for Floating Non-Preemptive Region SchedulingDesign, Automation and Test in Europe 2012 (DATE 2012), Mar 2012, Dresden, Germany. pp.497-502
Communication dans un congrès
hal-00737577
v1
|
|
|
|
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
Communication dans un congrès
inria-00589690
v1
|
|
|
Scalable Fixed-Point Free Instruction Cache AnalysisThe 32nd IEEE Real-Time Systems Symposium (RTSS 2011), Nov 2011, Vienne, Austria
Communication dans un congrès
inria-00638698
v1
|
|
|
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
Communication dans un congrès
inria-00531214
v1
|
|
|
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
Communication dans un congrès
inria-00441959
v1
|
|
|
WCET ANALYSIS OF MULTI-LEVEL SET-ASSOCIATIVE DATA CACHES9th Intl. Workshop on Worst-Case Execution Time WCET Analysis, Jun 2009, Dublin, Ireland. pp.2283
Communication dans un congrès
inria-00531218
v1
|
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
Communication dans un congrès
hal-01271171
v1
|
|
|
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
Poster de conférence
hal-05340610
v1
|
|
|
Machine learning for timing estimationD3 - Architecture séminaire: PhD days / Journées doctorants – 2022, Nov 2022, Rennes, France
Poster de conférence
hal-04260161
v1
|
|
|
Memory Allocation in Intermittent ComputingCOMPAS'2022, Jul 2022, Amiens, France
Poster de conférence
hal-04385204
v1
|
|
|
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
Poster de conférence
hal-01941766
v1
|
|
|
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⟩
Document associé à des manifestations scientifiques
hal-04672502
v1
|
|
|
CATREEN: Context-Aware Code Timing Estimation with Stacked Recurrent Networks2022
Pré-publication, Document de travail
hal-03776508
v1
|
|
|
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
Ouvrages
inria-00168530
v1
|
Chargement...
Chargement...