Visits Simula & Inria
2025
- Bi-weekly virtual meetings
3-month visit of Youenn Merel Jourdan
29 - 31 October, Simula, Oslo
- RIPOST and Aasgard Horizon workshop => foster collaboration around reproducibility
- Medical Imaging => Paul Temple, Youenn Merel Jourdan
- Data Pipelines => Thomas Roehr
- ML => Paul Temple, Jorn Eirik Betten
- LLM as assistant for reproducibility => Mathieu Acher
- Group discussions and working plans
- This workshop was supported through funding from the Åsgard Horizon mobility program of the French Institute of Norway
Visit of Théo Matricon, June, Simula, Oslo
- LLMs for software configuration
- Benchmarking LLMs
- Benchmark minimization
14 - 16 January, Simula, Oslo
- RIPOST workshop
- “The RIPOST Year in Review” (Mathieu Acher, Helge Spieker)
- reproducibility of neuro-imaging pipelines (Gauthier Le-Bartz-Lyan)
- reproducibility of computational science (Mathieu Acher)
- LLMs for software configuration (Helge Spieker)
- Low Cost Performance Comparison (Théo Matricon)
2024
9 - 12 April, Simula, Oslo
- “RIPOST Team presentation / context / goals” - Arnaud Gotlieb, Mathieu Acher
- “Reproducibility and the NARPS Challenges” - Gauthier Le-Bartz-Lyan
- “Reproducibility Experiments on the Verification Results of Neural Networks” - Dennis Groß
- “Reproducibility + Floating point case study” - Mathieu Acher
- “Performance Analysis x264” - Gauthier Le-Bartz-Lyan
- “Testing for Fault Diversity in Reinforcement Learning” - Quentin Mazouni
- “Rashomon-Differential Critical States in Reinforcement Learning” - Jørn Eirik Betten
- “Exploiting Qualitative eXplainable Graphs for Enhancing Trustworthiness” - Nassim Belmecheri
- “Symbolic Execution of Floating-Point Computations” - Arnaud Gotlieb
Visit of Helge Spieker, 8 - 15 July, Inria, Rennes
- configuration knowledge
- partial configuration
- default configuration
- reproducibility
Remote meetings (bi-monthly)
Open Workshops
- Talk at WS SIMULA - 7 & 8 Octobre 2024: Mathieu Acher “From Software Resilience to Reproducibility”
- Talk at WS SIMULA - 7 & 8 Octobre 2024: Arnaud Gotlieb: “AI for the Validation of Autonomous Systems”