layout | title | permalink |
---|---|---|
page |
Stages 2024-2025 |
/stages/ |
Nous recencons ici les propositions de stages que nous recevrons à l'intention des étudiants du réseaux des masters CHPS pour l'année 2024-2025, et la liste ci-dessous sera mise à jour au fur et à mesure que nous recevrons de nouveaux sujets.
-
Centrale Nantes - Nantes
-
UPVD - Perpignan
- Detection of Numerical Bugs with Large Language Model(LLM)
- Evaluation of SAT Solvers and Bit-Blasting to challenges numerical bugs in programs
- Evaluation of Soft Error Resilience in Floating-Point Units
- Numerical Debugging through Reverse Execution: Trace Construction and Reverse Replay in HPC Programs