ITP Thesis Archive 2024