Presented at MARS @ ETAPS 2026
Presented our Island Model paper at MARS @ ETAPS 2026 in Turin. First presentation of my PhD research at an international conference.
Paper Accepted at MARS @ ETAPS 2026
Our paper on statistical model checking for the Island Model has been accepted at MARS @ ETAPS 2026. Presentation in Turin on April 12, 2026.