60 citations · 82 across the 5 of their papers we have counts for
6 papers
AgentSpy: Making AI Agent Behavior Observable
Christoph Bühler, Matteo Biagiola, Luca Di Grazia +1
AI agents built on large language models (LLMs) run shell commands, read and write files, and reach the network, typically with their user's privileges. However, what an agent does…
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…
DiffSearch: A Scalable and Precise Search Engine for Code Changes
Luca Di Grazia, Paul Bredl, Michael Pradel
The source code of successful projects is evolving all the time, resulting in hundreds of thousands of code changes stored in source code repositories. This wealth of data can be u…
Code Search: A Survey of Techniques for Finding Code
Luca Di Grazia, Michael Pradel
The immense amounts of source code provide ample challenges and opportunities during software development. To handle the size of code bases, developers commonly search for code, e.…