21 citations · 52 across the 14 of their papers we have counts for
14 papers
Helping LLMs Improve Code Generation Using Feedback from Testing and Static Analysis
Greta Dolcetti, Vincenzo Arceri, Eleonora Iotti +3
Large Language Models (LLMs) are one of the most promising developments in the field of artificial intelligence, and the software engineering community has readily noticed their po…
Decoupling the ascending and descending phases in Abstract Interpretation
Vincenzo Arceri, Isabella Mastroeni, Enea Zaffanella
Abstract Interpretation approximates the semantics of a program by mimicking its concrete fixpoint computation on an abstract domain . The abstract (post-) fixpoint com…
A Conversion Procedure for NNC Polyhedra
Anna Becchi, Enea Zaffanella
We present an alternative Double Description representation for the domain of NNC (not necessarily topologically closed) polyhedra, together with the corresponding Chernikova-like…
The Automatic Synthesis of Linear Ranking Functions: The Complete Unabridged Version
Roberto Bagnara, Fred Mesnard, Andrea Pescetti +1
The classical technique for proving termination of a generic sequential computer program involves the synthesis of a ranking function for each loop of the program. Linear ranking f…
Exact Join Detection for Convex Polyhedra and Other Numerical Abstractions
Roberto Bagnara, Patricia M. Hill, Enea Zaffanella
Deciding whether the union of two convex polyhedra is itself a convex polyhedron is a basic problem in polyhedral computations; having important applications in the field of constr…
A Prolog-based Environment for Reasoning about Programming Languages (Extended abstract)
Roberto Bagnara, Patricia Hill, Enea Zaffanella
ECLAIR is a Prolog-based prototype system aiming to provide a functionally complete environment for the study, development and evaluation of programming language analysis and imple…