@inproceedings{sternfeld-etal-2025-leveraging,
    title = "Leveraging the Scala type system for secure {LLM}-generated code",
    author = "Sternfeld, Alexander  and
      Dolamic, Ljiljana  and
      Kucharavy, Andrei",
    editor = "Przyby{\l}a, Piotr  and
      Shardlow, Matthew  and
      Colombatto, Clara  and
      Inie, Nanna",
    booktitle = "Proceedings of Interdisciplinary Workshop on Observations of Misunderstood, Misguided and Malicious Use of Language Models",
    month = sep,
    year = "2025",
    address = "Varna, Bulgaria",
    publisher = "INCOMA Ltd., Shoumen, Bulgaria",
    url = "https://preview.aclanthology.org/corrections-2026-01/2025.ommm-1.11/",
    pages = "95--103"
}