| 1999 | PPDP | A Simple and General Method for Integrating Abstract Interpretation in SICStus. | Dante Baldan, Nicola Civran, Gilberto Fil, Francesco Pulvirenti |
| 1997 | SAS | Abstract Interpretation from Improving WAM Code. | Dante Baldan, Gilberto Fil |
| 1996 | ICLP | Complementation of Abstract Domains made Easy. | Gilberto Fil, Francesco Ranzato |
| 1995 | CP | Semmantic Properties of CHIP (FD). | Gilberto Fil, Giuseppe Nardiello, Adriano Tirabosco |
| 1995 | SAS | Complementation in Abstract Interpretation | Agostino Cortesi, Gilberto Fil, Roberto Giacobazzi, Catuscia Palamidessi, Francesco Ranzato |
| 1993 | ICLP | Freeness Analysis for Logic Programs - And Correctness? | Michael Codish, Dennis Dams, Gilberto Fil, Maurice Bruynooghe |
| 1993 | LPAR | Static Analysis of Prolog with Cut. | Gilberto Fil, Sabina Rossi |
| 1992 | ICALP | Comparison of Abstract Interpretations. | Agostino Cortesi, Gilberto Fil, William H. Winsborough |
| 1991 | LICS | Prop revisited: Propositional Formula as Abstract Domain for Groundness Analysis | Agostino Cortesi, Gilberto Fil, William H. Winsborough |
| 1991 | PEPM | Abstract Interpretation of Logic Programs: An Abstract Domain for Groundness, Sharing, Freeness and Compoundness Analysis. | Agostino Cortesi, Gilberto Fil |
| 1991 | SAS | Computations, Abstractions and Constraints (abstract). | Philippe Codognet, Gilberto Fil |
| 1988 | ICLP | Yet Another Intelligent Backtracking Method. | Christian Codognet, Philippe Codognet, Gilberto Fil |
| 1988 | STACS | The Relation of Two Patterns with Comparable Languages. | Gilberto Fil |
| 1986 | ESOP | A Very Intelligent Backtracking Method for Logic Programs. | Christian Codognet, Philippe Codognet, Gilberto Fil |
| 1985 | STACS | Tree Automata and Logic Programs. | Gilberto Fil |
| 1981 | ICALP | Passes, Sweeps and Visits. | Joost Engelfriet, Gilberto Fil |
| 1980 | ICALP | Formal Properties of One-Visit and Multi-Pass Attribute Grammars. | Joost Engelfriet, Gilberto Fil |