16 citations · 16 across the 2 of their papers we have counts for
3 papers
The Alignment Problem in Constrained Code Generation
Matteo Biagiola, Jahrim Gabriele Cesario, Luca Di Grazia +2
Large Language Models (LLMs) have demonstrated strong capabilities in code generation, but their outputs frequently contain syntax or type errors that result in compilation failure…
From Today's Code to Tomorrow's Symphony: The AI Transformation of Developer's Routine by 2030
Ketai Qiu, Niccolò Puccinelli, Matteo Ciniselli +1
In the rapidly evolving landscape of software engineering, the integration of Artificial Intelligence (AI) into the Software Development Life-Cycle (SDLC) heralds a transformative…
PyTy: Repairing Static Type Errors in Python
Yiu Wai Chow, Luca Di Grazia, Michael Pradel
Gradual typing enables developers to annotate types of their own choosing, offering a flexible middle ground between no type annotations and a fully statically typed language. As m…