Presented at MARS @ ETAPS 2026
I presented our Island Model paper at MARS @ ETAPS 2026 in Turin. It was the first presentation of my first PhD paper and my first international conference.
I presented our Island Model paper at MARS @ ETAPS 2026 in Turin. It was the first presentation of my first PhD paper and my first international conference.
Our paper on statistical model checking for the Island Model has been accepted at MARS @ ETAPS 2026. I will present it in Turin on April 12, 2026.