Leveraging the Scala type system for secure LLM-generated code

Alexander Sternfeld | Ljiljana Dolamic | Andrei Kucharavy |

Paper Details:

Month: September
Year: 2025
Location: Varna, Bulgaria
Venue: OMMM | WS |