Type Stability in Julia (dissertation defense, 2023)