Alexander SternfeldSessions SCS2025 - TypePilot: Securing LLM-Generated Code With the Scala Type SystemSCS2025 - Poster Sessions & Flash Talks