Dejan Kostic -

Not registered as user

Name:Dejan Kostic

Affiliation:KTH Royal Institute of Technology

Contributions

2026

Dafny

Author of Toward Automated, Contamination-free Dafny Benchmark Generation within the Dafny 2026-track

2025

LLM4Code

Author of Automating the Detection of Code Vulnerabilities by Analyzing GitHub Issues within the Large Language Models for Code-track
Author of Deriving Coding-Specific Sub-Models from LLMs using Resource-Efficient Pruning (Virtual Talk) within the Large Language Models for Code-track