Two papers accepted at ICSE 2025.

Our paper on Planning a Large Language Model for Static Detection of Runtime Errors in Code Snippets, is accepted for publication at the 47th IEEE/ACM International Conference on Software Engineering - ICSE 2025.

Our paper on Large Language Models for Safe Minimization, is accepted for publication at the 47th IEEE/ACM International Conference on Software Engineering - ICSE 2025.