Visits Simula & Inria
2025
29 - 31 November, 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
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”