During his studies, Georgian-Vlad Saioc has researched program analysis techniques to detect "partial deadlocks", a class of serious programming errors, e.g., in the Go programming language, where  they are known as goroutine leaks. The research work has resulted in four new techniques that have been shown to be effective in detecting partial deadlocks in large open source and proprietary Go programs. The results show that one technique alone is not sufficient to find most errors, but that different approaches can be combined to increase their overall effectiveness.

The PhD study was completed at the Department of Computer Science, Faculty of Natural Sciences, Aarhus University.

This summary was prepared by the PhD student.

Time: Friday 6 June 2025 at 13.00
Place: Building 5342, room 333, Department of Computer Science, Åbogade 34 , 8200 Aarhus N, Denmark
Title of PhD thesis: Program Analysis Techniques for Detecting and Preventing Partial Deadlocks
Contact information: Georgian-Vlad Saioc, e-mail: gvsaioc@cs.au.dk, tel.: +4522549452
Members of the assessment committee:
Professor Peter Thiemann, Institut für Informatik, Universität Freiburg, Germany,
Professor Peter Müller, Department of Computer Science, ETH Zürich, Switzerland,
Associate Professor Hans-Jörg Schulz (chair), Department of Computer Science, Aarhus University, Denmark
Main supervisor: Professor Anders Møller, Department of Computer Science, Aarhus University, Denmark
Language: The PhD dissertation will be defended in English

The defence is public.