Under sine studier har Georgian-Vlad Saioc forsket i programanalyseteknikker med henblik på at opdage "partial deadlocks", som er en klasse af alvorlige programmeringsfejl, fx i programmeringssproget Go, hvor de er kendt som "goroutine leaks". Forskningsarbejdet har resulteret i fire nye teknikker, som har vist sig at være effektive til at opdage partial deadlocks i store open source- og proprietære Go-programmer. Resultaterne viser, at én teknik alene ikke er tilstrækkelig til at finde de fleste fejl, men at forskellige tilgange kan kombineres for at øge deres samlede effektivitet.

Ph.d.-studiet er gennemført ved Institut for Datalogi, Faculty of Natural Sciences, Aarhus Universitet.

Dette resumé er udarbejdet af den ph.d.-studerende.

Tid: fredag den 6. juni 2025, kl. 13.00
Sted: Bygning 5342, lokale 333, Institut for Datalogi, Åbogade 34, 8200 Aarhus N, Denmark
Afhandlingens titel: Program Analysis Techniques for Detecting and Preventing Partial Deadlocks
Kontaktinfo: Georgian-Vlad Saioc, e-mail: gvsaioc@cs.au.dk, tel.: +4522549452
Bedømmelsesudvalg:
Professor Peter Thiemann, Institut für Informatik, Universität Freiburg, Tyskland,
Professor Peter Müller, Department of Computer Science, ETH Zürich, Schweiz,
Lektor Hans-Jörg Schulz (forperson), Institut for Datalogi, Aarhus Universitet, Danmark
Hovedvejleder: Professor Anders Møller, Institut for Datalogi, Aarhus Universitet, Danmark
Sprog: Ph.d.-afhandlingen forsvares på engelsk.

Forsvaret er offentligt.