Marco Milani. Detecting and Resolving Deadlocks in Java Libraries. Rel. Maurizio Morisio. Politecnico di Torino, Corso di laurea magistrale in Ingegneria Informatica (Computer Engineering), 2023